Upgrade dasar ZK: Bukti optimis menuju akhir, keamanan Ethereum L2 memasuki era verifikasi bukti nol pengetahuan

2026 年 5 月 4 日，以太坊 Layer 2 网络 Base 宣布了一项被业内人士称为“L2 安全分水岭”的重大升级。通过与零知识证明基础设施公司 Succinct Labs 合作，Base 将 SP1 零知识虚拟机集成至其 Azul 升级中，为网络上约 74 亿美元的存款资产引入密码学级别的最终确认机制。这不仅意味着用户从 Base 提现回以太坊主网的等待时间将从最长 7 天大幅压缩至 1 天，更标志着以太坊 L2 生态的安全标准正在从“博弈信任”向“数学验证”发生结构性转变。

随着主网激活日期定于 5 月 13 日，这一事件正在引发关于以太坊 L2 安全模型、多证明架构以及去中心化路线的广泛讨论。

关键事实速览

74 亿美元资产的安全升级

Base 官方于 5 月 4 日宣布，将通过 Azul 升级引入由 Succinct Labs 开发的 SP1 零知识虚拟机，用于生成零知识证明。这一合作的核心在于，SP1 将证明 Base 上约 74 亿美元的存款资产，使该网络成为迄今为止采用 ZK 证明实现最终确认的规模最大的单一以太坊运营商。

Base 网络负责人 Wilson Cussak 在声明中表示：“随着网络规模的增长，对用户和开发者日常依赖的基础设施的强化需求也在同步增长。通过 ZK 证明扩展 Base，是深化网络安全性与韧性的重要一步。”

值得注意的是，Base 并未完全放弃其现有的乐观汇总架构，而是选择了混合路线——将 TEE 证明与 ZK 证明共同纳入多证明体系。Azul 升级已于 4 月 21 日在测试网上线，5 月 13 日将正式激活主网。为确保代码安全，Base 在 Immunefi 平台发起了审计竞赛，总奖池包括 175,000 美元的基础池和 25,000 美元的全明星池，比赛于 4 月 21 日开始，5 月 4 日结束。

从 OP Stack 依赖到独立架构的 ZK 转型

Base 的 ZK 转型并非孤立的单点决策，而是一系列技术与战略调整的延续。理解这一过程，有助于把握此次升级在整个 Base 发展轨迹中的位置。

2024 年至 2025 年：OP Stack 时期

Base 最初作为 Optimism Superchain 生态成员启动，使用 OP Stack 作为底层技术框架。在此架构下，Base 采用乐观汇总模型——默认假设所有交易批次有效，设有约 7 天的挑战期，期间任何人都可对可疑交易提出争议。这一模型以“等待质疑”为核心安全假设。

2026 年 2 月：脱离 OP Stack 转向统一代码库

Base 宣布将网络关键组件从 OP Stack 剥离，整合至自有统一代码库。自此后，节点运营商跟踪 Base 自身的发布版本而非 Optimism 的版本，网络升级频率从每年 3 次提升至 6 次。同时，Base 宣布将在后续硬分叉中推进从乐观证明向 TEE/ZK 证明的架构转型，维持 Stage 1 Rollup 状态，并为安全委员会新增独立签名人。

2026 年 4 月 21 日：Azul 升级上线测试网

Azul 升级正式部署到测试网，首次引入了多证明体系——结合 TEE 和 ZK 证明。新架构将 Base 的客户端栈统一为 base-reth-node 单一执行客户端和基于 Kona 的新共识客户端 base-consensus。升级后空块数量从每日约 200 个降至约 2 个，降幅达 99%；网络在测试网阶段处理了多轮 5,000 TPS 的交易突发。

2026 年 5 月 4 日：ZK 证明合作正式公布

Base 与 Succinct 的合作正式公开，SP1 将用于证明 Base 上约 74 亿美元的存款。

2026 年 5 月 13 日（预计）：主网激活

Azul 升级将在 Base 主网正式激活，标志着混合多证明体系进入生产环境。

时间线一览

多证明体系如何重塑 L2 安全模型

旧架构的安全假设与现实摩擦

在乐观汇总模型下，Base 默认所有提交至以太坊主网的状态批次均为有效。只有当有人在 7 天挑战窗口内提交欺诈证明时，系统才会对争议交易进行审查。这一机制的安全核心建立在两个前提之上：第一，至少存在一个诚实的验证者愿意且能够在规定时间内发现并提交欺诈证明；第二，挑战期的长度足以覆盖验证者发现和响应的时间。

现实中的摩擦在于——7 天的资金锁定期限制了资本效率。同时，挑战期的安全效能与网络规模之间存在非线性关系：资产规模越大、交易越复杂，单一挑战窗口的验证压力越集中。

新架构：TEE 加 ZK 双重验证

Azul 升级的核心设计是构建一个多证明体系，同时运行两条独立验证通道：

TEE 证明通道：由可信执行环境生成证明，属于许可式通道，具有处理效率高的特点。TEE 在硬件层面提供隔离执行环境，确保计算过程不被篡改。

ZK 证明通道：由 SP1 零知识虚拟机生成密码学证明，属于无需许可通道。SP1 基于 RISC-V 指令集，支持用标准 Rust 语言编写验证程序，编译为 RISC-V 后生成执行的 ZK 证明。开发者无需编写定制电路即可完成 ZK 集成。

两种证明均可独立完成交易提案的最终确认。当两者结果一致时，提现结算时间从 7 天大幅缩短至 1 天。当两类证明产生矛盾时，无需许可的 ZK 证明将覆盖许可式 TEE 证明——这一设计为系统提供了链上故障检测与处理能力，向 L2BEAT 定义的 Stage 2 去中心化迈出了关键一步。

SP1 的性能基础

SP1 在技术层面具备以下已验证指标：SP1 Hypercube 在 16 块 RTX 5090 GPU 配置下，能够在 12 秒内完成以太坊主网 99.7% 区块的零知识证明。SP1 还是首个对所有 62 个核心 RISC-V 操作码进行了完整形式化验证的 zkVM，该验证由 Nethermind Security 和以太坊基金会共同完成。

从生态采用看，SP1 已为超过 35 个客户生成了数百万个证明，覆盖 Polygon、Mantle、Lido 等协议，总覆盖资产约 40 亿美元。

架构对比一览

舆情观点拆解：ZK 是终局还是过渡？

围绕 Base 引入 ZK 证明，行业内外形成了多层次的讨论结构。以下梳理基于公开声明、社区讨论和技术社区分析。

支持方：ZK 是 L2 安全演进的必然方向

Succinct Labs 首席增长官 Brian Trunzo 将 Base 的决定描述为“ZK 证明是以太坊扩展最终形态的最大信任票”，认为这标志着市场开始将 ZK 视为扩展生态系统的战略方向。

以太坊联合创始人 Vitalik Buterin 此前已多次将 ZK-EVM 描述为以太坊区块验证的“终局”，预计这类系统将在 2027 年至 2030 年间成为主流证明方法。Base 的此次升级，在时间线上与 Buterin 的预判基本吻合。

从技术社区的角度看，乐观汇总依赖经济激励和诚实参与者假设，而 ZK 证明以数学确定性替代了这些信任前提。多位安全研究员指出，随着 L2 资产规模持续增长，纯粹的博弈论安全模型将面临边际效益递减——攻击者收益随 TVL 上升而增加，但防御者激励并未同步线性增长。

审慎方：混合架构的复杂性风险

并非所有行业参与者都对 Base 的路线选择全盘认可。部分技术分析指出，Azul 的多证明体系引入了 TEE 依赖——TEE 本质上是一种对硬件制造商的信任假设，与去中心化的核心精神存在张力。如果 TEE 出现安全漏洞或被攻破，依赖其独立运作的那部分验证逻辑将受到影响。

此外，ZK 证明的生成成本是一个不可忽视的现实约束。与乐观汇总“无事发生则不计算”的成本结构不同，ZK 证明需要在每次提交时都进行密码学计算。在以太坊 L2 费用已降至极低水平的当下，这部分增量成本由谁承担、是否会影响交易手续费，是尚未完全明确的问题。

社区层面：安全升级叠加治理争议

值得关注的一个背景是，Base 近期曾因资产获得关注的方式受到社区质疑。部分用户质疑某些项目是否获得幕后支持。Base 联合创始人 Jesse Pollak 就此公开回应，明确表示团队不会也永远不会参与价格操纵或私下协调推动特定资产，并指出此类行为可能越过法律界限。这一争议虽然与 ZK 升级无直接关联，但在一定程度上叠加了外界对 Base 安全升级叙事的审视——当一个网络的治理透明度受到质疑时，其技术安全升级所传递的信任信号也可能被部分稀释。

观点分布汇总

行业影响分析：L2 安全标准正在被重写

对 L2 竞争格局的结构性影响

Base 此次升级的行业影响，不应仅从单一网络的技术迭代角度理解，而应从 L2 安全标准的范式转移高度审视。

其一，设立了 L2 安全升级的新参照系。 在 Base 之前，部分 L2 网络已开始探索 ZK 证明集成——例如 Linea 将 ZK 证明生成延迟从约 30 分钟压缩至约 60 秒；Optimism 也已将有效性证明纳入路线图，并于 2026 年 2 月与 Succinct 建立战略合作。但 Base 凭借其 L2 中 TVL 最大的规模和 74 亿美元存款的证明覆盖量，将 ZK 验证的应用推向了前所未有的资产量级。这实质上为整个 L2 行业设立了一个隐含的安全基准：当行业最大的二层网络已将 ZK 证明作为核心安全组件，其他网络维持纯乐观汇总的安全叙事将面临越来越大的解释成本。

其二，加速了乐观汇总向 ZK 证明融合的趋势。 L2 行业正在经历一场从“乐观 vs ZK”二选一的路线之争，向“乐观加 ZK”融合架构的集体转向。RISE 等新兴 L2 也已采用乐观与 ZK 混合的欺诈证明系统。Base 的选择将进一步加速这一融合趋势。

其三，客观上推动了 L2 去中心化进程。 L2BEAT 的去中心化评级框架将 Stage 2 定义为“完全无需信任”——要求具备链上故障检测能力和足够长的退出窗口。Base Azul 升级中 ZK 证明可覆盖 TEE 错误的设计，直接回应了 Stage 2 对“链上检测证明系统错误能力”的要求。虽然 Base 当前仍处于 Stage 1，但此次升级为其向 Stage 2 推进提供了技术基础。

对以太坊 L1 与 L2 关系的影响

Base 的 ZK 升级也出现在以太坊主网与 L2 关系动态调整的大背景下。当前 L2 总 TVL 约在 323 亿至 430 亿美元之间。随着 L2 安全标准向 ZK 证明升级，L2 自身的治理与安全基础设施将变得更加复杂，L1 与 L2 之间的责任边界也将随之重划。以太坊研究社区正在讨论的 EIP-8025 提案和原生证明验证，旨在将 L1 共识层证明验证基础设施泛化为程序无关的通用层，这或将从根本上改变 L2 安全架构的设计范式。

结语

Base 通过 Azul 升级引入 SP1 零知识证明，在技术层面完成了从单一乐观证明向 TEE 加 ZK 混合多证明体系的架构转型；在行业层面，它为以太坊 L2 生态的安全标准演进设立了一个参照系。74 亿美元存款的密码学保护、提现从 7 天缩至 1 天的效率跃迁、ZK 可覆盖 TEE 故障的冗余设计——这些事实共同指向一个清晰的趋势：以太坊 L2 的安全基础正在从“博弈信任”向“数学验证”转变。

然而，这一转向并非终点。TEE 依赖的信任假设、ZK 证明的计算成本结构以及在真实主网环境中的长期运行表现，仍需要在后续市场周期中持续观察与检验。L2 安全不是在某一刻完成，而是在无数次架构选择、失败教训和持续迭代中逐渐接近理想状态。Base 的这一步，让整个行业离那个状态又近了一些。