表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於ziskvm
ZisK 是一個開源的零知識虛擬機（zkVM）堆疊，能夠驗證以 Rust 等高階語言編寫的程式的執行過程。它會生成簡潔的證明，證明程式正確執行，讓任何人都能在無須重新執行程式或檢視其輸入的情況下進行驗證。 其核心優勢在於效能。ZisK 透過提前（AOT）編譯技術，將 RISC-V 程式轉譯為最佳化的原生 x86_64 程式碼，並採用「最小跡線」兩階段架構，將記憶體與平行重新執行分離，從而實現 1.5 GHz 的 RISC-V 跡線生成速度，約為其他公開 zkVM 的 10 倍。這解決了跡線生成長期存在的序列瓶頸，大幅降低了即時證明過程中的延遲與硬體成本。 在過去六個月（2026 年 3 月至 9 月），ZisK 發布了 0.11.0 版本，新增 macOS 支援、GPU/CPU 傳輸最佳化、虛擬表整合，並將遞迴電路遷移至 PIL2。此外，透過第三方平台，瀏覽器內驗證也成為可行選項。該專案於 2025 年 6 月從 Polygon 分拆為獨立實體，核心 zkEVM 團隊繼續以 ZisK 名稱進行開發。該軟體仍在積極開發中，尚未達到正式生產就緒階段。
ZisK 於 2024 年 5 月至 2025 年 6 月在 Polygon Labs 進行孵化。2025 年 6 月 13 日，它成為一個獨立項目，所有智慧財產權及核心團隊轉移至 SilentSig Switzerland GmbH，由 Jordi Baylina 全資擁有。2025 年 6 月 18 日，Baylina 公開宣布分拆，七位 Polygon zkEVM 證明器核心開發者加入，而他則繼續擔任 Polygon 顧問。2026 年 6 月 19 日，ZisK 發布 v1.0.0-alpha，進入穩定階段，程式碼庫功能凍結，重點轉向安全稽核、形式化驗證與強化。此版本亦引入 BLS12-381 簽名驗證，最佳化 secp256k1/secp256r1 運算，並因近期針對 Poseidon2 的攻擊，將預設 Merkle 樹雜湊從 Poseidon2 切換為 Poseidon1。
在過去六個月中，ZisK VM（ziskvm）取得了顯著進展。2026年5月，v0.17.0版本發布，其特色包括分散式證明架構重新設計、新增供遠端客戶端使用的gRPC API、SDK統一（zisk-sdk 1.0）並公開完整的證明管線，以及完全符合zkVM加速器C介面規範。效能方面，將Keccak/SHA-256移至libc、新增arith256 API，並進行多項正確性與穩定性修復。2026年8月，團隊宣布v1.1.0-alpha版本，聲稱在四張RTX 5090 GPU上達到p99證明時間9.62秒，符合以太坊10秒的目標。未來重點包括進一步優化GPU、強化驗證，以及準備正式版本發布，同時持續進行安全性與正確性稽核。
Jordi Baylina：ZisK 的創始人兼技術負責人。Polygon 的聯合創始人，曾領導 Polygon zkEVM。早期的以太坊開發者，創建了 MiniMe 代幣和 LiquidPledging，審計了 Aragon 和 MakerDAO。目前專注於 ZisK 開源 zkVM，同時也是 iden3 的技術負責人。