zkvm

ChainCatcher 消息，a16z crypto 研究團隊今日發布開源 zkVM Jolt 的新版本 Lattice Jolt。該版本架構與此前版本相同，但將底層密碼學從橢圓曲線改為格，同時實現後量子安全性、證明者與驗證者速度提升 2-3 倍，以及證明大小低於 100 KB。Lattice Jolt 用基於 Module-SIS 假設的新多項式承諾方案 Akita 替換此前依賴橢圓曲線的 Dory，目標完整 128 位安全性。Akita 由 LayerZero 研究人員與工程師主導開發，並與卡內基梅隆大學、南加州大學以及 a16z crypto 團隊合作。在同一機器上，僅 CPU 的 Lattice Jolt 證明超過 200 萬 RISC-V 週期/秒，Apple Metal GPU 加速下超過 1000 萬週期/秒，證明者空間降至每週期約 200 字節。

ChainCatcher 現場報導，以太坊聯合創始人 Vitalik Buterin 在 2026 香港 Web3 嘉年華發表主題演講。他將以太坊定義為兩大核心功能：一是公共公告板，供應用發布消息與數據；二是由代碼控制的共享數字對象，涵蓋資產、NFT、ENS 及 DAO 等。他強調，以太坊的目標不是與高頻交易平台競爭速度，而是成為最安全、最去中心化、始終在線的可信鏈。短期路線圖方面，他介紹了帳戶抽象提案 EIP-8141，可原生支持智能合約錢包、抗量子簽名算法及隱私協議；量子抗性方面，目前已有哈希和格基兩種簽名方案，團隊正通過 EVM 向量化大幅提升其效率。他透露，ZKVM 已足夠快以證明實時 EVM 執行，今年目標是確保其安全性，計劃從小比例網絡開始部署，到 2028 年成為驗證鏈的主要方式，使以太坊在不犧牲去中心化的前提下大幅擴容。長期願景方面，以太坊正積極利用 AI 生成數學證明來形式化驗證軟件安全性，並追求完全量子安全、最大簡潔性確保平台安全不依賴於任何單一團隊的持續存在。

ChainCatcher 消息，据 The Block 報導，a16z Crypto 在一篇關於其 Jolt zkVM 的博客文章中，對某些開發者環境中 "ZK" 一詞的通俗用法提出批評。文章指出，大多數 zkVM 實際上並不具備零知識屬性，除非應用昂貴的 "包裝" 程序。作者還提到，"zk" 往往成為 "簡潔性" 的代名詞，即證明 "簡短且驗證快速"，而非真正的零知識隱私。隨著社區對隱私的關注日益增長，這種術語的誤用正成為一個真正的問題。a16z 的開源 Jolt zkVM 於週二推出重大升級，原生支持零知識證明。Jolt 使用了 NovaBlindFold 摺疊方案創建盲化證明以防止信息洩露，使其適用於隱私應用，升級後生成的零知識證明僅比原本非 ZK 證明增加約 3 KB。

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。