信頼できるセットアップ セレモニーとは何ですか?一部の ZK システムにそれが必要な理由は何ですか?

Trusted Setup Ceremony を理解する

1. 信頼できるセットアップ セレモニーは、特定のゼロ知識証明 (ZK) システム、特に zk-SNARK (ゼロ知識簡潔な非対話型知識議論) に基づくシステムで使用される重要なプロセスです。この手順では、基礎となるデータを明らかにすることなく証明を作成および検証するために不可欠な暗号パラメータを生成します。

2. 式典中、複数の参加者が協力して一連の公開パラメーターを生成すると同時に、有毒廃棄物と呼ばれることが多い機密性の高い中間値に単一の当事者がアクセスできないようにします。この有毒廃棄物が保存されたり漏洩したりすると、悪意のある者が検出されないように証拠を偽造できる可能性があります。

3. 式典はマルチパーティ計算 (MPC) に依存しており、各参加者がシステムにランダム性を与えます。貢献が完了すると、秘密データの自分の部分は破棄されます。少なくとも 1 人の参加者が誠実に行動し、秘密を破棄する限り、セットアップ全体は安全なままです。

4. これらの生成されたパラメータは、共通参照文字列 (CRS) として知られるものを形成します。CRS は、ZK システム内の将来のすべての対話のためのインフラストラクチャの一部になります。 CRS の完全性は、生成される証明の健全性と信頼性に直接影響します。

5. すべてのゼロ知識プロトコルが信頼できるセットアップを必要とするわけではありません。たとえば、zk-STARK は、隠されたトラップドアを含まない透過的なメカニズムに依存することでこの要件を回避し、集中化の問題に対する耐性を高めます。

一部の ZK システムが信頼できるセットアップに依存する理由

1. zk-SNARK はプルーフ サイズと検証速度で高い効率を実現し、ガス コストとスケーラビリティが最重要視されるブロックチェーン アプリケーションに最適です。ただし、このパフォーマンスには、最初の信頼できる構成フェーズが必要になるという代償が伴います。

2. zk-SNARK の数学的基礎は、多くの場合、楕円曲線上の双一次ペアリングに依存しており、鍵の生成中に秘密パラメーターが必要になります。適切に設定しないと、これらのパラメータを安全にインスタンス化できません。

3. Zcash やイーサリアム スケーリング ソリューションの初期バージョンなどのシステムは、信頼できるセットアップを利用して、プライベート トランザクションと効率的なレイヤー 2 検証を可能にしました。彼らのセキュリティ モデルは、セットアップが正しく行われ、破棄された秘密を攻撃者が入手していないことを前提としています。

4. 信頼の必要性は、攻撃者が有毒廃棄物の完全なセットにアクセスすると、有効に見える偽の証拠を作成してシステム全体の完全性を損なう可能性があるという事実から生じます。これにより、式典が単一障害点になる可能性があります。

5. リスクを軽減するために、プロジェクトは多くの場合、世界規模の参加、オープンソース ツール、検証可能な手順を伴う式典を設計します。公開ログ、ビデオ録画、再現可能なビルドは、結果に対する透明性とコミュニティの信頼性を高めるのに役立ちます。

実際の例とその意味

1. Zcash は、「Powers of Tau」と呼ばれる、最も初期かつ最もよく知られている信頼できるセットアップ儀式の 1 つを実施しました。これには地理的に分散した数十人の参加者が関与し、それぞれが蓄積された結果を渡す前にエントロピーを追加しました。

2. イーサリアムのファイルコインプロジェクトも、その証明システムを立ち上げるために100人以上の貢献者が参加する大規模な式典を実施した。各参加者は暗号証拠を通じて自分の貢献を確認し、集団的な保証を強化する必要がありました。

3. 堅牢な設計にもかかわらず、信頼できるセットアップに依存するシステムには懐疑的な見方が残ります。批評家は、参加者が多数いたとしても、すべての機密データが破壊されたという絶対的な保証はなく、強い確率論的な保証があるだけだと主張しています。

4. 一部のブロックチェーン開発者は、特にコンパクトな証明サイズよりも監査可能性と分散化が優先される場合、zk-STARK や防弾のようなトラストレスな代替手段に移行しています。

5. それにもかかわらず、その効率上の利点により、信頼できるセットアップを備えたzk-SNARKは、暗号化エコシステム内で動作するプライバシー保護のDeFiツール、IDシステム、およびスケーラブルなロールアップにおいて重要な役割を果たし続けています。

よくある質問

誰かが信頼できる施設から有毒廃棄物を保管したらどうなるでしょうか?個人またはグループが信頼できる設定からの機密データ (有毒廃棄物) を保持している場合、検証に合格した不正な証拠を生成する可能性があります。これにより、取引を偽造したり、資産を違法に鋳造したり、ブロックチェーンプロトコルの検証ルールをバイパスしたりすることが可能になります。

信頼できるセットアップは侵害された場合にやり直すことができますか?ほとんどの場合、ネットワーク インフラストラクチャ全体が元のパラメータに依存しているため、信頼できるセットアップを簡単にやり直すことはできません。それらを置き換えるにはシステムを再初期化する必要があり、既存のプルーフが無効になり、下位互換性が失われる可能性があります。

ユーザーは、信頼できるセットアップが正しく行われたことをどのように確認するのでしょうか?プロジェクトは通常、詳細なドキュメント、暗号化トランスクリプト、および検証スクリプトを公開します。参加者は自分の貢献のログに署名し、誰でもソフトウェアを実行して、最終パラメータが指定されたプロトコルに従って計算されたかどうかを確認できるため、単一の当事者がプロセスを支配していないことが保証されます。

信頼できるセットアップを排除するための継続的な取り組みは行われていますか?はい、研究者たちは、信頼できるセットアップの必要性を排除する新しい ZK 構造を積極的に開発しています。 zk-STARK、Halo、Nova などのプロトコルは、再帰的証明技術やハッシュ関数に基づく透過的なセットアップを使用し、初期の信頼仮定への依存を減らします。