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 遊戲創造力的全部潛力。（來源鏈接）

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 治理論壇上提出的建議，並一致通過了治理週期的所有階段。（來源鏈接）