Zero-Knowledge Proof - ハッシュから R を外す、IsZero 回路の制約を 1 行消すと偽の証明が通る
ゼロ知識証明（Zero-Knowledge Proof、ZKP）は、秘密の値を相手に見せずに、「その値を知っている」「その値で計算すると結果がこうなる」と相手に納得させる暗号の手法です。証明を作る側を証明者（prover）、受け取って正しいかを判定する側を検証者（verifier）と呼びます。手元で 2 種類のゼロ知識証明を動かし、秘密を知らない人が偽の証明を作れるかを試した結果が次の図です。 ...