zk-evm

ChainCatcher 消息，Vitalik Buterin 發文探討形式化驗證（Formal Verification）在區塊鏈安全領域的應用前景。文章指出，以太坊前沿研發中正興起一種新範式，直接使用 EVM 位元碼、匯編或 Lean 編寫程式碼，並用 Lean 中可自動檢查的數學證明驗證其正確性，研究者 Yoichi Hirai 將這一範式稱為"軟體開發的最終形態"。Vitalik 認為，AI 輔助形式化驗證有望同時提升程式碼效率與安全性，尤其適用於 STARK、ZK-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 在 X 平台發文表示，他正嘗試推動一項更具雄心的計劃：在現有系統之上構建一個"遵循賽博朋克原則且不醜陋的以太坊"擴展層，並儘可能實現與當前體系的緊密集成與高度互操作性。該方案將逐步發展，同時確保以太坊本身獲得必須系統級實現的賽博朋克與簡潔性特徵，包括抗審查性、對零知識證明友好以及共識層屬性等。Vitalik Buterin 進一步表示，未來 5 年內（甚至在 AI 編碼與形式化驗證加速的情況下更快），或將打通一條開放路徑，使現有系統在需要時可遷移為基於新體系語言編寫的智能合約。以太坊曾在運行過程中完成類似"空中更換噴氣發動機"的重大升級------如"合併"，未來仍有能力再進行約四次類似規模的系統級變革，包括狀態樹優化、精簡共識、ZK-EVM 驗證以及虛擬機層變更等。

ChainCatcher 消息，Vitalik Buterin 發文表示，自己相比過去"明顯更傾向於支持原生 Rollup（native rollups）"。Vitalik 回顧稱，此前反對原生 Rollup 的重要原因在於，其預編譯方案必須在 ZK 模式或 Optimistic 模式之間二選一，而當時 ZK-EVM 尚不成熟，L2 在"快速提款但自擔證明風險"與"依賴以太坊安全但需等待 2--7 天提款"之間，往往會選擇後者，從而削弱以太坊的可組合性，並推動多簽橋等方案的普及。Vitalik 指出，目前情況正在發生變化：以太坊在 L1 層面全面接納 ZK 的時間表，與引入原生 Rollup 預編譯的現實進度正在逐漸對齊，上述核心障礙有望被消除。他同時提到，社區正在更多地將"同步可組合性"作為 L2 的核心價值之一，並探索將基於 Rollup 的方案與低延遲預確認機制相結合。此外，Vitalik 強調，在具體實現上不應草率推進原生 Rollup 預編譯設計。他提出，希望未來具備這樣一種屬性：如果開發者構建的是"EVM 加少量擴展功能"的 Rollup，可以直接復用原生 Rollup 預編譯中的 EVM 部分，並僅針對新增功能引入自定義證明系統，通過標準化方式將兩者銜接起來。

ChainCatcher 消息，Vitalik Buterin 在社交媒體上發文稱，2026 年將是以太坊在自我主權和去信任化方面重新奪回失地的關鍵一年。計劃包括通過 ZK-EVM 和 BAL 技術簡化節點運行，推出 Helios 驗證 RPC 數據，實現 ORAM 和 PIR 技術保護用戶隱私，開發社會恢復錢包和時間鎖功能增強資金安全，以及改進鏈上 UI 與 IPFS 應用。Buterin 強調，以太坊將糾正過去十年在節點運行、應用去中心化和數據隱私方面的妥協，重新聚焦核心價值，雖然這將是一個漫長的過程，但將使以太坊生態系統更強大。

ChainCatcher 消息，Vitalik Buterin 表示，以太坊已在實際運行層面接近解決"區塊鏈不可能三角"這一長期難題。他指出，PeerDAS 與 ZK-EVM 兩項關鍵升級正使以太坊成為一種"全新的、更強大的去中心化網絡"。Vitalik 稱，PeerDAS 已於 2025 年上線主網，而 ZK-EVM 雖仍處於安全性完善階段，但在性能層面已達到生產級別，預計 2026 年將開始在網絡中小規模使用。Vitalik 進一步規劃稱，未來數年內，以太坊將通過提高 gas 上限、調整狀態結構及引入更多基於 ZK-EVM 的驗證方式，逐步實現去中心化、安全性與高吞吐量的平衡。他強調，這並非停留在理論層面的設想，而是建立在已運行代碼基礎上的長期工程成果。Vitalik 同時回顧稱，以太坊為解決數據可用性與擴展性問題已投入近 10 年時間，這一願景如今正逐步落地。

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 消息，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 的 gas 限制情況下，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"（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 遊戲創造力的全部潛力。（來源鏈接）