跳到主要内容

Cysic Venus 开源 ZK 证明堆栈，使以太坊实时验证更具经济性

· 阅读需 13 分钟
Dora Noda
Dora Noda
Software Engineer

7.4 秒。这就是在运行 Cysic 全新 Venus 证明器（prover）的 24-GPU 集群上，为整个以太坊主网区块生成零知识证明（ZK proof）所需的时间。一年前，同样的任务需要 200 张高端显卡和 10 秒时间才能达到实时同步（real-time parity）。这一差距的缩小——在硬件成本降低约一个数量级的同时，突破了以太坊 12 秒的插槽时间（slot time）——是本季度加密基础设施中最静默的拐点。而这一切正值 Fusaka 的 PeerDAS 升级开启数据可用性（DA）闸门之际，使得证明生成成为了以太坊通往“百 Rollup 未来”之间唯一的瓶颈。

2026 年 4 月 8 日，Cysic 开源了 Venus，这是一个基于 Zisk 构建的硬件优化证明后端，而 Zisk 最初是由 Polygon Hermez 开发的 zkVM。此次发布并没有配合常见的代币解锁宣传，而是直接发布在 GitHub 上，并附带一份技术说明，声称比 Zisk 0.16.1 实现了 9% 的端到端改进，并邀请社区贡献。这种轻描淡写掩盖了真实的故事：ZK 证明已静默地从研究项目转变为商品化计算，而赢得未来两年的基础设施栈将不再是大多数 L2 团队目前正在构建的样子。

没人预料到的瓶颈​

三年来，以太坊的扩容争论一直集中在数据可用性（DA）上。Blobs、EIP-4844、PeerDAS、danksharding——路线图上的每一次讨论都假设，一旦以太坊能够廉价地发布 Rollup 数据，L2 将自动继承成本的降低。这一假设在 2025 年底悄然破灭。Fusaka 于 2025 年 12 月 3 日上线，随之而来的 PeerDAS 承诺每个区块提供 48 个 Blob，并开辟了通往每秒 12,000 笔交易的路径。在以太坊历史上，数据可用性第一次不再是系统的最紧迫约束。

新的最紧约束是证明生成。ZK Rollup 需要对其状态转换的有效性进行密码学证明。生成这些证明是昂贵的计算工作，发生在链下的专用硬件上。Optimistic Rollup 通过挑战窗口而非数学证明来解决争议，从而完全跳过了这一成本——这就是为什么顶级 ZK L2 目前的总锁定价值（TVL）约为 33 亿美元，而 Optimistic Rollup 已突破 400 亿美元。这个 12 比 1 的差距不是叙事问题，而是证明器经济学问题。

Succinct 的内部研究直言不讳地给出了计算结果。使用 SP1 Turbo 实时证明每个以太坊区块需要一个由 160-200 张 RTX 4090 GPU 组成的集群——每个证明集群的资本支出为 30 万至 40 万美元，并消耗电网规模的电力。任何想要运行自己证明器的 L2 都面临选择：要么将证明生成集中在少数负担得起该硬件堆栈的运营商手中，要么接受会破坏用户体验的数分钟证明延迟。两种选择都无法实现 Vitalik 自 2021 年以来一直描绘的“ZK 终局（ZK endgame）”。

Venus 的实际运作方式​

Venus 的意义与其说在于它本身，不如说在于它所代表的趋势。Cysic 并没有发明一种新的证明系统。底层的密码学源自 Zisk，它是 Jordi Baylina 和 Polygon 团队多年研究的成果。Cysic 所做的是重新构建执行层，使证明生成成为一个显式的计算图——一个可以在异构硬件上进行端到端调度的有向无环操作图（DAG）。

在实践中，这意味着主导早期 zkVM 的 CPU-GPU 同步开销在调度层得到了优化。证明器不会在分发下一个操作之前停下来等待 GPU 内核完成。由于计算图是预先确定的，因此数据移动、内存分配和内核启动可以实现流水线化。这就是比 ZisK 0.16.1 提升 9% 的原因——这不是多项式数学的突破，而是数学如何与硅芯片接触的工程胜利。

更重要的是，同样的计算图可以在 FPGA 上运行，并最终在 Cysic 专用的 ZK ASIC 上运行。该公司公开宣称其 ASIC 每秒可执行 133 万次 Keccak 哈希函数运算，比典型的 GPU 工作负载提高了一百倍，能效提高约五十倍。内部估计显示，单个定制的 ZK Pro 单元可以取代约 50 张 GPU，而功耗仅为后者的一小部分。如果这些数据在生产环境中得以维持，证明的经济模式将从租用装满 RTX 显卡的仓库转向运行由专用芯片组成的紧凑型机架。

亚 12 秒证明竞赛​

Venus 的出现并非偶然。在过去的 12 个月里，三个团队汇聚到了同一个里程碑：在定义实时验证的 12 秒插槽时间（slot time）内证明以太坊区块。

Succinct 率先公开实现了这一目标。2025 年 5 月宣布的 SP1 Hypercube 使用 200 张 RTX 4090 集群，在 10,000 个主网区块样本中实现了 93% 的实时证明。2025 年 11 月的修订版仅使用 16 张 RTX 5090 GPU 就将成功率提高到 99.7%——硬件成本在 6 个月内降低了约 90%。该系统目前已在以太坊主网线上运行，为每个挖掘出的区块生成证明。

Cysic 的成本数据则更为出色。使用 24 张 GPU 达到 7.4 秒，使得端到端证明在通用硬件上也能轻松保持在插槽时间内。目前的 Venus 版本是开源的，尚未经过生产审计，且仍在积极开发中。但工程轨迹表明，在消费级集群上实现亚 10 秒证明现在只是软件调优的问题，而非基础架构问题。

单次证明的成本也随之大幅下降。行业基准显示，使用 16x RTX 5090 硬件，目前每个以太坊区块证明的最佳成本约为 2 美分。大规模采用的目标是 1 美分以下。一年前，同样的证明成本接近 1 美元。三年前，这在经济上完全不可行——结算 Rollup 上的 Gas 费甚至支付不起证明器的电费。这就是那种会悄然颠覆整个产品类别的成本曲线，而且它正在加速。

市场大战已经拉开帷幕​

廉价、快速的证明并不意味着它会自动变得唾手可得。必须有人来操作硬件、匹配需求、为证明任务定价并结算支付。目前，三种不同的架构押注正在中间层展开竞争。

RISC Zero 于 2025 年 9 月在主网启动了 Boundless，运行着一个拍卖市场。GPU 运营商竞相生成证明，系统将工作路由至成本最低的合格证明者。该模型借鉴了 AWS Spot Instances 等现货计算市场，并承诺将证明成本推向边际硬件成本。Boundless 最近增加了比特币结算功能，允许 Ethereum 和 Base 的证明在比特币基础层上进行验证——这是 ZK 证明（ZK attestations）应用场景的一次小众但意义重大的扩张。

Succinct 的 Prover Network 则采取了不同的策略。它不采用纯粹的拍卖模式，而是运行一个路由协议，由经过批准的高性能证明者处理特定的工作负载。Cysic 作为多节点证明者运营商加入了该网络，运行针对 SP1 Hypercube 生产流量优化的 GPU 集群。这种安排表明 Succinct 看到了可靠性和延迟保证的价值，而这些是纯现货市场无法为面向用户的 Rollup 提供的。

Cysic 本身于 2025 年 12 月 11 日启动了主网和 CYS 代币，此后已处理了超过 1,000 万个 ZK 证明，并与 Scroll、Aleo、Succinct、ETHProof 等进行了集成。该网络的卖点是“ComputeFi”——将证明能力转化为一种流动的链上资产，运营商可以对其进行代币化和质押。这会成为第三大主流市场，还是沦为两大网络的供应商，是 2026 年悬而未决的问题。

为什么这对 Rollup 经济学至关重要​

在基础设施新闻之下，其核心意义在于实际 L2 的单位经济效益。如今，zkEVM Rollup 的每笔交易成本中有相当大一部分花在了证明生成上。这些成本要么作为 Gas 费转嫁给用户，要么由 Rollup 运营商作为利润空间吸收。无论哪种方式，它们都拉大了 ZK Rollup 与乐观 Rollup（Optimistic Rollup）在同等交易下的收费差距。

如果证明成本降至分钱级别，且证明延迟能压缩到以太坊的插槽时间（slot time）内，这个差距就会消失。ZK Rollup 不再需要收取安全溢价。用户体验将与乐观 Rollup 无异——除了提款结算仅需几分钟，而不是那仍对每个乐观桥（Optimistic Bridge）征收“摩擦税”的七天挑战期。

这种转变在结构上非常重要，因为大型机构流动性池仍将乐观 Rollup 的提款延迟视为留在 L1 的原因。具有市场驱动定价的实时 ZK 证明消除了反对 ZK 优先（ZK-first）Rollup 架构的最后一个功能性论点。每个目前使用乐观堆栈的 L2 团队都将在 2026 年面临严肃的技术审查。其中一些将会迁移，或者至少会为其排序器（Sequencer）发布一个 ZK 分叉版本。

哪些环节可能出问题​

Venus 版本的发布对其局限性表现得很诚实。代码尚未经过生产环境审计。在生产环境的 Rollup 中运行未经审计的证明者软件，一旦健全性漏洞（Soundness Bug）导致验证者接受了无效证明，这种决定可能会断送职业生涯。预计生产部署将比开源发布滞后数月，而非数周。

硬件层面也集中了风险。如果基于 ASIC 的证明能够实现承诺的 50 倍效率提升，少数制造商将像比特大陆（Bitmain）主导比特币挖矿一样，主导证明者硬件。这种动态违背了最初证明 ZK Rollup 合理性的去中心化叙事。Cysic 的 ASIC 路线图是对计算问题的回答，但对于谁拥有保护全球最大智能合约平台的芯片，这是一个全新的疑问。

最后，实时证明只有在堆栈的其余部分跟上时才有意义。通过 PeerDAS 进行的数据可用性采样需要在生产规模上真正发挥作用，而不仅仅是在测试网基准测试中。排序器去中心化仍然是所有主流 L2 面临的未决问题。证明对于最终目标是必要的，但并不充分，而且该行业有过在某一层宣布胜利，却悄悄掩盖相邻层崩溃的历史。

近期的拐点​

放大来看，模式已经变得清晰。2025 年 5 月，以太坊实时证明需要价值 40 万美元的 GPU 集群和九位数的研发预算。而到 2026 年 4 月，它可以在运行开源软件的 24 张通用显卡上运行。接下来的 18 个月将进一步压缩成本曲线——向 ASIC 经济性靠拢，向分钱级别的证明定价靠拢，向证明生成作为一种公用事业服务而非定制基础设施项目靠拢。

对于开发者而言，实际意义在于，2024 年在经济上不可行的基于 ZK 的架构现在值得重新评估。隐私保护交易协议、可验证 AI 推理、具有数学安全而非多签（Multisig）安全的跨链消息传递、具有零知识凭证披露的链上身份——所有这些此前都受阻于证明者成本墙，而现在这道墙已不复存在。

孤立来看，Cysic Venus 的发布只是对开源证明后端的一次小幅工程更新。但将其放在 Succinct 的 Hypercube 部署到主网、Boundless 运行实时证明拍卖以及 Fusaka 的 PeerDAS 清除数据可用性瓶颈的背景下——这是 ZK 基础设施停止成为约束并开始成为底座的转折点。在那次转型之前撰写的每一篇关于 Rollup 的论文都需要重写。

BlockEden.xyz 为包括以太坊 L2、Scroll 和 Aptos 在内的 27 多条链提供企业级 RPC 和数据基础设施。随着实时证明重塑 L2 格局，探索我们的 API 市场，为 ZK 原生时代构建可靠的基础。

来源：

Share on Twitter