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表示，这使得编译器能够“对指令进行重排，并在内核边界之间融合内存操作”，从而减少CPU与加速器之间的内存抖动，并更好地匹配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、硬件与调度栈，以对以太坊计划中的zkEVM路线图进行超规模（hyperscale）扩展。university.