ゼロ知識証明を30行で実装——グラフ理論で暗号通貨を回避

A quick look at zero-knowledge proofs

暗号通貨とは無関係なゼロ知識証明の実装を、グラフの3色塗り分け問題を例に解説。著者はChris氏の提案で、Goldreichらによる論文のプロトコルを参考に、Pythonで30行程度のコードを書き、ネットワークデモも公開。ハッシュとノンスを使った「鍵付きボックス」で、証明者が解を明かさずに検証者を納得させる仕組みを、各ステップのコード付きで紹介する。