针对 Akari、Takuzu、Kakuro 和 KenKen 的物理零知识证明
密码学与安全
2016-06-06 v1
摘要
Akari、Takuzu、Kakuro 和 KenKen 是类似于数独的逻辑游戏。在 Akari 中，必须通过放置灯笼来照亮网格上的一个迷宫，同时遵守各种约束。在 Takuzu 中，必须用 0 和 1 填充一个网格，同时遵守特定约束。在 Kakuro 中，必须用数字填充一个网格，使得每行和每列的数字之和与给定值匹配；类似地，在 KenKen 中，必须用数字填充一个网格，使得在给定区域内，数字的乘积、和、差或商等于给定值。我们给出了实现这些游戏零知识证明的物理算法，允许玩家在不泄露解决方案的情况下证明他知道该方案。这些交互式证明可以用简单的办公材料实现，因为它们仅依赖于卡片和信封。此外，我们形式化了我们的算法并证明了其安全性。
引用
@article{arxiv.1606.01045,
title = {Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen},
author = {Xavier Bultel and Jannik Dreier and Jean-Guillaume Dumas and Pascal Lafourcade},
journal= {arXiv preprint arXiv:1606.01045},
year = {2016}
}
备注
FUN with algorithms 2016, Jun 2016, La Maddalena, Italy