@techreport{oai:ipsj.ixsq.nii.ac.jp:00220143,
 author = {田中, 滉大 and 水木, 敬明},
 issue = {5},
 month = {Sep},
 note = {数独に対するゼロ知識証明とは，数独の解を知る証明者がその解についての情報を一切明かすことなく，「解が存在し，証明者が解を知っていること」を検証者に納得させるというものである．2009 年に Gradwhol らは数独に対する初の物理的なゼロ知識証明プロトコルをカード組を用いて構築した．しかしこのプロトコルは健全性エラーが発生する問題がある．その後 2020 年に Sasaki らは健全性エラーがなく，36 回のシャッフルで実現できる改良型のゼロ知識証明プロトコルを提案した．このプロトコルでは 1 から 9 の数字が書かれた同一カードが 18 セット必要であり，より日常的に用意できる道具を用いることが望ましい．そこで，2022 年に Ruangwises は，標準的なトランプ 2 セットを用いたプロトコルを提案した．しかし，このプロトコルは 322 回のシャッフルが必要であり，実用的に利用するのは難しい．そこで本稿では，日常的に用意可能である UNO を 2 セット用い，新しいプロトコルを構築し，シャッフル回数の削減を実現する．具体的には，16 回のシャッフルで数独に対するゼロ知識証明を実現する．従って，提案プロトコルは前述の Sasaki らのプロトコルよりもシャッフル回数が半分以下で済む，非常に効率的なものである．},
 title = {UNOを用いた数独に対するゼロ知識証明について},
 year = {2022}
}