78 篇博文 含有标签「Layer 2」

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 原生时代构建可靠的基础。

来源：

• ZK 证明代码 “Venus” 发布，旨在大幅降低 L2 费用并扩展 Web3 - Morningstar
• Cysic 的 Venus zkVM 走向开源，以太坊关注证明市场 - crypto.news
• Cysic 创始人谈解决 ZK 硬件瓶颈 - DL News
• Cysic 已在 Succinct 证明者网络上线
• Succinct 推出 zkVM “SP1 Hypercube”，宣称实现以太坊实时证明 - The Block
• SP1 Hypercube 通过 16 个 GPU 实现实时证明
• Cysic 启动主网以打破 ZK 和 AI 瓶颈 - GlobeNewswire
• 以太坊 PeerDAS 与 L2 可扩展性的未来
• ZK 证明经济学：市场规模与未来预测 - Chorus One
• Boundless 解锁比特币结算与验证 - The Block

在Paradigm领投2.4亿美元融资、承诺打破EVM性能天花板三年后，Monad兑现了承诺。其公共主网于2025年11月24日正式上线，数据真实可信：每秒10,000笔交易、400毫秒出块时间、800毫秒最终确认——全部在完全兼容EVM的Layer 1上实现。硬核工程难题已经解决。但随之而来的是另一个截然不同的问题：当Coinbase的Base链以相对温和的2秒出块时间掌控41亿美元TVL、占据近一半L2 DEX交易量时，原始吞吐量还能赢得市场份额吗？

这个问题的答案不仅关乎Monad的未来，更影响整个并行EVM叙事的走向。

多年来，比特币极端主义者（Bitcoin maximalists）一直坚持认为 BTC 应该保持“数字黄金”的地位——一种不受智能合约复杂性影响的纯粹价值存储手段。这种叙事正在瓦解。在 2026 年，四种不同的 Layer 2 技术正同步汇合，为比特币带来了首个全面的可编程堆栈：Stacks 交付了具备比特币最终性的智能合约，Ark 通过虚拟 UTXO 重新构想了链下支付，Lightning 的月交易量突破 10 亿美元，而 StarkWare 则将零知识证明验证直接引入了比特币。它们共同代表了一种范式转移，可能会将开发者的注意力——以及资本——重新引向这个价值 1.4 万亿美元的 BTC 结算层。

以太坊（Ethereum）的二层（Layer 2）网络现在的交易处理量是主网的 12 倍。它们拥有超过 400 亿美元的锁仓资产。然而，尽管取得了这些成就，它们也制造了以太坊最危险的结构性弱点：一个由孤立经济体组成的群岛，在这里流动性被分割，用户体验被撕裂，而确保一切安全的主网从其生态系统中流动的价值中捕获的份额越来越少。

2026 年 3 月 29 日，在戛纳举行的 EthCC 上，由 Gnosis 联合创始人 Friederike Ernst 和零知识证明（zero-knowledge）密码学家 Jordi Baylina 领导的联盟揭晓了一项大胆的回应：以太坊经济区（Ethereum Economic Zone，简称 EEZ）。这是一个由以太坊基金会共同资助的 Rollup 框架，旨在让数十个独立的 L2 表现得像一个统一的系统——具备同步可组合性、共享流动性，且无需桥接。

如果每个以太坊 Rollup 都能在单次交易中与所有其他 Rollup 以及主网进行通信，且无需跨链桥、无需信任假设，会怎样？这就是以太坊经济区（Ethereum Economic Zone，简称 EEZ）的承诺。2026 年 3 月 29 日，Gnosis 联合创始人 Friederike Ernst、Zisk 创始人 Jordi Baylina 和以太坊基金会在戛纳举行的 EthCC 上正式揭晓了这一方案。

这一公告发布于一个关键的转折点。以太坊的分层扩展策略在技术上取得了成功 —— 预计到 2026 年第三季度，Layer 2 的总锁仓量（TVL）将超过主网 DeFi 的 TVL，达到 1500 亿美元，而 L1 为 1300 亿美元 —— 但它也造成了 Ernst 直言不讳所称的 “百座孤岛”。近 400 亿美元的价值被隔离在 60 多个互不相连的 L2 网络中，每个网络都有自己的流动性池、部署和跨链桥基础设施。

“以太坊没有扩展问题，” Ernst 表示，“它有的是碎片化问题。每一个带着自己的流动性池和跨链桥启动的新 L2，都是另一个围墙花园。”

以太坊主网在 2026 年第一季度录得 2.004 亿次交易，较上一季度激增 43%。活跃地址数爆发式增长 1,704%，达到 1,260 万。日交易量在 2 月 7 日达到 289.7 万次的峰值 —— 这是该网络历史上单日交易量的最高纪录。

然而，ETH 的交易价格比其周期高点低了 50% 以上。“恐惧与贪婪指数” 显示为 “极度恐惧”。CryptoQuant 的研究主管警告称，到 2026 年底，该代币可能会跌至 1,500 美元。

欢迎来到以太坊的采用悖论：该网络的繁忙程度前所未有，但相对于其底层的活跃度，该代币的表现从未显得如此疲软。对于任何试图在 2026 年评估区块链基础设施价值的人来说，理解这两个现实为何并存至关重要。

大多数以太坊用户从未听说过这条静静运行着比所有 Layer-2 加起来还要多验证者的链 —— 然而，在 2026 年 4 月 14 日，这条链将开启一个开关，可能会重新定义整个以太坊生态系统处理数据可用性的方式。Gnosis Chain 在 epoch 1714688 激活的 Fusaka 硬分叉将 PeerDAS (EIP-7594) 带到了一个拥有分布在 70 个国家的 300,000 多个验证者的网络中，使其成为以太坊主网仅在四个月前采用的一项技术在现实世界中最大的试验场。

此次升级正值关键时刻。Gnosis 不再满足于仅仅作为以太坊可靠的“金丝雀链”。通过新公布的以太坊经济区 (EEZ) 框架 —— 该框架由以太坊基金会亲自共同出资 —— Gnosis 正在定位成为一个原生集成的 Layer-2，旨在解决威胁到以太坊 Rollup 生态系统碎片化的严重问题。

一种挂钩美元的稳定币在市值上超越全球领先的智能合约平台，这在以前是不可想象的。2026 年 4 月，Polymarket 的博弈者认为今年发生这一情况的可能性为 57%。

Tether 的 USDT 市值为 1840 亿美元，而以太坊（Ethereum）维持在 2480 亿美元左右。两者的差距从未如此之小，而其发展轨迹也从未如此分化。在过去的五年里，稳定币市值增长了 600% 以上，而以太坊（ETH）的市值仅增长了 11%。这并非暂时的错位 —— 而是一种结构性的分歧，迫使人们思考一个根本性问题：加密货币究竟看重什么？

当全球最大的移动支付网络背后的公司决定在以太坊（Ethereum）而非专有链上构建时，其影响将远远超出单一产品的发布。蚂蚁集团（Ant Group）——支付宝的母公司，拥有超过 14 亿用户——已经上线了 Jovay，这是一个合规优先的以太坊 Layer 2，专为机构级真实世界资产（RWA）代币化而设计。随着测试网吞吐量达到 22,000 TPS，路线图目标直指 100,000 TPS，Jovay 代表了迄今为止最大胆的押注：即以太坊的结算层可以作为数万亿美元代币化资产的骨干。