| 講演抄録/キーワード |
| 講演名 |
2024-05-15 13:50
Single-Shuffle Physical Zero-Knowledge Proof for Sudoku using Interactive Inputs ○Tomoki Ono・Suthee Ruangwises(UEC)・Yoshiki Abe(UEC/AIST)・Kyosuke Hatsugai・Mitsugu Iwamoto(UEC) ISEC2024-3 |
| 抄録 |
(和) |
(まだ登録されていません) |
| (英) |
A Zero-Knowledge Proof (ZKP) is an interactive proof between a prover and a verifier, which aims to convince the verifier that a statement is true without disclosing the information beyond the truth of the statement. A physical ZKP is an implementation of ZKP using physical objects such as cards and envelopes. There are several metrics for physical ZKP, such as the number of cards and shuffles. This paper first proposes a physical ZKP for Sudoku using textit{one} shuffle that achieves the minimum. To achieve the minimum number of shuffles during execution, we introduce a new technique that interactively prepares the encoded inputs before starting the main protocol using one shuffle. We show this technique, called interactive inputs, can be regarded as an extension of the preparation of inputs in ordinary physical ZKP. |
| キーワード |
(和) |
/ / / / / / / |
| (英) |
Zero-knowledge proof / Card-based cryptography / Sudoku / Puzzle / / / / |
| 文献情報 |
信学技報, vol. 124, no. 21, ISEC2024-3, pp. 13-19, 2024年5月. |
| 資料番号 |
ISEC2024-3 |
| 発行日 |
2024-05-08 (ISEC) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
ISEC2024-3 |