X Layer 混合证明系统：用 ZK 守护乐观 Rollup 的安全底线
X Layer 已上线混合证明（Hybrid Proof）系统，将乐观提案机制与按需 ZK 证明相结合，在不牺牲出块效率的前提下大幅提升 L2 安全性。在正常运行下，提案者（Proposer）以乐观模式提交 Output Root，无需生成任何证明；当挑战者（Challenger）质疑某个提案的正确性时，系统进入证明窗口（proving window），提案者通过 SP1 zkVM 生成 ZK 证明进行自证。相较于纯交互式 Fault Proof 需要多轮链上博弈，混合证明将争端解决简化为一次性 ZK 验证，链上 Gas 开销与争端结算时间均下降一个量级以上。该升级已于 2026 年 5 月 6 日在 X Layer 测试网完成上线，挑战期从行业默认的 7 天缩短至 1 天。本文介绍 X Layer 混合证明的设计动因、工作机制与工程实现，并讨论其对开发者和用户的影响。
一、为什么是 Hybrid
主流 Rollup 在证明层有两条主要路径，各自具有清晰的优劣。Optimistic Rollup + 交互式 Fault Proof。交易默认被视为有效，依赖经济激励引导任何人在挑战窗口期内发起争端。这种方式无需为正常出块支付证明算力成本，运营开销极低。代价主要有二：一是 7 天挑战期使得提款最终性等待时间过长，跨链桥与流动性应用受此牵制，资本效率明显受损；二是争端解决依赖链上多轮交互式博弈（bisection game），单次争端可能需要数十次链上交互，Gas 成本与争端结算时间均不可控。ZK Validity Rollup。为每个区块同步生成有效性证明，状态在 L1 验证后即获最终性。代价是为正常出块持续支付昂贵的证明算力成本，并对 prover 节点的可用性高度敏感——若证明流水线掉队，区块将无法在 L1 完成 finalization，整链会感受到活跃度风险。Hybrid Proof 的核心思路是：在大多数交易并不会被挑战的现实下，让乐观路径承担"日常运行"的低成本与高吞吐，而把零知识证明保留为仲裁机制——仅在产生争议时才证明被挑战的状态转换，并以此即时结算争议。乐观路径不需要 prover 在线，ZK 路径不需要为每个区块付费。同时，相对交互式 Fault Proof，ZK 证明把多轮博弈压缩为一次链上验证，争端流程的 Gas 消耗与时间成本均显著下降。
二、三种证明机制的对比
维度 | Optimistic + 交互式 Fault Proof | ZK Validity Rollup | Hybrid Proof |
默认机制 | 假设有效，等待挑战 | 每块生成 ZK 证明 | 假设有效，争议时 ZK 仲裁 |
证明生成时机 | 仅在被挑战时（需多轮博弈） | 持续生成 | 仅在被挑战时（一次性 ZK 自证） |
出块期间证明算力成本 | 无 | 高（每块） | 无 |
最终性等待 | 长（7 天） | 即时（取决于证明产出） | 短（X Layer 为 1 天） |
争端 Gas 开销 | 高（数十次链上交互） | N/A | 低（一次合约验证） |
Prover 故障对活跃度的影响 | 无 | 直接影响 finalization | 仅影响争议结算，不影响日常出块 |
争议解决方式 | 链上多轮二分博弈 | N/A | 链上一次性 ZK 验证 |
三、混合证明的工作流程
X Layer 的混合证明流程围绕"提案者—挑战者"两个角色展开：1. 乐观提案。 提案者按照 OP Stack 原生路径，将 L2 的 Output Root 周期性提交至 L1 上的 dispute game factory 合约。提交时无需生成任何证明，Gas 与延迟与传统 Optimistic Rollup 一致。2. 挑战触发。 任何人都可以在挑战期内对某个 Output Root 发起 dispute game，质押对应保证金。一旦挑战发起，系统进入证明窗口，等待提案者自证。3. ZK 自证。 提案者在证明窗口内，通过 op-succinct + SP1 zkVM 对争议区间的状态转换函数进行重放，生成对应的 ZK 证明并提交到 L1。SP1 内部完成 OP Stack derivation pipeline 与 EVM 执行的可验证执行。4. 一次性结算。 L1 上的 dispute game 合约对 ZK 证明进行验证。验证通过则提案者获胜，挑战者保证金被罚没；若提案者在证明窗口内未能提交合法证明，则挑战者获胜，提案被回滚。整个争端解决在一次合约调用中完成，无需多轮博弈。由于争端解决依赖密码学验证而非交互式博弈，挑战期可以从覆盖多轮博弈所需的 7 天，压缩到仅需覆盖证明生成与验证工程冗余时间的 1 天。
四、op-succinct 与 SP1
X Layer 的 Hybrid Proof 基于 Succinct 团队开源的 op-succinct 框架。该框架将 OP Stack 的状态转换函数（含 derivation pipeline 与 EVM 执行）作为 SP1 程序运行，任意一段链上历史都可以被裁剪为 SP1 zkVM 中的一次确定性执行，并产出对应的有效性证明。op-succinct 提供两种部署模式。Validity 模式按 ZK Rollup 方式运行，每个区块都生成证明；Fault Dispute Game 模式则保留 OP Stack 原有的乐观运行流程，仅在 fault dispute game 被发起时才触发 SP1 证明生成。X Layer 选择的是后者，并将其作为 Hybrid Proof 的实现底座。证明系统采用 SP1——Succinct 自研的 RISC-V zkVM。以 Rust 编写的 OP Stack 状态转换函数被编译为 RISC-V 字节码后，在 zkVM 内一次性执行并生成 STARK 证明，最终包装为 Groth16 证明在以太坊 L1 上验证。为提升测试网阶段的证明效率，X Layer 同时启用了本地 GPU（CUDA）证明能力，挑战发生时可在自建集群上加速生成证明，避免对外部证明网络的强依赖。
五、X Layer 的实施细节
激活时间。 X Layer 测试网于 2026 年 5 月 6 日完成 Hybrid Proof 升级，相关合约部署完毕，fault dispute game 已切换至基于 op-succinct 的 ZK 仲裁实现。后续将根据测试网运行表现，规划主网迁移节奏。挑战期。 协议挑战窗口从 7 天调整为 1 天，覆盖了证明生成与验证的工程冗余时间，并显著改善了用户的提款体验。默认运行路径不变。 节点出块、批次提交、Output Root 上链等流程沿用 OP Stack 原生路径，sequencer、batcher、proposer 的工作方式不变，无需为正常运行付出额外的证明成本。证明算力仅在 dispute 触发时被调用。安全模型。 争端流程不依赖任何信任第三方——胜负完全由 SP1 证明在 L1 上的密码学验证结果决定。乐观路径的活跃度由提案者保障，安全性的最终底线由 ZK 证明系统兜底。
六、对开发者和用户的影响
对用户。 最直观的变化是从 L2 到 L1 的提款最终性等待时间，从 7 天压缩到 1 天。原生跨链桥的资金调拨与第三方流动性桥接体验都将相应改善。日常交易的费用与确认体验保持不变，仍按 OP Stack 原生节奏运行。对开发者。 跨链应用、做市策略与流动性管理工具可以基于 1 天最终性重新设计资金路径与对冲窗口，资本占用显著降低。智能合约层完全向后兼容，已部署在 X Layer 上的合约无需修改即可继续运行。RPC 接口与节点行为同样不变。对桥接服务商。 第三方流动性桥接（提供"快速提款"的服务方）通常以挑战期长度作为风险定价的关键参数。挑战期缩短意味着同等风险预算下，桥接的资金周转效率与定价空间均会改善。
七、总结
Hybrid Proof 不是把 Optimistic Rollup 与 ZK Validity Rollup 简单叠加，而是基于"绝大多数交易不会被挑战"这一现实事实，对两条路径在不同场景下的角色做了重新分工：乐观路径承担日常运行，ZK 证明承担仲裁。相比传统的交互式 Fault Proof，一次性 ZK 验证把争端 Gas 成本与解决时间都降到了一个量级以下；相比纯 ZK Validity，按需证明把日常运行成本压回了乐观路径的水平。X Layer 借助 op-succinct 与 SP1 在测试网完成了这一证明层升级，将挑战期从 7 天压缩到 1 天，在不增加日常运行成本的前提下显著提升了用户和应用层的资本效率。这是 X Layer 在底层架构上的第三次升级——从架构层的 Polygon zkEVM → OP Stack，到执行层的 geth → reth，再到证明层的 Optimistic → Hybrid。我们将持续跟进 op-succinct 与 SP1 上游的演进，并把测试网的稳定性数据作为主网迁移的依据。
代码仓库：okx/op-succinct（证明框架）
