zk-evm

イーサリアム共同創設者 Vitalik Buterin が X プラットフォームで発表イーサリアムのスケーリングは短期と長期の二つの部分に分かれています。短期的には、Glamsterdam アップグレードがブロックレベルのアクセスリストを導入し、並行検証を実現します。ePBS は、より大きな割合のタイムスロットを使用してブロック検証を可能にし、Gas の再価格設定により操作コストが実際の実行時間と一致するようにします。多次元 Gas メカニズムは段階的に進められ、まず Glamsterdam で「状態作成」コストと「実行および calldata」コストを分離します。状態作成 Gas は約 1600 万トランザクション Gas 上限に含まれません。EVM レベルでは「reservoir」次元メカニズムが導入され、デフォルトで専用次元 Gas を優先的に消費し、不足時には reservoir から消費します。今後は多次元価格設定に移行し、異なる次元で異なる浮動 Gas 価格が設定される予定です。長期的なスケーリングには ZK-EVM と blob の二つの部分があります。blob に関しては、PeerDAS の継続的なイテレーションを計画しており、目標は約毎秒 8MB のデータ処理能力を達成することです。将来的にはイーサリアムのブロックデータが直接 blob に入るようになります。ZK-EVM に関しては段階的に進められます：2026 年には ZK-EVM をサポートするバリデータークライアントが登場し、約 5% のネットワークが依存して運用されることを許可します；2027 年にはより大きな割合の少数ノードに拡大し、形式的検証を進めます；条件が整った後、五選三の強制証明メカニズムに移行し、最終的には ZK-EVM のセキュリティと形式的検証レベルを継続的に向上させ、RISC-V などの VM 変更作業にも関与します。

Vitalik Buterin は X プラットフォームで投稿し、彼がより野心的な計画を推進しようとしていることを示しました。それは、既存のシステムの上に「サイバーパンクの原則に従い、醜くないイーサリアム」の拡張レイヤーを構築し、現在の体系との緊密な統合と高度な相互運用性を可能な限り実現することです。この提案は段階的に進化し、イーサリアム自体が必須のシステムレベルの実装として、サイバーパンクと簡潔性の特徴を獲得することを保証します。これには、検閲耐性、ゼロ知識証明に対する友好性、コンセンサスレイヤーの属性などが含まれます。Vitalik Buterin はさらに、今後 5 年以内（AI コーディングと形式的検証が加速する場合はそれよりも早く）に、既存のシステムが必要に応じて新しい体系言語で書かれたスマートコントラクトに移行できるオープンな道を開く可能性があると述べました。イーサリアムは、運用中に「空中でジェットエンジンを交換する」ような重大なアップグレードを完了しました——例えば「マージ」など、今後も同様の規模のシステムレベルの変革を約 4 回行う能力があります。これには、状態ツリーの最適化、コンセンサスの簡素化、ZK-EVM 検証、仮想マシンレイヤーの変更などが含まれます。

Vitalik Buterin は、自身が過去に比べて「明らかにネイティブ Rollup（native rollups）を支持する傾向が強くなった」と発表しました。Vitalik は、以前ネイティブ Rollup に反対していた重要な理由は、そのプリコンパイル案が ZK モードまたはオプティミスティックモードのいずれかを選択しなければならなかったためであり、その時点では ZK-EVM が成熟していなかったことを振り返りました。L2 は「迅速な引き出しだが自己証明リスクを負う」ことと「イーサリアムの安全性に依存するが引き出しに 2～7 日待たなければならない」ことの間で、後者を選ぶことが多く、これによりイーサリアムの相互運用性が弱まり、マルチシグブリッジなどの方案の普及が進んでいました。Vitalik は、現在の状況が変化していることを指摘しました：イーサリアムは L1 レベルで ZK を全面的に受け入れるタイムラインが、ネイティブ Rollup プリコンパイルの現実的な進捗と徐々に整合してきており、上記の核心的障害が解消されることが期待されています。彼はまた、コミュニティが「同期可能性」を L2 の核心的価値の一つとしてより多く考慮し、Rollup ベースの方案と低遅延の事前確認メカニズムを組み合わせることを探求していると述べました。さらに、Vitalik は、具体的な実装においてネイティブ Rollup プリコンパイル設計を急いで進めるべきではないと強調しました。彼は、将来的には「EVM に少しの拡張機能を加えた」Rollup を開発者が構築する場合、ネイティブ Rollup プリコンパイルの EVM 部分を直接再利用でき、新機能に対してのみカスタム証明システムを導入し、標準化された方法で両者を接続できるような属性を持つことを望んでいると提案しました。

Vitalik Buterin はソーシャルメディアで、2026 年がイーサリアムが自己主権と非信任化の面で失地を取り戻すための重要な年になると述べました。計画には、ZK-EVM と BAL 技術を通じてノードの運用を簡素化し、Helios 検証 RPC データを導入し、ORAM と PIR 技術を用いてユーザーのプライバシーを保護し、社会復元ウォレットとタイムロック機能を開発して資金の安全性を強化し、オンチェーン UI と IPFS アプリを改善することが含まれています。Buterin は、イーサリアムが過去 10 年間のノード運用、アプリの非中央集権化、データプライバシーに関する妥協を正し、コアバリューに再焦点を当てると強調しました。これは長いプロセスになるでしょうが、イーサリアムエコシステムをより強力にするでしょう。

Vitalik Buterin は、イーサリアムが実際の運用レベルで「ブロックチェーンの不可能な三角形」という長年の課題を解決に近づいていると述べました。彼は、PeerDAS と ZK-EVM の2つの重要なアップグレードがイーサリアムを「全く新しい、より強力な分散型ネットワーク」にしていると指摘しました。Vitalik は、PeerDAS が 2025 年にメインネットに上线され、ZK-EVM はまだセキュリティの強化段階にあるものの、性能面では生産レベルに達しており、2026 年にはネットワークで小規模に使用される見込みだと述べました。Vitalik はさらに、今後数年のうちに、イーサリアムはガス上限の引き上げ、状態構造の調整、ZK-EVM に基づく検証方法の導入を通じて、分散化、安全性、高スループットのバランスを徐々に実現すると計画しています。彼は、これは理論的な構想にとどまらず、実際に稼働しているコードに基づいた長期的なエンジニアリング成果であると強調しました。Vitalik は同時に、イーサリアムがデータの可用性とスケーラビリティの問題を解決するために約 10 年を費やしてきたことを振り返り、このビジョンが今まさに実現しつつあると述べました。

Vitalik Buterin は、現在 ZK-EVM がアルファ段階に入り、プロダクションレベルの性能を備えており、残りの主要な作業はセキュリティに集中していると述べました。一方で、PeerDAS は正式にイーサリアムメインネットで稼働を開始しました。Vitalik は、これは漸進的な最適化ではなく、イーサリアムを分散化、コンセンサスメカニズム、高帯域幅を同時に備えた新しいタイプの P2P ネットワーク形態に変革していると指摘しました。彼は振り返って、BitTorrent は高帯域幅を持つがコンセンサスがなく、ビットコインはコンセンサスを持つが全量コピーによって帯域幅が制限されると述べました。一方、イーサリアムは PeerDAS（データ可用性サンプリング）と ZK-EVM を導入することで、分散化、コンセンサス、高スループットを同時に実現することが期待されており、三難のジレンマは「メインネット上で稼働する実際のコード」によって解決されました。その中で、PeerDAS はメインネットで稼働しており、ZK-EVM は性能面でプロダクションレベルに達しています。Vitalik は、2026 年から BAL、ePBS などのメカニズムが進むにつれて、ガス上限が徐々に引き上げられ、ZK-EVM ノードを運営する実際の機会が生まれると予測しています。2026 年から 2028 年にはガスの再価格設定、状態構造の調整、実行負荷の blob への移行が行われ、2027 年から 2030 年には ZK-EVM がネットワークのブロック検証の主要な方法となり、さらなるガス上限の引き上げを促進することが期待されています。さらに、彼は分散型ブロック構築の重要性についても言及し、長期的な目標はブロックが任意の単一地点で完全に構築されることを避け、プロトコル内またはプロトコル外の方法でブロック構築権を分散させ、中央集権的な介入リスクを低減し、地域の公平性を高めることだと述べました。

Vitalik Buterin がツイートで、modexp プリコンパイルが ZK-EVM に非常に不利であり、最悪の場合は平均ブロックの 50 倍の計算コストがかかると述べ、EIP を通じて同等の EVM コードに置き換えることを呼びかけました。たとえそれがより高いガスを必要とする場合でもです。彼は modexp の設計者として「恥ずかしくて頭を下げる」と認め、その使用率が非常に低く、コンセンサスの失敗リスクを増加させることを指摘し、ごく少数のニーズのために全体のイーサリアムエコシステムの効率を犠牲にすべきではないと述べました。

ChainCatcher のメッセージによると、Vitalik Buterin は X プラットフォームで投稿し、Sandeep Nailwal と Polygon がイーサリアムエコシステムにおいて果たしている重要な役割を高く評価しています。特に、ZK-EVM の初期投資、高いスケーラビリティを持つアプリケーション（Polymarket など）のサポート、そしてパンデミックに対する研究プロジェクトの推進においてです。彼はまた、Sandeep が 1.9 億ドル相当の SHIB の寄付金を返還し、Balvi プロジェクトに重要な資金支援を提供したことを明らかにしました。Vitalik は、Polygon が今後、より高い安全性を確保するために既存の ZK 技術を採用することを奨励しています。

ChainCatcher のメッセージ、Brevis が発表したマルチ GPU ゼロ知識仮想マシン（zkVM）Pico Prism に対して、Vitalik は「Brevis の Pico Prism が正式に ZK-EVM 検証分野に進出することを嬉しく思います。ZK-EVM 検証の速度と多様性は重要な一歩を踏み出しました。」と評価しました。以前のニュースでは、Pico Prism はコンシューマーハードウェア上でイーサリアムのリアルタイム証明を実現しました：64 枚の RTX 5090 グラフィックカードを使用し、12 秒以内に 99.6% のイーサリアム L1 ブロックの証明を完了しました。そのうち 96.8% のブロック証明時間は、イーサリアム財団が設定した 10 秒以内の基準を下回りました。9 月 1 日のテストでは、イーサリアムの現在の 45M のガス制限の下で、Pico Prism の平均証明時間はわずか 6.9 秒でした。

ChainCatcher のメッセージ、Vitalik Buterin が最新の記事『circle STARKs の探求』を発表しました。この記事では、Starkware が M3 チップのノートパソコン上で毎秒 620,000 の Poseidon2 ハッシュ値を証明できることが指摘されています。これは、Poseidon2 をハッシュ関数として信頼するならば、高効率の ZK-EVM を作成する上で最も難しい部分の一つが実際に解決されたことを意味します。それは、従来の STARK と比較して、circle STARK は開発者にあまり多くの追加の複雑さをもたらさないと述べています。circle FRI が操作する「多項式」の背後にある数学的原理はかなり直感に反するものであり、理解し把握するまでに時間がかかります。しかし、ちょうどその複雑さが隠されており、開発者はそれに気づくことができません。Circle の数学的原理の複雑さは、システム的ではなく、カプセル化されています。Vitalik は、Mersenne31、BabyBear、そして Binius のような二進法の技術を組み合わせることで、STARKs の「基盤層」の効率の限界に近づいていると感じています。STARK の最適化の最前線は、ハッシュ関数や署名などの原始的なものを最も効率的に算術化し（その目的のためにこれらの原始的なもの自体を最適化し）、より多くの並列化を実現するための再帰構造を作成し、開発者体験を改善するために仮想マシンを算術化し、その他のより高度なタスクに移行すると予想されています。

ChainCatcher のメッセージで、イーサリアムの共同創設者である Vitalik Buterin が「ZK-EVM」（ゼロ知識イーサリアム仮想マシン）の概念とその実現可能な形について深く掘り下げた投稿を行いました。記事では、現在の Layer-2 EVM プロトコル（Optimistic Rollups や ZK Rollups など）が EVM の検証メカニズムに依存する必要があることを指摘していますが、これは同時に彼らが巨大なコードベースを信頼しなければならないことを意味します。コードベースに脆弱性が存在する場合、これらの仮想マシンは攻撃を受けるリスクにさらされる可能性があります。さらに、L1 EVM と完全に同等であることを望む ZK-EVM でさえ、L1 EVM の変更を自分の EVM 実装にコピーするための何らかの形のガバナンスメカニズムが必要です。Buterin が提唱した ZK-EVM の概念は、Layer-2 プロジェクトが Ethereum プロトコル機能の重複実装を減らし、Layer-1 Ethereum ブロックの検証時の効率を向上させることを目的としています。彼はまた、将来的にはライトクライアントがさらに強力になり、ZK-SNARKs（ゼロ知識証明）を利用して L1 EVM の実行を完全に検証する可能性があると展望しています。その際、Ethereum ネットワークは実質的に内蔵の ZK-EVM 機能を備えることになります。記事では、ZK-EVM の実現に関する異なるバージョンについても議論しており、それらの設計上の課題、利点と欠点のトレードオフ、なぜ特定の方向性が採用されない可能性があるのかを強調しています。プロトコル機能を実現する際には、その利点と基盤プロトコルの簡潔さを保つことの利点を天秤にかけるべきであると強調しています。ZK-EVM の重要な属性について、Buterin はその基本的な機能性、Ethereum のマルチクライアント哲学との互換性、データの可用性要件、監査可能性、アップグレード可能性を強調しました。さらに、EVM とわずかに異なる場合でも L2 の VM がプロトコル内の ZK-EVM を使用できる「almost-EVM」のサポートについても言及し、EVM の一部カスタマイズに対する柔軟性を提供しています。

ChainCatcher のメッセージによると、チェーンゲーム Abyss World の公式がソーシャルメディアで発表し、Abyss World チームは Polygon zk-EVM に基づいてこのゲームを開発することを決定した。これにより、Abyss World 内のスマートコントラクトの実行がより効率的になり、より多くのユーザーインタラクションを処理できるようになるとのこと。PolygonGaming との協力により、Web3 ゲームの創造性の全潜在能力を引き出すことを期待している。（出典リンク）

ChainCatcher のメッセージ、イーサリアムの創設者ヴィタリックは最新の記事「イーサリアムのマルチクライアントの理念はどのように ZK-EVM と相互作用するのか？」で、イーサリアムのマルチクライアントの理念がその安全性と分散化を維持する上での重要性を強調しました。イーサリアムには誰もが実行するデフォルトの「リファレンスクライアント」がなく、代わりに協力的に管理された仕様があり、複数のチームがその仕様を実装しています（つまり「クライアント」）。ヴィタリックは、EVM 実行の SNARK 証明を使用し、メインネット上の ZK Rollup などの第二層プロトコルを積極的にサポートする新しい移行手段として ZK-EVM の重要性を強調しました。しかし、ZK-EVM の課題は、それがどのようにマルチクライアントの理念と相互作用するかです。この問題を解決するために、ヴィタリックは各クライアントが有効なブロックを受け入れる前に、自分の実装と互換性のある証明を待つべきだと提案しました。このアプローチはマルチクライアントのモデルのいくつかの利点を犠牲にしますが、すべての ZK-EVM 実装が互いに同等であることを正式に証明できるまでの理想的な方法です。ZK-EVM はイーサリアムの第三のクライアントとなり、ネットワークの安全性と分散化にとって重要です。しかし、このアプローチには、悪意のある攻撃者がブロックの公開を遅延させる可能性や、あるクライアントにとって有効な証明による遅延の課題など、いくつかの挑戦も存在します。（出典リンク）