Cysic 的 Venus zkVM 开源，以太坊市场不容忽视

Cysic 开源其 Venus zkVM 引擎，将证明生成重新构建为全局计算图，并将 ZisK 定位于以太坊新兴的 EIP-8025 证明市场。

Cysic 发布了 Venus，这是一种新的开源 zkVM 计算引擎，它围绕全局计算图而不是传统的硬件抽象层重组证明生成，将公司的 ZisK 堆栈置于以太坊新兴的 L1 证明市场辩论中。 Cysic 宣布在 X 上采取这一行动时，将 Venus 描述为“建立在 ZisK 之上”，并表示该系统“放弃了传统的 HAL 模型”，转而采用基于图形的整个证明流程的表示。该团队写道：“这种范式转变产生了三个核心优势：全局计算优化、减少无效数据移动以及显着提高 GPU 利用率。”

图优先 zkVM 设计

Venus 没有将硬件后端视为一系列孤立的函数调用，而是将零知识证明生成编码为显式计算图，可以跨 GPU、FPGA 和未来 ASIC 进行端到端调度。 Cysic 表示，这使得编译器能够“跨内核边界重新排序指令并融合内存操作”，减少 CPU 和加速器之间的内存抖动，并更好地匹配 MSM 和 NTT 操作的大规模并行特性。在内部测试中，Venus 引擎“与 ZisK 0.16.1 相比，端到端验证时间提高了 9% 以上”，这主要是通过削减 CPU-GPU 同步开销，而不是依赖原始硬件增益。

直接进入以太坊的证明轨道

随着以太坊的 EIP-8025 提案（被称为“可选执行证明”）的发布，Venus 的公告正式确定了使用 zkVM 进行 L1 区块验证的多证明者模型。 Cysic 在其解释中指出，ZisK 是“官方社区讨论中明确指定为候选者的五个 zkVM 之一”，与 RISC Zero 和 openVM 等系统并列，并表示该团队已经可以“使用 24 个 GPU 在 7.4 秒内完成以太坊区块的证明生成”，满足实时目标。该项目“已经在 Ethproofs 上运行，使用单个 RTX 4090 提交以太坊区块的实时证明”，并且随着生态系统向 L1 证明 market.eips 迈进，被列为 Ethproofs 集成合作伙伴。

全栈ZK基础架构玩法

Cysic 将 Venus 框架为更大堆栈内的软件加速核心，其中包括协议入口点的 ZisK zkVM、作为计算基础的定制 ASIC 硬件以及用于跨证明者调度作业的 ComputeFi 网络。该团队认为，“真正的问题不是原始计算不足，而是根本的架构不匹配”，并认为需要紧密集成的 zkVM、硬件和调度堆栈来超大规模以太坊计划的 zkEVM 路线图。