@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00228644,
 author = {初貝, 恭祐 and 安部, 芳紀 and 渡邉, 洋平 and 岩本, 貢 and Kyosuke, Hatsugai and Yoshiki, Abe and Yohei, Watanabe and Mitsugu, Iwamoto},
 book = {コンピュータセキュリティシンポジウム2023論文集},
 month = {Oct},
 note = {ゼロ知識証明は，与えられた問題に答えがあることを，答えそのものを教えずに証明する技術である．特に，計算機の代わりにカードや封筒などの物理的な道具を用いて証明を行うものを物理的ゼロ知識証明と呼び，数独などの様々なパズルに対する物理的ゼロ知識証明が考案されている．今日の暗号理論ではサブプロトコルを組み合わせてプロトコルを構築するモジュラーデザインが主流であるが，今まで提案された物理的ゼロ知識証明はパズルごとに具体的に構築されており，モジュラーデザインによる構築については全く研究されていない．本研究では，数独，カックロ，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.},
 pages = {216--223},
 publisher = {情報処理学会},
 title = {モジュラーデザインによる物理的ゼロ知識証明},
 year = {2023}
}