午方 AI 获悉，Cysic 正式宣布开源其图优先 zkVM 证明框架 Venus。该框架构建于 ZisK 之上，摒弃传统 HAL 模式，将整条 ZK 证明流程编码为全局计算图，实现逻辑与硬件执行的深度解耦。实测数据显示，Venus 相比 ZisK 0.16.1 版本端到端证明时间提升 9% 以上，CPU-GPU 同步开销显著降低，并兼容 GPU、FPGA 及 ASIC 等多种硬件环境。此外，Cysic 已被列为 Ethproofs 集成合作伙伴，将直接作为以太坊 zkEVM 节点运行。其底层 ZisK zkVM 采用定制指令集，是以太坊 EIP-8025 升级官方讨论中明确列入候选的五大 zkVM 之一，此举标志着 Cysic 正式切入以太坊 L1 证明市场核心赛道。