数独に対するゼロ知識証明とは，数独の解を知る証明者がその解についての情報を一切明かすことなく，「解が存在し，証明者が解を知っていること」を検証者に納得させるというものである．2007年にGradwholらが数独に対するゼロ知識証明プロトコルを構築し，以後Sasakiらによって健全性エラーのないプロトコルが，RuangwisesとItohによってトランプカードを用いるプロトコルが提案された．2022年に著者らはUNOを用いるプロトコルを提案した．本稿では，UNOを用いるプロトコルのシャッフル回数を削減するため，「両面不透明スリーブ」を導入した新たなプロトコルを提案する．