金子尚平, 崎山一男, 宮原大輝, ”一般化数独に対する効率的な天秤ベースゼロ知識証明,” コンピュータセキュリティシンポジウム(CSS’25), To Appear (Oct., 2025).