情報処理学会 第88回全国大会

2U-08
フィルオミノの解に対するカードベースゼロ知識証明
○新津健田,真鍋義文(工学院大)
ゼロ知識証明とは、証明者が検証者に対して、ある命題が真であることを、真であること以外の情報を漏らさずに証明する手法である。ゼロ知識証明は、カードなどの道具を用いることで、物理的に実装することができる。これまで、数独や四角に切れなどの様々なペンシルパズルの解に対する物理的ゼロ知識証明プロトコルが提案されてきた。本稿では、ニコリによるパズルの 1 つであるフィルオミノの解に対するカードベースゼロ知識証明のプロトコルを提案する。