Cysic 開源了其 Venus zkVM 引擎，將證明生成重塑為全球計算圖，並將 ZisK 定位在以太坊新興的 EIP‑8025 證明市場中。
Cysic 發布了 Venus，這是一個新的開源 zkVM 計算引擎，它圍繞全球計算圖而非傳統硬體抽象層重構了證明生成，將該公司的 ZisK 堆棧精準地置於以太坊新興的 L1 證明市場討論之中。Cysic 在 X 上宣布這一舉動時，將 Venus 描述為「建立在 ZisK 之上」，並表示該系統「放棄了傳統的 HAL 模型」，轉而採用基於圖形的整個證明管線表示。「這種範式轉變帶來了三個核心優勢：全球計算優化、減少無效數據移動，以及顯著提高 GPU 利用率，」該團隊寫道。
Venus 沒有將硬體後端視為一系列孤立的函數調用，而是將零知識證明生成編碼為一個明確的計算圖，該計算圖可以在 GPU、FPGA 和未來的 ASIC 之間進行端到端調度。Cysic 表示，這使得編譯器能夠「在核心邊界上重新排序指令並融合記憶體操作」，減少了 CPU 和加速器之間的記憶體抖動，並更好地匹配 MSM 和 NTT 操作的大規模並行特性。在內部測試中，Venus 引擎「與 ZisK 0.16.1 相比，端到端證明時間縮短了 9% 以上」，這主要是透過削減 CPU-GPU 同步開銷而非依賴原始硬體增益實現的。
Venus 的發布恰逢以太坊的 EIP‑8025 提案，該提案被稱為「可選執行證明」，它將使用 zkVM 為 L1 區塊驗證形式化一個多證明者模型。Cysic 在其解釋文件中指出，ZisK 是「在官方社群討論中明確點名的五個 zkVM 候選之一」，與 RISC Zero 和 openVM 等系統並列，並表示團隊已經能夠「使用 24 個 GPU 在 7.4 秒內完成以太坊區塊的證明生成」，達到即時目標。該項目「已在 Ethproofs 上線，使用單個 RTX 4090 提交以太坊區塊的即時證明」，並被列為 Ethproofs 的整合夥伴，因為生態系統正在走向 L1 證明市場。eips。
Cysic 將 Venus 視為一個更大堆棧中的軟體加速核心，該堆棧包括作為協議入口點的 ZisK zkVM、作為計算基礎的客製化 ASIC 硬體以及用於在證明者之間調度任務的 ComputeFi 網路。該團隊認為，「真正的問題不是原始計算不足，而是根本性的架構不匹配」，他們主張需要一個緊密集成的 zkVM、硬體和調度堆棧來超規模化以太坊計劃中的 zkEVM 路線圖。university。
