-evm

ChainCatcher 消息，以太坊聯合創始人 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 變更工作。

ChainCatcher 消息，Vitalik Buterin 表示，當前 ZK-EVM 已進入 alpha 階段，具備生產級性能，剩餘主要工作集中在安全性；與此同時，PeerDAS 已正式在以太坊主網上線。Vitalik 指出，這並非漸進式優化，而是正在將以太坊轉變為一種同時具備去中心化、共識機制與高帶寬的新型 P2P 網絡形態。他回顧稱，BitTorrent 具備高帶寬但無共識，比特幣具備共識但因全量複製導致帶寬受限；而以太坊在引入 PeerDAS（數據可用性採樣）與 ZK-EVM 後，有望同時實現去中心化、共識與高吞吐，三難困境已通過"主網上運行的真實代碼"被解決。其中，PeerDAS 已在主網運行，ZK-EVM 在性能層面已達到生產級。Vitalik 預計，2026 年起，隨著 BAL、ePBS 等機制推進，Gas 上限將逐步提高，並出現運行 ZK-EVM 節點的實際機會；2026--2028 年將進行 Gas 重新定價、狀態結構調整及執行負載進入 blob；到 2027--2030 年，ZK-EVM 有望成為網絡驗證區塊的主要方式，進一步推動 Gas 上限提升。此外，他還提到分佈式區塊構建的重要性，長期目標是避免區塊在任何單一地點被完整構建，並通過協議內或協議外方式分散區塊構建權力，以降低中心化干預風險並提升地域公平性。

ChainCatcher 消息，Vitalik Buterin 發推表示，modexp 預編譯因對 ZK-EVM 極度不友好，最差情況達平均區塊 50 倍計算開銷，呼籲通過 EIP 以等價 EVM 代碼替代，即使需更高 gas。他承認作為 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 的 gas 限制情況下，Pico Prism 平均證明時間僅 6.9 秒。

ChainCatcher 消息，据 The Block 報導，專注於機器學習和強化學習的項目 GadlingX 宣布推出高性能以太坊虛擬機 GPU-EVM。其開發團隊表示，GPU-EVM 可用於在其之上訓練基於強化學習 (RL) 的尖端人工智慧代理，利用各種以太坊應用程序的並行執行來幫助訓練人工智慧代理發現安全錯誤。GPU-EVM 推出的初始階段側重於創建硬體規模的 EVM 基礎設施，以促進 AI 和 RL 模型的訓練。下一階段預計在一年內，將包括為高性能計算應用程序提供 API 訪問，最終目標是在保護智能合約和去中心化應用程序方面超越人類的能力。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 發文深入探討了"ZK-EVM"（Zero-Knowledge Ethereum Virtual Machine）的概念及其可能實現形式。文章指出，當前的 Layer-2 EVM 協議（如 Optimistic Rollups 和 ZK Rollups）需要依賴於 EVM 的驗證機制，但這同時意味著他們必須信任龐大的代碼庫。一旦代碼庫中存在漏洞，這些虛擬機可能面臨被攻擊的風險。此外，即便是希望與 L1 EVM 保持完全等效的 ZK-EVM，也需要一定形式的治理機制，以便將 L1 EVM 的變更複製到自己的 EVM 實現中。Buterin 提出的 ZK-EVM 概念，旨在減少 Layer-2 項目對 Ethereum 協議功能的重複實現，並提高其在驗證 Layer-1 Ethereum 區塊時的效率。他還展望了未來光客戶端（light clients）將更強大，甚至可能利用 ZK-SNARKs（零知識證明）完全驗證 L1 EVM 執行，屆時 Ethereum 網絡將實質上具備內置的 ZK-EVM 功能。文章還討論了實現 ZK-EVM 的不同版本，包括它們的設計挑戰、權衡利弊，以及為何某些方向可能不被採納。強調了在實現協議功能時，應權衡其優勢與保持基礎協議簡潔性的好處。對於 ZK-EVM 的關鍵屬性，Buterin 強調了其基本功能性、與 Ethereum 多客戶端哲學的兼容性、數據可用性要求、可審計性和可升級性。此外，他還提到了對"almost-EVM"的支持，即允許 L2 的 VM 在與 EVM 只有微小差異的情況下，仍能使用協議內的 ZK-EVM，同時也為 EVM 的部分定制化提供了靈活性。

ChainCatcher 消息，鏈遊 Abyss World 官方在社交媒體上發文表示，Abyss World 團隊決定基於 Polygon zk-EVM 來打造這款遊戲。據悉，這將使 Abyss World 中智能合約的執行更加高效，並能夠處理更多的用戶互動，希望與 PolygonGaming 的合作將釋放 Web3 遊戲創造力的全部潛力。（來源鏈接）

ChainCatcher 消息，以太坊創始人 Vitalik 在最新文章《以太坊的多客戶端理念將如何與 ZK-EVM 互動?》中強調了以太坊的多客戶端理念在維護其安全性和去中心化方面的重要性。以太坊沒有每個人都運行的默認"參考客戶端"，相反有一個協作管理的規範並且有多個團隊實現規範（即"客戶端"）。 Vitalik 強調了 ZK-EVM 作為一種新的過渡的重要性，它使用了 EVM 執行的 SNARK 證明，並積極支持主網上的 ZK Rollup 等第二層協議。然而，ZK-EVM 的挑戰在於它如何與多客戶端理念進行互動。為了解決這個問題，Vitalik 建議每個客戶端在接受一個有效的塊之前，都要等待一個與自己的實現兼容的證明。這種方法犧牲了多客戶端範例的一些好處，但在能夠正式證明所有 ZK-EVM 實現彼此等價之前，它是理想的。ZK-EVM 將成為以太坊的第三種客戶端，對網絡的安全和去中心化至關重要。然而，這種方法也存在一些挑戰，例如處理惡意攻擊者可能會延遲發布塊以及對一個客戶端有效的證明所帶來的延遲挑戰。（來源鏈接）

ChainCatcher 消息，基於 zkRollup 的以太坊二層網絡 Taiko 已上線 ZK-EVM alpha-2 測試網"Askja"，現已允許開發人員部署智能合約。該測試網目前部分整合了 ZKP 有效性證明，讓驗證者無需許可即可生成證明。此外 Taiko 啟用協議經濟學，對驗證者給予真實獎勵以補償其資源消耗。Taiko L2 測試網對應的 L1 是以太坊測試網 Sepolia，並部署了 Uniswap V2 分叉以支持交易。（來源鏈接）

Chaincatcher 消息，以太坊 ZK-Rollup 擴容方案 Taiko 發文公布路線圖，計劃在本月推出 Alpha-2 測試網，其中包含無需許可的 provers 和部分 ZK-EVM 電路，並在 2024 年初上線主網，實現完整的 ZK-EVM 電路、去中心化 proposers 和去中心化 provers。（來源鏈接）

ChainCatcher 消息，跨鏈橋 Hop Protocol 近日宣布，ConsenSys zk-EVM 已整合到 Hop 的測試網站點，當測試網向公眾開放時，用戶將能夠從任何支持的測試網鏈中發送 Goerli ETH 到新的 ConsenSys zk-EVM。Hop 稱，該整合最初是 ConsenSys zk-EVM 團隊在 Hop 治理論壇上提出的建議，並一致通過了治理週期的所有階段。（來源鏈接）

ChainCatcher 消息，零知識證明技術開發公司 StarkWare 在推特上宣布，已使用 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 開發人員、用戶、研究人員和現有協議加入並幫助擴展以太坊。（來源鏈接）