情報処理学会第85回全国大会 会期:2023年3月2日~4日 会場:電気通信大学

2ZD-06
ナンバーチェーンパズルに対するゼロ知識証明
○波多江武明,真鍋義文(工学院大)
本稿では、ロシアのレオニード・モチャーロフによって作られたナンバーチェーンパズルに対するゼロ知識証明を示す。ルールとして四角形や長方形の網であり、各枠に数字が入っている。一番上の左の枠は1、一番下の右の枠はN(何かの数字)であり、その以外の枠は1とNの間の数字が書いてある。一番上の左の枠から一番下の右の枠までの線を引く。その線が通る枠の数はNの数字になるようにして、数字は繰り返さないようにする。ナンバーチェーンパズルのインスタンスに対して、解答に関する情報を一切開示することなく、解答を知っていることを検証者に確信させることが出来るプロトコルを示す。