ご存知のとおり、真に分散型パブリック チェーン L1 は不可能な三角形 (セキュリティ、スケーラビリティ、分散化を同時に考慮できない) に直面することになり、イーサリアムの最も重要な価値基盤の 1 つである分散化もイーサリアムが常に堅持してきた側面です。 イーサリアムは、最終的には数万を超えるノードと数百万のバリデーターを備えた通常の家庭用ハードウェア上で実行されることを常に望んでいました。 イーサリアムの分散化へのこだわりにより、L1 のパフォーマンスの進歩も比較的遅くなり、最終的には L1 および L2 アーキテクチャが開発されましたが、現在 L2 には流動性の断片化と不十分な価値獲得の問題があります。 イーサリアムブロックチェーンの本来のジレンマ(セキュリティ、スケーラビリティ、分散化)を解決するにはどうすればよいでしょうか? 重要な側面の 1 つは、ZK 実証技術の採用です。 ZK 証明の核心は、多数の計算またはトランザクションをオフチェーンで実行することを可能にし、その後、簡潔な証明のみがオンチェーンに送信され、すべての詳細を明らかにすることなくそれらの実行が正しいことを証明します。 この利点は、スケーラビリティを向上させ、分散化を強化しながらセキュリティを継承できることです。 たとえば、zkVM は L1/L2 の拡張に使用され、L2 の流動性分割にも役立ちます。 ZK 証明は暗号的に安全であり、オフチェーンでのエラーのない実行を保証します。 無効であることが証明されると、イーサリアムの元のセキュリティを継承して拒否されます。 効率的かつ低コストの生成と検証が証明され、通常のハードウェア (携帯電話や家庭用コンピューター) がノード検証に参加できれば、分散化をさらに強化する機会があります。 Succinct (ZK 証明に焦点を当てたインフラストラクチャ プロジェクト) が最近立ち上げたコア製品 SP1 (Succinct Proofs 1) は、開発者が Rust で任意のプログラムを作成し、ZK 証明を生成して、回路を書き換えることなくプログラム実行の正しさを証明できる高性能 zkVM (ゼロ知識仮想マシン) です。 これは、イーサリアムエコシステムが不可能な三角形の問題を解決するのに大きな助けとなります。 具体的には、Succinct はイーサリアムの拡張を支援します。まず、その SP1 は、あらゆる LLVM コンパイル言語でのプログラム実行証明をサポートする高性能 zkVM であり、ロールアップ、コプロセッサ、zkEVM シナリオに適用できます。 Succinct の SP1 は迅速な証明生成をサポートしており、現在の公式主張によれば、イーサリアムの証明をリアルタイムの速度で生成でき、これはほぼ「リアルタイム証明」テクノロジーに近いとのことです。 現在の公式テストの説明によると、10,000 個のイーサリアム ブロックのベンチマークでは、ブロックの 93% 以上が 12 秒で証明を生成でき、ベンチマークでは上記のパフォーマンスを達成するために約 200 個の NVDIA RTX 4090 GPU のクラスターが使用されています。 完全なリアルタイム証明クラスターを実行するには、約 160 個の RTX 4090 GPU が必要であり、現在のビルド コストは約 30-400,000 ドルであり、ハードウェアの最適化と証明システムの改善により、コストを約 100,000 ドルに削減するチャンスがあります。 さらに、Succinct は分散型証明者ネットワークでもあり、計算と検証を分離することでイーサリアム検証のコストと遅延を削減でき、最終的な目標は、通常のノードや携帯電話が証明の検証に参加できるようにし、イーサリアムがより多くのバリデーターに拡大できるようにすることです。 最後に、ZK テクノロジーにより、本人確認、プライベート トランザクション、クロスチェーン操作など、より多くのアプリケーション シナリオも可能になります。 つまり、ZK テクノロジーはイーサリアムの 10,000tps への道のりにおいて最も重要な部分の 1 つです。