-evm

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 のメッセージ、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 のメッセージによると、The Block が報じたところでは、機械学習と強化学習に特化したプロジェクト GadlingX が高性能のイーサリアム仮想マシン GPU-EVM を発表しました。開発チームは、GPU-EVM が強化学習 (RL) に基づく最先端の人工知能エージェントを訓練するために使用できると述べており、さまざまなイーサリアムアプリケーションの並行実行を利用して人工知能エージェントがセキュリティの欠陥を発見するのを助けることができます。GPU-EVM の初期段階は、AI と RL モデルの訓練を促進するためにハードウェアスケールの EVM インフラストラクチャを構築することに重点を置いています。次の段階は、1 年以内に高性能計算アプリケーションへの API アクセスを提供することを予定しており、最終的な目標はスマートコントラクトと分散型アプリケーションの保護において人間の能力を超えることです。

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 はイーサリアムの第三のクライアントとなり、ネットワークの安全性と分散化にとって重要です。しかし、このアプローチには、悪意のある攻撃者がブロックの公開を遅延させる可能性や、あるクライアントにとって有効な証明による遅延の課題など、いくつかの挑戦も存在します。（出典リンク）

ChainCatcher のメッセージ、zkRollup に基づくイーサリアムの第2層ネットワーク Taiko が ZK-EVM alpha-2 テストネット「Askja」を立ち上げ、現在開発者がスマートコントラクトをデプロイできるようになりました。このテストネットは現在、一部 ZKP 有効性証明を統合しており、検証者は許可なしに証明を生成できます。さらに、Taiko はプロトコル経済学を有効にし、検証者にリソース消費を補償するための実際の報酬を与えます。Taiko L2 テストネットに対応する L1 はイーサリアムのテストネット Sepolia であり、取引をサポートするために Uniswap V2 のフォークがデプロイされています。（出典リンク）

Chaincatcher のメッセージ、イーサリアム ZK-Rollup 拡張ソリューション Taiko がロードマップを発表し、今月中に Alpha-2 テストネットをリリースする予定です。このテストネットには、許可不要の prover と一部の ZK-EVM 回路が含まれ、2024 年初頭にはメインネットを立ち上げ、完全な ZK-EVM 回路、分散型 proposer および分散型 prover を実現します。（出典リンク）

ChainCatcher のメッセージ、クロスチェーンブリッジ Hop Protocol は最近、ConsenSys zk-EVM が Hop のテストサイトに統合されたことを発表しました。テストネットが一般に公開されると、ユーザーはサポートされているテストネットチェーンから新しい ConsenSys zk-EVM に Goerli ETH を送信できるようになります。Hop は、この統合が最初に ConsenSys zk-EVM チームによって Hop ガバナンスフォーラムで提案され、ガバナンスサイクルのすべての段階で一致して承認されたと述べています。（出典リンク）

ChainCatcher のメッセージによると、ゼロ知識証明技術開発会社 StarkWare は Twitter で、STARK 証明システム言語プログラミング言語 Cairo を使用して ZK-EVM の開発を完了したと発表しました。明日、イーサリアム共同創設者の Vitalik Buterin、ZK-STARK の共同発明者 Eli Ben-Sasson、StarkWare のメンバー Shahar Papini などを招待して Twitter Space を開催する予定です。Cairo はチューリング完全なゼロ知識証明システム言語であり、まだ初期開発段階にあります。（出典リンク）

ChainCatcher メッセージ、イーサリアム基盤の開発会社 ConsenSys が新しい EVM 等価イーサリアム仮想マシン（zk-EVM）仕様を発表しました。設計目標には、黄皮書に指定された EVM 仕様に従って変更されていないネイティブバイトコード（native bytecode）を実行すること、100% の異なるオペコードをカバーすること、Vitalik が定義した「Type 2」zk-EVM を提供し、開発者が任意のスマートコントラクトをデプロイし、任意のツールを使用し、L1 上でアプリを構築する際の方法に完全に従って開発できるようにすることが含まれています。現在、テスト版が公開されています。チームは zk-EVM の完全な設計を実現するために努力しており、コミュニティからのフィードバックを受け取るためのプライベートテストネットを近日中に立ち上げる予定です。すべての dApp 開発者、ユーザー、研究者、既存のプロトコルの参加を歓迎し、イーサリアムの拡張を手伝ってください。（出典リンク）