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 在社交媒體上發文稱，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 遊戲創造力的全部潛力。（來源鏈接）

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