情報処理学会 第84回全国大会 会期:2022年3月3日~5日 情報処理学会 第84回全国大会 会期:2022年3月3日~5日

2ZD-01
ビルディングパズルに対するゼロ知識証明
○宮﨑勇斗,真鍋義文(工学院大)
ペンシルパズルの1つであるビルディングパズルに対するゼロ知識証明を示す。ビルディングパズルのパズルインスタンスに対して、解答に関する情報を一切開示することなく、解答を知っていることを検証者に確信させることができるプロトコルを示す。
本プロトコルはトランプのような物理的カードを用いて実現される。