2種類のゼロ知識証明 1⃣ インタラクティブなゼロ知識証明 ▰ バリデーターの質問(チャレンジ) ▰ 挑戦に応じて証明者が戻ってくる ▰ 複数回のやり取り、バリデーターによる有効性の確認 2⃣ 非対話型ゼロ知識証明 ▰ 証明者はファイル(証明)を生成するだけで済みます ▰ バリデーターは、それを受け取ったときに独立して検証でき、やり取りの必要はありません ZK証明の3つの性質 ▰完全性 命題が真であれば、証明は間違いなく検証に合格します ▰ 信頼性 - 健全性 命題が偽の場合、検証に合格するための偽の証明を作成することはできません ▰ ゼロ知識 - ゼロ知識 検証者は証明からシークレット入力を導き出すことはできません ブロックチェーンの特性により、実際のアプリケーションでは基本的に非対話型のゼロ知識証明です。 非対話型ゼロ知識証明は、証明の信頼性を判断するための証明者の自己ランダムな課題です。 @brevis_zk スタディノート~