ゼロ知識 (ZK) 証明を使用するにはどうすればよいですか? (プライバシーの基本)

ブロックチェーンシステムにおける ZK Proof の中核原則

1. 証明者は、秘密そのものを明かさずに秘密の知識を実証します。たとえば、秘密鍵を公開せずにその所有権を証明します。

2. 検証プロセスは、証明者を特定のステートメントに結び付ける暗号化コミットメントとチャレンジ/レスポンスの相互作用に依存します。

3. 妥当性は数学的健全性によって強制されます。ステートメントが偽の場合、無視できる確率を除いて、不正な証明者は正直な検証者を説得できません。

4. ゼロ知識特性により、検証者は証言の真実以外には何も学習しません。証人や入力データについての部分的なビットさえも学習しません。

5. 完全性は、正しい証人を知っている正直な証明者が常に検証者を説得することに成功することを保証します。

パブリックブロックチェーンの実装フレームワーク

1. zk-SNARK は、Polygon zkEVM や Scroll などの Zcash および Ethereum レイヤー 2 ロールアップに広く導入されており、高速な検証時間でコンパクトな証明を可能にします。

2. zk-STARK は、信頼できるセットアップの必要性を排除し、衝突耐性のあるハッシュ関数に依存するため、StarkNet などのパーミッションレス環境に適しています。

3. PLONK ベースのシステムは、普遍的で更新可能な構造化参照文字列を提供し、複数のアプリケーションが同じセットアップを共有できるようにします。これは、Aztec Network と Mina Protocol で使用されます。

4. Zcash によって開発された Halo2 は、再帰的なプルーフの合成をサポートしており、複数のトランザクションを 1 つのプルーフに効率的に集約できます。

5. Circom と Noir は回路設計用のドメイン固有言語として機能し、高レベルのロジックを ZK バックエンドと互換性のある算術制約に変換します。

プライバシーを保護するトランザクション モデル

1. Zcash のシールドされた転送では、zk-SNARK を使用して、コンセンサスの有効性を維持しながら、送信者、受信者、金額、およびメモのフィールドを非表示にします。

2. Tornado Cashは、ZKPと組み合わせたマークルツリー包含証明を採用し、時間とアドレスを超えてETHの入出金を匿名化します。

3. Aztec Connect は、暗号化された ZK 回線内にパブリック スマート コントラクトをラップし、関数呼び出しとパラメーターを隠すことにより、プライベート DeFi インタラクションを可能にします。

4. Railgun は完全に暗号化されたメモリプールと状態遷移を実装しており、すべての残高の更新と転送はゼロ知識ステート マシン内で行われます。

5. Penumbra はシールドされた DEX プールを使用しており、流動性ポジションと取引執行は機密のままであり、オンチェーンで提出された簡潔な証拠によってのみ検証されます。

ZK ベースの ID とアクセス制御

1. Sismoを使用すると、ユーザーはウォレットアドレスや完全な取引履歴を開示することなく、DAO寄稿者やNFT保有者などの特定のグループのメンバーシップを証明できます。

2. World ID は、zk-SNARK を利用して、セッションや動作をリンクせずに、dApp 間で使用できる匿名のシビル耐性 ID 証明書を発行します。

3. Disco を使用すると、資格情報の選択的開示が可能になります。たとえば、生年月日や政府 ID 番号を明らかにせずに 18 歳以上の年齢を証明できます。

4. セマフォは、ユーザーが ZK グループのメンバーシップ証明によって検証可能な、隠された ID で署名されたメッセージをブロードキャストする匿名シグナリング プロトコルを構築します。

5. Privy は、ZK ID レイヤーをウォレット インフラストラクチャに直接統合し、アプリが生のアドレスを公開する代わりに最小限の証明を要求できるようにします。

よくある質問

Q1.基礎となる暗号が破られた場合、ZK 証明は偽造できますか?はい — セキ​​ュリティは、離散対数の硬度やハッシュ関数の衝突耐性などの仮定に完全に依存します。これらの基盤を侵害すると、その基盤に基づいて構築されたすべての証明が無効になります。

Q2. ZK ロールアップでは、バリデーターがすべてのトランザクションを再実行する必要がありますか?いいえ — バリデーターは最終的な状態遷移の証明のみを検証します。実行は証明者によってオフチェーンで行われ、オンチェーンでの冗長な計算が排除されます。

Q3. ZK 回路が正しいかどうかを監査することは可能ですか?はい — Risc0 の zkVM や Circom の制約チェッカーなどの正式な検証ツールを使用すると、開発者は回路の動作が意図したロジックと一致することを数学的に確認できます。

Q4.一部の ZK システムで信頼できるセットアップ セレモニーが必要なのはなぜですか? zk-SNARK は、セットアップ中に生成される有毒廃棄物のパラメータに依存します。侵害された場合、攻撃者は任意の有効な証拠をでっち上げる可能性があるため、信頼を分散するために複数の当事者による儀式が必要になります。