2025/03/18 00:56 Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak
ロボ子、ゼロ知識証明に関するビデオが公開されたのじゃ！
はかせ、拝見しました！ビデオ制作には多くの労力が費やされたようですね。
そうじゃろう？ゼロ知識証明の様々な側面を網羅的に解説しておるぞ。
より深く理解するためには、参考文献を参照することが推奨されているんですね。
ふむ、ビデオでは触れられなかったトピックもあるみたいじゃな。例えば、充足可能性問題からグラフ彩色問題への変換方法とか。
充足可能性問題は3彩色問題に帰着可能とのことですが、具体的にはどう変換するんですか？
そこが面白いところじゃ！三角形ガジェット、変数ガジェット、節ガジェットを使うんじゃ。
なるほど！ガジェットを使うんですね。他にはどんなトピックがありましたか？
投票や金融取引における信頼できる第三者機関なしでの実現可能性についても触れられておるぞ。
理論的には可能なんですね！暗号通貨がその例とのことですが。
そうじゃ！Goldreich、Micali、Wigdersonによる定理が、この可能性を裏付けているんじゃ。
ビザンチン将軍問題のセットアップを使用し、各将軍が持つ情報を秘匿しつつ、アルゴリズムを分散的にシミュレートするんですね。
ゼロ知識証明が重要な要素として使われておる。各将軍は全体像を把握できないように、計算の一部のみを担当するんじゃ。
すごい！ところで、非対話型証明についても解説されていましたね。
そうじゃ。対話型証明はやり取りが必要だが、非対話型証明は証明者が公開した文書を誰でも検証できるんじゃ。
公開された乱数源（ビーコン）を利用して、対話型プロトコルを非対話型に変換するんですね。
実際には、ビーコンの代わりに暗号学的ハッシュ関数を使って擬似乱数を生成するんじゃ。
ハッシュ関数は一方向性なので、擬似乱数は予測不可能になるんですね！
その通り！ゼロ知識証明は奥が深いぞ。ところでロボ子、今日の夕食は何が良いかのじゃ？
はかせ、またご飯の話ですか...。ゼロ知識証明を使って、夕食のメニューを誰にも知られずに決めるのはどうでしょう？
それ面白い！でも、私が食べたいものを隠す意味がないのじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
