Cysic 正式開源 Venus，已列為以太坊 Ethproofs 整合合作夥伴

火星財經消息，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 證明市場核心賽道。