zkvm

ChainCatcher 消息，ZKsync 發佈 2026 年路線圖，聚焦三大核心方向：1、Prividium 將把隱私引擎擴展為 "銀行級堆棧"，為企業提供默認內置隱私的加密基礎設施；2、ZK Stack 將從單一鏈架構轉向 "協調化系統"，使應用鏈在該堆棧中實現無縫操作，並原生集成流動性及共享基礎設施；3、Airbender 則將從 "最快的 zkVM" 演進為 "通用標準"，優先保障安全性、形式化嚴謹性與開發者體驗，服務範圍將超越 ZKsync 和以太坊生態，延伸至更廣泛的用例場景。

ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 在 X 平台發文表示，以太坊團隊今年以來一直表現得非常出色，在各個方面都做出了貢獻，以確保以太坊的長期擴展性、去中心化和彈性，所有這些想法預計都將在短期擴展路線圖實現其關鍵里程碑的同時準備好付諸實施。據 Vitalik Buterin 轉發推文顯示，目前以太坊開發者已提出一種適用於精簡以太坊的最小 zkVM「leanVM」，並且針對 XMSS 聚合和遞歸進行了優化，相比於 Cairo，leanVM 憑藉四指令 ISA、多線性 STARK 和 logup 查找最大限度地降低了承諾成本。

ChainCatcher 消息，ZKM 發布了新一代 zkVM(零知識證明虛擬機） Ziren（原 zkMIPS），透過 GPU 加速、分佈式證明架構、以及深度優化的約束系統，為零知識證明（ZK）系統在真實應用場景中的可部署性與擴展性打開了新空間。Ziren 實現核心證明提速 30 倍，聚合證明提速 15 倍，狀態準備時間從5分鐘到 30 秒的提升，並已在 GOAT Network 比特幣原生 zkRollup 項目中投入使用。Ziren 的命名靈感來自神話 "Siren" 的變體，代表著從幻象到現實的轉變 ------ 技術不再只是吸引，而是真正落地可用的承諾。Ziren 旨在成為主流開發者手中真正高效、可信、可部署的 zk 基礎設施，支持 Rust/C/C++ 程序證明生成，兼容完整以太坊Rust客戶端驗證，幫助開發者輕鬆構建可信任的零知識系統。

ChainCatcher 消息，据 The Block 報導，Polygon 聯合創始人 Jordi Baylina 和 Polygon zkEVM 背後的團隊已轉型為一家名為 Zisk 的獨立公司、據悉，相關的所有代碼和 IP 轉移到形式。根據 Zisk 的網站信息，該項目於 2024 年 5 月在 Polygon Labs 內部孵化，並於 6 月 13 日正式獨立，ZisK 將專注於低延遲、開源的 zkVM 證明技術。

ChainCatcher 消息，RISC Zero 宣布正式推出 zkVM 1.2 版本，引入了全新的"應用自定義"預編譜（Application-defined Precompiles）功能。該創新改變傳統預編譜模塊的架構模式，使預編譜功能能夠隨應用一同部署，而無需依賴 zkVM 內部的固定實現，提升了性能和靈活性。zkVM 1.2 版本使開發者可即刻將預編譜功能整合到應用中，無需系統更新，也不需要額外的協調工作，從而實現更快速、更高效的開發體驗。據悉，Automata 已集成 RISC Zero 的 RSA 預編譜功能，將其程序運行周期從 3900 萬降至 19.8 萬，實現了約 198 倍的成本降低。

ChainCatcher 消息，以太坊基金會研究員 Justin Drake 發推表示，以太坊基金會正在向 zkVM 投資數千萬美元，其中包括 zkRISC-V 形式化驗證、Poseidon 密碼分析以及 L2beat for zkVMs。

ChainCatcher 消息，a16z 發文稱對其 zkVM Jolt 的性能和可用性進行了多項改進，驗證器成本大幅下降，從 4 月份的幾 MB 的證明大小下降到約 200 KB，且還可以進一步減少至 25 KB；證明器有望加速 3 倍；支持 Rust 標準庫等。

ChainCatcher 消息， zkVM 的開發商 Nexus 推出 Nexus 網絡的首個測試版，這是一個開放的驗證器網絡。該團隊稱： "這是第一個基於零知識虛擬機的分佈式驗證器網絡，任何人都可以訪問。該網絡聚合了任何聯網設備的集體力量，從大規模 GPU 場到電腦或手機。我們的目標是將全世界的計算機聯合起來，形成一個單一的超級計算機，能夠證明互聯網的所有計算，從而解鎖可驗證的互聯網。"

ChainCatcher 消息，据官方消息，零知識證明軟體開發商 RISC Zero 正在與 Celestia 合作構建基於 zkVM 的 Blobstream 跨鏈橋"Blobstream Zero"。Blobstream Zero 將通過將 Celestia 的模組化數據可用性層與以太坊、Optimism、比特幣、Solana 等連接起來，允許 Rollups 和應用程序 ZK 證明和驗證 Celestia 的數據可用性（DA）在任何鏈上的有效性。Blobstream Zero 將在所有主要鏈上進行鏈上驗證，從以太坊開始，逐步向 Optimism、Arbitrum、Solana 和比特幣擴展，未來幾個月還將推出更多功能。Blobstream Zero 還將允許應用程序將其執行 ZK 證明與遞歸 DA 輕客戶端證明和包含證明組合起來，以優化現有和新的用例。