ゼロ知識のモジュール性は、Web3 の拡張に役立ちます。意見

物理学と金融の背景を持つ経験豊富な暗号通貨投資家として、私はブロックチェーンのイノベーションを相当見てきたと自信を持って言えます。しかし、Horizen Labs の Rob Viglione と彼のチームが行っている研究ほど私の注意を引いたものはありません。スケーラビリティ、効率、ゼロ知識証明に重点を置いているのは画期的であるだけでなく、Web3 の将来にとって大きな変革をもたらすものでもあります。

長期間にわたって、web3 を扱う開発者は、システムを大量のデータを処理できるようにするという課題に直面してきました。多くの場合、新しいテクノロジーが登場するとき、最初はオールインワン ソリューションとして構築されます。しかし、これらのテクノロジーは成長し進化するにつれて専門化する傾向があり、さまざまな企業がスケーラビリティを向上させるためにシステムの個別のコンポーネントに焦点を当てるようになりました。

現在、ブロックチェーン技術の強化が進められています。この技術スタック内の各層は、簡単に変更できる方法 (モジュール方式) で最適化されています。 Web3 開発者は、コストを削減し、システム効率を高め、保守性を向上させるために、これらのモジュール式の改善を採用しています。

長年のイーサリアムユーザーとして、私はこのプラットフォームが有望な実験からブロックチェーン世界の主要プレーヤーへと進化するのを見てきました。しかし、高い手数料と遅い取引速度のせいで、私はしばしば自分の忠誠心を疑うことがあることを認めなければなりません。だからこそ、私は Arbitrum や Optimism のような L2 ソリューションの登場に興奮しています。これらのプラットフォームは、イーサリアムの L1 と比較して、より高いスループットと大幅に低い手数料を提供することで、私の経験を変えてくれました。渋滞した高速道路から整備された脇道に入るようなものです。

Web3 テクノロジーの進歩により、将来の成功の鍵は特定の領域に焦点を当て、システムの各層内の効率を向上させることであることは明らかです。専門グループがシステムのさまざまな部分をマスターできるようにすることで、画一的な設計では以前は達成できなかった、前例のないレベルの拡張性とコスト効率を実現できます。

ブロックチェーンのスケーラビリティの最終段階としての ZK ロールアップ

ゼロナレッジ ロールアップなどのゼロナレッジ テクノロジの使用の増加を考慮すると、スケーラビリティを達成するための明確な道筋がより明確になります。

ブロックチェーンのスケーリングは、ゼロ知識証明 (ZKP) を使用してトランザクションを検証する ZK ロールアップで理想的なソリューションを発見しました。これにより、データのプライバシーが確保されると同時に、より迅速なトランザクション検証とガス料金の削減が可能になります。この目的のために特別に設計された zkVerify のようなツールは、この効率的なアプローチの主な例として機能します。

L2 ZK ロールアップ チェーンでは、複数のトランザクションが単独のトランザクションとしてメイン L1 に送信される前にグループ化されます。この統合されたトランザクションには暗号による確認が付属しており、トランザクションのコレクション全体を効率的に検証できます。

ZKP は高価で、計算量が多い

現在、ゼロ知識 (ZK) システムの主な課題は、ゼロ知識証明 (ZKP) を効果的に検証および確認することにあります。 「証明検証」のこの重要なステップは、ZKP が暗号的に健全であることを確認します。これは、ZK ロールアップがメイン チェーン (L1) でトランザクションを完了するために不可欠です。

楽観的ロールアップでは、不正証明と呼ばれる独自の証明メカニズムを利用するため、証明の検証は必要ありません。デフォルトでは、すべてのトランザクションは有効とみなされ、不正なトランザクションが検出された場合に誰でもその証拠を提出できる異議申し立て期間を設けることでセキュリティが確保されます。ただし、この異議申し立て期間は最大 7 日間続く可能性があり、取引の完了が遅れる可能性があります。それにもかかわらず、オプティミスティック ロールアップは、速度とセキュリティの間のトレードオフにより、今日推奨されるブロックチェーン スケーリング ソリューションとして非常に人気を得ています。

この設定の代わりに、ZK ロールアップは複数のトランザクションをそれらに関連付けられた状態データとともにグループ化します。次に、検証のためにこのバンドルをベース レイヤ (L1) に送信します。 L1 はブロックチェーン上のこれらのトランザクションの証明をチェックし、それに応じてロールアップの状態を更新します。このプロセスにより、すべてのトランザクションが有効であることが保証され、即座に確認が行われます。この方法を採用することで、チャレンジフェーズを延長することなく、トランザクション速度を大幅に向上させ、より強力なセキュリティ保証を提供できます。

モジュラー ZKP 検証が解決策です

モジュール化が基礎レベルで止まる必要がないのは素晴らしいニュースです。モジュラーアプローチを使用してイーサリアムなどのプライマリチェーンのパフォーマンスを大幅に強化したのと同様に、これと同じ戦略を ZK ロールアップにも利用できます。

実際、これはどのように機能しているのでしょうか? Celestia が独自のブロックチェーンでデータ アクセシビリティを管理する方法と同様に、自己完結型チェーンは ZK ロールアップ (実際にはゼロ知識証明を使用するシステム) の証明の検証を監督できます。これらのグループ化されたトランザクションを処理しながら、プライマリ L1 チェーン上でトランザクションを確認します。

アナリストとして、私はこのことを次のように表現できます。「証明検証のタスクをモジュラー サービスに委任することで、ZK ロールアップは実行の最適化とユーザー エクスペリエンスの向上に集中できます。証明検証チェーンは、ZK と並行して同時に独立して機能します。 -ロールアップ自体の整合性を確保します。」

暗号通貨投資家として、私は ZK ロールアップを採用するとコストが 90% 以上大幅に削減され、長期的にはより安定したコスト構造が提供されることがわかりました。イーサリアム(ETH)のガス料金に関連付けられた従来の方法(変動性と予測不可能性により不安定になる可能性があります)とは異なり、ZK ロールアップはプルーフ検証プロセスを別のレイヤーに移し、これらの価格変動を排除します。

簡単に言うと、このモジュール式証明検証システムは、イーサリアム L1 で現在可能であるものよりも速く、暗号化の新しい進歩に適応して組み込む能力を備えています。言い換えれば、新しい暗号ソリューションが開発された場合、モジュール式証明検証サービスは数週間以内にそれらを実装できますが、イーサリアムでは、これらのアップデートが利用可能になるまでに数年かかる可能性があります。

モジュール式証明検証の適用は、1 種類のゼロ知識 (ZK) テクノロジーだけに限定されません。 ZK 証明を利用するさまざまな分散アプリケーション (dApps) にまで拡張されます。本質的に、モジュール式アプローチの利点はその適応性にあり、そのような検証を必要とするあらゆるシステムに役立ちます。

仮想通貨投資家として、私はゼロ知識証明 (ZKP) システムに関連するコストのかかるプロセスを標準化することで、すべてのブロックチェーン ネットワーク全体に多大なメリットをもたらす可能性があると考えています。この動きは、多様なチェーンがシームレスに連携できる、スケーラビリティと相互運用性を特徴とする未来に向けてさらに一歩前進します。

では、モジュール化がなければどうなるでしょうか?

今後数年間で予想される web3 の拡張を検討すると、ZK ロールアップのプルーフを検証するコストが大幅に増加する可能性があります。

仮想通貨投資家として、私はイーサリアム上の ZK ロールアップの成長を注意深く追跡してきました。昨年 2023 年には、これらの証拠の検証に約 4,700 万ドルが費やされました。この市場は、2028 年までに 15 億ドル、あるいはそれ以上の価値があると予測されています。 2030 年までに、分散型アプリケーションだけで 900 億という驚異的なプルーフが生成されると推定されています。この傾向は本当に刺激的であり、この分野の潜在的な成長を強調しています。

ZK ロールアップ テクノロジーが 10 億人のような大規模なユーザー ベースに確実に対応できるようにするには、コストのかかる証明検証プロセスを進めることが重要です。この問題に対処しなければ、ZK tech の規模拡大は乗り越えられない課題になる可能性があります。 ZK ロールアップや ZK 技術に基づくアプリケーションがこれほど高額なコストを負担するのは非合理的であり、ブロックチェーンの成長と発展を遅らせる可能性があるため、ブロックチェーンに不必要に負担をかけるべきではありません。

モジュール式証明検証を使用すると、単一の証明を検証するコストは約 20 ドル (Groth16 証明スキーム、ガス価格 30 グウェイ、イーサリアム価格 3000 ドルを考慮) から約 1.80 ドルまで下がります。この大幅なコスト削減により、新しい ZK アプリ、ビットコイン ZK ロールアップ、証明システムなどを含む、Web3 のイノベーションの新たなフロンティアが開かれます。 ZK ベースのチェーンまたはアプリケーションは、証明検証をモジュラー ソリューションにオフロードすることで恩恵を受けることができます。 

Web3 環境で生成されるゼロ知識証明 (ZKP) の数が増加しているため、これらの証明を検証することが重要です。さらに、web3 エコシステム全体のモジュール化が進んでいることを考えると、この概念を拡張して ZKP にも適用するのは論理的です。

ゼロ知識のモジュール性は、Web3 の拡張に役立ちます。意見

Rob Viglione

米国空軍に勤務していた Rob Viglione 氏は、現在、zkVerify、Horizen、ApeChain などのトップレベルの Web3 プロジェクトを担当するスタジオである Horizen Labs の責任者を務めています。アフガニスタンに派遣されている間、彼は経済的に不安定な国にとって潜在的な利点があるため、ビットコインに対する最初の魅力を育みました。彼の専門的な情熱は、Web3 のスケーラビリティ、ブロックチェーンの最適化、ゼロ知識証明にあります。彼は、スケーラビリティを高め、コストを最小限に抑え、効率を高めるための画期的な zk-rollup の作成に精力的に取り組んでいます。ロブは、金融の博士号、金融とマーケティングの MBA、物理学と応用数学の学士号を取得しています。現在、彼はプエルトリコブロックチェーン貿易協会の理事を務めています。

2024-08-03 01:32