Cysic 將其 Venus zkVM 引擎開源，將產生證明重構為全球計算圖，並把 ZisK 放在以太坊新興 EIP‑8025 證明市場的中心位置。
摘要

• Venus 將傳統硬體抽象層替換為對整個產證明流程的圖形化視角，使全球運算最佳化成為可能，並提升 GPU 使用效率。
• Cysic 宣稱，相較於 ZisK 0.16.1，其端到端產證明時間可提升超過 9%，做法是削減 CPU‑GPU 同步開銷，而非倚賴新硬體。
• ZisK 已在 Ethproofs 上上線，並在 EIP‑8025 的討論中被引用；團隊聲稱在 24 張 GPU 上可達 7.4 秒的以太坊區塊證明時間，並可在單一 RTX 4090 上進行即時產證明。

Cysic 已發布 Venus，一款新的開源 zkVM 計算引擎，它以全球計算圖而非傳統硬體抽象層的方式重組證明生成流程，並將公司的 ZisK 堆疊牢牢置於以太坊新興的 L1 證明市場辯論之中。Cysic 在 X 上宣布這一舉措時表示，Venus 是「建立在 ZisK 之上」，並說該系統「放棄傳統 HAL 模型」，改以對整個證明流程的圖形化表示來運作。團隊寫道：「這種範式轉變帶來三個核心優勢：全球運算最佳化、降低無效資料移動，以及顯著提升 GPU 使用效率。」

優先採用圖形的 zkVM 設計 {#graphfirst-zkvm-design}

Venus 並非將硬體後端視為一連串彼此隔離的函式呼叫，而是將零知識證明生成編碼為一個明確的計算圖，能夠在 GPU、FPGA 以及未來的 ASIC 之間進行端到端排程。Cysic 表示，這讓編譯器能夠「重新排序指令並在核心（kernel）邊界之間融合記憶體操作」，藉此減少 CPU 與加速器之間的記憶體失序（thrash），並更好地匹配 MSM 與 NTT 操作那種大規模並行的特性。在內部測試中，Venus 引擎帶來「相較於 ZisK 0.16.1 的端到端產證明時間提升超過 9%」，主要原因是削減 CPU‑GPU 同步開銷，而非依賴純粹的硬體增益。

通往以太坊證明路線的直連 {#direct-line-into-ethereums-proof-track}

Venus 的公告落在以太坊 EIP‑8025 提案之際；該提案名為「可選執行證明（Optional Execution Proofs）」，為使用 zkVM 來進行 L1 區塊驗證建立了多供證明者（multi‑prover）模型。在其解說中，Cysic 指出 ZisK 是「五個在官方社群討論中被明確點名為候選的 zkVM 之一」，與 RISC Zero 與 openVM 等系統並列，並表示團隊已能「使用 24 張 GPU 在 7.4 秒內完成以太坊區塊的證明生成」，達成即時目標。該專案「已在 Ethproofs 上線」，透過單一 RTX 4090 為以太坊區塊提交即時證明；而隨著生態系推進至 L1 證明市場，該計畫也被列為 Ethproofs 的整合夥伴.eips。

全棧 ZK 基礎建設佈局 {#fullstack-zk-infrastructure-play}

Cysic 將 Venus 定位為一個更大堆疊中的軟體加速核心：在協定入口處包含 ZisK zkVM、以自訂 ASIC 硬體作為計算基礎，並以 ComputeFi 網路在供證明者之間排程作業。團隊主張：「真正的問題並非原始運算能力不足，而是根本性的架構不匹配。」他們認為，需要將緊密整合的 zkVM、硬體與排程堆疊用於超規模（hyperscale）以太坊所規劃的 zkEVM 路線圖.university。