ゼロ知識証明とは

満たすべき条件は3つです。主張が本当に正しければ証明が通ること（完全性）、正しくなければほぼ確実に見破られること（健全性）、そして検証者が証明から「正しい」以外の情報を得られないこと（ゼロ知識性）。この3つ目があるからこそ、パスワードや残高を見せずに検証が成立します。

ブロックチェーンでの応用は大きく2方向あります。1つはプライバシーで、送金者・受取人・金額を隠したまま「二重支払いでない」ことだけを証明します。もう1つはスケーリングで、ZKロールアップは数千件の取引をまとめて実行し、その実行が正しかったという証明1本だけをイーサリアム本体に載せます。検証コストが取引数に比例しないのが利点です。

身近な例では、ウォレットが保有証明を出すときに使えます。取引所が「顧客資産を全額保有している」ことを、個々の顧客残高を公開せずに証明する準備金証明（Proof of Reserves）の一部にも、ゼロ知識証明の手法が使われています。