@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00228645,
 author = {佐々木, 駿 and 品川, 和雅 and Shun, Sasaki and Kazumasa, Shinagawa},
 book = {コンピュータセキュリティシンポジウム2023論文集},
 month = {Oct},
 note = {パズルに対するゼロ知識証明プロトコルとは，パズルの解を知っている証明者が，解に関する情報を明かすことなく，パズルに解が存在することを検証者に納得させるようなプロトコルである．数独というパズルにおいては，2007 年に Gradwhol らがゼロ知識証明プロトコルを初めて構成し，それ以降いくつかのプロトコルが提案されてきた．2022年に田中らはシャッフル回数が16回のプロトコルを提案し，続いて2023年に田中らは番号付きスリーブという追加の道具を用いてシャッフル回数が7回のプロトコルを提案した．本稿では，カードのみを用いる設定と番号付きスリーブを用いる設定の両方について，シャッフル回数が3回のプロトコルを提案する．さらに，3種類の大きさの番号付きスリーブを用いる新たな設定を導入し，この設定においてもシャッフル回数が3回のプロトコルを提案する．, A zero-knowledge proof protocol for a puzzle is a protocol in which a prover who knows the solution of a puzzle convinces the verifier that the puzzle has a solution without revealing any information about the solution. In the puzzle of Sudoku, in 2007, Gradwhol et al. constructed a zero-knowledge proof protocol for the first time, and several protocols have been proposed since then. In 2022, Tanaka et al. proposed a protocol with 16 shuffles, and in 2023, Tanaka et al. proposed a protocol with seven shuffles using an additional tool called a numbered sleeve. In this paper, we propose protocols with three shuffles for both settings using only cards and using numbered sleeves. In addition, we introduce a new setting using numbered sleeves of three different sizes and propose a protocol with three shuffles in this setting.},
 pages = {224--231},
 publisher = {情報処理学会},
 title = {数独に対するシャッフル3回のゼロ知識証明},
 year = {2023}
}