ZKM 正式發佈新一代 GPU 加速 zkVM, 並取名 Ziren：打造面向主流開發者的生產級 ZK 基礎設施
ZKM 正式發佈其 zkVM 的新一代版本 Ziren（原 zkMIPS），通過 GPU 加速、分佈式證明架構、以及深度優化的約束系統，為零知識證明（ZK）系統在真實應用場景中的可部署性與擴展性打開了新篇章。Ziren 旨在讓系統工程師、應用開發者與協議設計者，都能以主流語言構建高性能的 ZK 應用，真正將 ZK 從實驗室帶入主流開發實踐。
從 zkMIPS 到 Ziren：性能躍升，開發體驗升級
Ziren 是 zkMIPS v1.1.0 的全面升級，首次引入：
-
30× GPU 加速，大幅降低證明延遲；
-
分佈式網絡證明架構，支持並行計算與可擴展部署；
-
指令約束系統升級，指令模塊化、列使用優化、冗餘剔除；
-
工具鏈與開發體驗升級，在支持Rust的基礎上新增對C/C++的支持，Golang 即將上線；
-
關鍵安全修復與預編譯增強，實現與以太坊生態的原生兼容。
“Ziren 是第一個構建在正確基礎之上的、真正可擴展且對開發者友好的通用 zkVM。” ZKM 聯合創始人兼首席科學家 Ming Guo，“它已在 CPU 上證明領先性能，如今藉助 GPU 加速，我們將其推向新高度。如果你在尋找最優的 ZK 證明堆棧，Ziren 就是答案。”
除了技術全面升級，Ziren 的命名本身也蘊含寓意。作為zkMIPS的延續，“Ziren”靈感來自神話 “Siren” 的變體，代表著從幻象到現實的轉變 —— 技術不再只是吸引，而是真正落地可用的承諾。Ziren 旨在成為主流開發者手中真正高效、可信、可部署的 zk 基礎設施。
GPU 加速與分佈式證明並行：從性能到實用的跨越
Ziren 的核心證明流程已全面 GPU 化，性能提升顯著：
-
核心證明提速 30 倍
-
聚合證明提速 15 倍
-
bn254 轉換證明提速 30 倍
結合網絡化證明架構，Ziren 可將證明任務分發至多個節點並行執行，不僅顯著提升吞吐量，也增強了系統的去中心化可用性。這一架構非常適合模塊化區塊鏈、Rollup 和鏈間驗證系統。
約束系統優化
Ziren 對約束系統進行了系統性重構：
-
將指令級約束拆分為模塊化“芯片”（覆蓋 CPU、跳轉/分支、內存等）
-
通過優化數據結構，減少列（column）使用數量
-
移除冗餘或未使用的約束邏輯
-
精簡 ALU、MADDU/MSUBU 以及分支處理流程，提升執行效率
這些優化顯著降低了證明複雜度，提高了生成速度與系統穩定性。從zkVM的角度，MIPS產生的執行traces比RISCV短，有更好的指令效率(Instruction efficiency)，從而有利於提升證明效率。隨著 Ziren 的發佈，選擇MIPS這一路徑的優勢逐漸體現。
更好的開發體驗，從構建到部署更順暢
Ziren配套推出全新版本工具鏈（20250522），帶來多項開發者體驗提升：
-
集成 LLVM Patch，優化編譯流程
-
支持 C/C++ 靜態庫與 teq 指令修復
-
Rust toolchain 更加穩健，移除非標準hack
-
Golang 支持即將推出
此外，Ziren 支持以太坊原生簽名驗證，預編譯模塊現已支持完整 ECDSA 橢圓曲線簽名，在鏈上集成更加順滑的同時，也拓展了其可支持的應用場景。
安全性與穩定性修復（Stability and Security Fixes）
Ziren 對驗證器和電路執行流程進行了全面加固，具體包括：
-
修復 Plonky3 中的關鍵 FRI 隨機數漏洞
-
修正 Rust 驗證器中的 vk_root 校驗漏洞
-
優化指令執行邏輯與約束系統一致性
-
改進分片處理邏輯與程序計數器的行為管理
Ziren vs zkMIPS 1.0對比圖
所有更新共同提升了 Ziren 的安全性與一致性，使其更加適用於生產級環境的 ZK 證明需求。
向實時證明邁進：ethproofs.org 見證優化成果
在ethproofs.org上，Ziren展示了實時性能成果，實時證明近在眼前：
通過將虛擬機從 Revm 替換為 Reth，並並行提取賬戶狀態，搭配 debug_traceBlock，區塊狀態準備時間從 5 分鐘縮短至 30 秒以內。這大幅降低了各階段證明過程的延遲，使Ziren的性能更接近實時水平，為高頻ZK應用的落地打下堅實基礎。
已落地 GOAT Network：構建比特幣原生 zkRollup 的核心引擎
Ziren 已在比特幣原生 zkRollup 項目 GOAT Network 中投入使用，助力其在無需橋接或信任方的前提下，實現以太坊式可編程性，同時保留比特幣主網安全性。GOAT Network 是 BitVM2和BitVM3 路線上的重要實踐之一。
“當我們決定擴展比特幣時，需要的是從上到下都能信任的系統 — 不只是一些表層性能的堆疊，而是電路級別的穩定性與效率保障。” ZKM 聯合創始人兼CEO、GOAT Network 核心貢獻者 Kevin Liu表示， “Ziren 正是這種需求的產物，一個我們對每條證明都充滿信心的基礎設施層。”
構建你的 ZK 應用，從 Ziren 開始
Ziren 凝結了ZKM多年來對底層系統工程和零知識研究的深入打磨，不只是更開會，更是結構更優、體驗更好、應用更廣的 zkVM。無論你構建的是以太坊 DApp、比特幣 L2，還是跨鏈驗證系統，Ziren 都為你提供可信的計算基礎。
用 Rust 編寫，編譯為 MIPS，剩下的交給 Ziren。Build with confidence. Deploy without compromise.