火星财经消息，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 证明市场核心赛道。