概要
ゼロ知識証明（ZKP）は、一方の当事者がステートメントの有効性以外の情報を明かさずに、そのステートメントが真であることを証明できるようにする暗号手法です。Web3では、ZKPは計算の圧縮、ロールアップバッチの検証、プライバシーの保護に使用されます。それらは、現代のブロックチェーンスタックで最も影響力のある暗号プリミティブの1つです。
仕組み
証明者は、「これら1万件のトランザクションを正しく実行した」などの計算の証明を生成し、検証者は計算を再実行するのにかかる時間のほんの一部で証明をチェックします。証明は簡潔で、設計されない限り基盤となる入力を明かしません。一般的な方式には、証明が小さく検証が速いSNARKと、透明で量子耐性があるが大きいSTARKが含まれます。
重要性
ZKPはZKロールアップがイーサリアムをスケーリングし、公開台帳でのプライベートトランザクションを可能にし、最小限の情報だけを開示するアイデンティティシステムを構築できるようにします。コストは証明生成に必要な重い計算ですが、ハードウェアとアルゴリズムの改善により削減されています。2026年現在、ZKPは研究から本番インフラへと移行しています。
関連概念
ZKPはZKロールアップと有効性証明を駆動し、プライバシーとアイデンティティに適用されています。それらはその構築を支えるハッシュ関数とコミットメントスキームに関連しています。