ChainCatcher 消息，Cysic 官方宣佈開源圖優先（Graph-First）zkVM 證明框架 Venus。Venus 構建在 ZisK 之上，放棄將證明過程視為一系列孤立後端函數的傳統 HAL 模式，將整條 ZK 證明流程編碼為一張全局計算圖，解耦邏輯與硬件執行。

實測顯示，Venus 相比現有ZisK 0.16.1 端到端證明時間提升 9% 以上，CPU-GPU 同步開銷大幅下降，且兼容 GPU、FPGA 乃至 ASIC。

Cysic 已被列為 Ethproofs 集成合作伙伴，將直接作為以太坊 zkEVM 節點運行。Venus 所基於的 ZisK zkVM 採用定製指令集，是以太坊 EIP-8025 升級官方討論中明確列入候選的五大 zkVM 之一，Cysic 由此直接切入以太坊 L1 證明市場核心賽道。