2026-03-09T12:57:36Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00228644 2025-01-19T11:46:47Z 6164:6165:6462:11379

モジュラーデザインによる物理的ゼロ知識証明 Physical Zero-Knowledge Proofs Through Modular Approach 初貝, 恭祐 安部, 芳紀 渡邉, 洋平 岩本, 貢 Kyosuke, Hatsugai Yoshiki, Abe Yohei, Watanabe Mitsugu, Iwamoto カードベース暗号，物理的ゼロ知識証明，数独，カックロ，Sumplete ゼロ知識証明は，与えられた問題に答えがあることを，答えそのものを教えずに証明する技術である．特に，計算機の代わりにカードや封筒などの物理的な道具を用いて証明を行うものを物理的ゼロ知識証明と呼び，数独などの様々なパズルに対する物理的ゼロ知識証明が考案されている．今日の暗号理論ではサブプロトコルを組み合わせてプロトコルを構築するモジュラーデザインが主流であるが，今まで提案された物理的ゼロ知識証明はパズルごとに具体的に構築されており，モジュラーデザインによる構築については全く研究されていない．本研究では，数独，カックロ，Sumpleteに対してモジュラーデザインによる物理的ゼロ知識証明を提案する．各プロトコルについて，数独では値の重複の有無を検証するモジュールを，Sumpleteでは値の加算を行うモジュールを，カックロでは両方のモジュールを用いる． Zero-knowledge proof convinces one that a given question has an answer without telling the answer. In particular, physical zero-knowledge proofs are executed without computers but with physical tools such as cards, scissors, and envelopes. Physical zero-knowledge proofs for various pencil puzzles have been proposed. Nowadays, it is desirable that cryptographic protocols are built in modular design. However, a modular-designed physical zero-knowledge proof has never been studied. This paper proposes the modular-designed physical zero-knowledge proofs for Sudoku, Sumplete, and Kakuro. For building the proof for Sudoku, we use the duplication-checking module. For building the proof for Sumplete, we use the addition module. For building the proof for Kakuro, we use both modules. conference paper 情報処理学会 2023-10-23 application/pdf コンピュータセキュリティシンポジウム2023論文集 216 223 https://ipsj.ixsq.nii.ac.jp/record/228644/files/IPSJ-CSS2023031.pdf jpn