Interactive Physical Zero-Knowledge Proof for Norinori
Interactive Physical Zero-Knowledge Proof for Norinori
复制标题
Norinori 的交互式物理零知识证明
DOI：
10.1007/978-3-030-26176-4_14
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Sone Hideaki
中科院分区：
文献类型：
--
作者：
Dumas Jean-Guillaume;Lafourcade Pascal;Miyahara Daiki;Mizuki Takaaki;Sasaki Tatsuya;Sone Hideaki
Norinori是一款类似于数独的逻辑游戏。在Norinori中，单元格的网格必须填充黑色或白色单元格，以便给定区域恰好包含两个黑色单元格，并且每个黑色单元格与恰好一个其他黑色单元格共享一条边。为了实现Norinori的零知识知识证明，我们提出了一种仅依赖卡片的安全交互物理算法。它允许玩家在不透露的情况下展示他或她知道解决方案。为此，我们特别说明了可以在物理上证明特定元素存在于列表中，而不会显示列表中的任何其他值，也不会显示该元素在列表中的实际位置。
Norinori is a logic game similar to Sudoku. In Norinori, a grid of cells has to be filled with either black or white cells so that the given areas contain exactly two black cells, and every black cell shares an edge with exactly one other black cell. We propose a secure interactive physical algorithm, relying only on cards, to realize a zero-knowledge proof of knowledge for Norinori. It allows a player to show that he or she knows a solution without revealing it. For this, we show in particular that it is possible to physically prove that a particular element is present in a list, without revealing any other value in the list, and without revealing the actual position of that element in the list.