ゼロ知識証明（ZKP）は、過去10年間で最も重要な暗号化の進展の1つです。1980年代の理論的概念から始まり、ブロックチェーンシステム、プライバシーアプリケーション、身元確認で大規模に展開される実用的なツールへと進化しました。ZKPを理解することは暗号学者だけのものではなく、ブロックチェーンのスケーラビリティと金融プライバシーを気にする誰もが直接関わる事柄になっています。
ゼロ知識証明とは何か
ゼロ知識証明により、一方の当事者（証明者）はもう一方の当事者（検証者）に、その声明が真実であることを示す情報以外に情報を開示せずに説得することができます。
古典的な類似例：ロックされたドアのパスワードを知っていることを証明しますが、パスワードを言わずに。ドアを開きます。検証者はそれが開かれたのを見ます — 彼はあなたがパスワードを知っていることを知っていますが、他には何も学びません。
ブロックチェーンのコンテキストでは：トランザクションが有効であることを証明します（入力は出力と等しい、二重支出なし）それがどのトランザクションであるか、誰が送信したか、またはどの金額が転送されたかを明かさずに。
ZK-SNARKsとZK-STARKs
ZK-SNARKs（Succinct Non-interactive Arguments of Knowledge）は非常に小さい証明を生成し、迅速に検証します。トレードオフ：暗号パラメータを生成する1回限りのイベントである信頼できるセットアップセレモニーが必要です。侵害された場合、システム全体のプライバシーが失敗します。Zcashはzk-SNARKsを使用しています。
ZK-STARKs（Scalable Transparent Arguments of Knowledge）は信頼できるセットアップを必要としないため、より信頼が不要になります。証明は大きいですが、検証は非常に高速です。StarkWareはStarkNetでSTARKsを使用しています。
PLONKおよびユニバーサルSNARKs — さまざまな回路で再利用可能なユニバーサル信頼できるセットアップを提供し、セレモニー負担を大幅に削減する新しい構造。
プライバシーコインのZKP
Zcashは金融プライバシーのためのZKPのパイオニアでした。シールドされたZcashトランザクションはZK-SNARKsを使用して、アドレスまたは金額を明かさずに入力が出力と等しいことを証明します。結果：内容に関しては完全にプライベートですが、妥当性について公に検証可能なトランザクション。
AztecネットワークなどのプロジェクトはZKPを使用してEthereumで民間DeFiを構築し、機密のスマートコントラクトインタラクションを可能にしています。
ZK-Rollups: Ethereumのスケーリング
今日のZKPの最も商業的に重要な用途はスケーラビリティです。ZK-rollupsは数百のEthereumトランザクションをオフチェーンでバンドルし、すべてが有効であるZK証明を生成し、その証明をmainnnetに投稿します。メインチェーンは証明を確認するだけで、すべてのトランザクションを再実行しません。
これにより、ZK-rollupsはEthereumレベルのセキュリティで1秒あたり数千のトランザクションを処理できます。zkSync Era、Polygon zkEVM、StarkNet、およびLineaは、TVLで数十億を持つライブZK-rollupネットワークです。ユーザーのトランザクションコストを劇的に削減しながら、セキュリティ保証を維持します。
身元と準拠のZKP
新しい用途：プライバシー保護のコンプライアンス。完全な身元をすべてのプラットフォームに送信する代わりに、ZKPを使用して特定の主張を証明できます：
- "私は18歳以上です" — 生年月日を明かさずに
- "私は制裁リストにありません" — あなたの名前を明かさずに
- "承認されたプロバイダーでKYCをパスしました" — プロバイダーまたは詳細を明かさずに
Polygon IDなどのプロジェクトおよびさまざまなEthereumアテステーション標準がこれらのシステムを構築しています。暗号ユーザーの場合、これは完全に匿名のトランザクションと完全な身元開示の間の中間的な道を潜在的に作成します。
制限と注意
ZKPはすべてのプライバシーの問題を解決しません：
- メタデータリーク — ネットワークレベルのデータ（IPアドレス、タイミング）は、プライベートトランザクションでも身元情報を漏らす可能性があります
- セットアップリスク — SNARKベースのシステムは信頼できるセットアップリスクを保持します
- 証明者ハードウェア要件 — ZK証明の生成は計算量が多く、モバイルデバイスに対する障害を生成します
- 採用の遅れ — Zcashのプライバシー機能は、ほとんどの取引所がシールドされたトランザクションをサポートしていないため、実用的な使用が制限されているため、十分に利用されていません
ZK技術は急速に成熟しています。スケーリング（安いEthereumトランザクションを可能にするZK-rollups）とプライバシー（シールドされたトランザクション、ZK-identity）の組み合わせは、ブロックチェーンの次の段階の大部分を定義します。ほとんどのユーザーへの即座の実用的な影響は、ZK-rollupsを介した安いトランザクションです — インフラストラクチャが成熟するにつれてプライバシーアプリケーションが続きます。
