【英文长推】Lighter × Succinct：ZK 驱动的高性能合约与共享排序器愿景

Chainfeeds 导读：

该架构确立了清晰的分工：L1（以太坊） 作为安全的全球资产负债表，负责资本的存放；L2（Lighter）：作为高性能的执行层，负责风险管理；ZK 基础设施（Succinct）：作为密码学底层织网，可信地连接两者。

文章来源：

文章作者：

jaehaerys

观点：

jaehaerys：在区块链可扩展性的追求中，L2 叙事长期被桥这一比喻主导。用户若要进入高吞吐量、低成本的 Rollup 环境，必须将资产锁定在 L1，并在 L2 获得一个合成等价物。然而，这种模式衍生出了新的问题：流动性碎片化，以及一系列灾难性的跨链桥攻击 —— 这些攻击已成为去中心化金融史上一些最大的资金损失案例。对此，出现了一种新的替代思路：与其将资产转移到计算环境，不如仅将关于资产的可验证信息带到计算环境中。这个想法最初出现在 SuccinctLabs 的一次直播中，Gauntlet 创始人 Tarun Chitra 在思考 ZK 系统的未来时提出，他认为 ZK 协议能够让资产迁移更加自然高效。资产可以继续锁定在以太坊主网（L1），但通过零知识证明（ZKP），它们的效用可以在 L2 被安全验证并用作抵押。这样，资本的位置和功能就被分离开来：资产停留在最安全的环境 L1，而它们的价值被投射到高性能 L2 上，从而大幅提升资本效率。例如，用户的 stETH 或 Morpho Vault 头寸可以继续在 L1 产生收益，同时其价值证明在 L2 上作为抵押杠杆使用。这种模式不仅能降低跨链风险，还能推动跨层可组合性与安全互操作。 这一模型的落地依赖于 Lighter 与 Succinct 的结合。Lighter 是一个基于中心限价订单簿（CLOB）的永续合约去中心化交易所（Perp DEX），其核心架构选择是使用定制 zk 电路，而非通用 zkVM 或 zkEVM。这种设计让其加密系统专门针对撮合、风险引擎与清算逻辑进行优化，因此在验证特定交易功能时效率极高，避免了通用证明昂贵而缓慢的瓶颈。另一方面，Succinct 提供了 SP1 zkVM—— 一个基于 RISC-V 的虚拟机，支持完整 Rust 生态，能够高效编码复杂的应用逻辑，例如 DeFi Vault 的估值方法或清算引擎。此外，Succinct 还运行一个去中心化证明网络（SPN），这是一个由 GPU、FPGA，甚至未来 ASIC 驱动的竞争性证明生成市场，可以快速且低成本地产生所需证明。两者结合后，用户能够在不牺牲收益的情况下，将 L1 上的生产性资产用于 L2 上的杠杆交易。例如，用户在 L1 的 Morpho Vault 持续获取利息，而这些资产的价值证明则为 L2 的永续交易提供保证金。更进一步，该架构还能支持复杂 L2 策略的代币化，让它们在 L1 上以标准化的资产形式流通，比如原生 3x ETH 杠杆代币，可被用于 Aave 借贷等应用。这种模式不仅提升了资本效率，也丰富了跨层可组合性的可能性。 该架构的核心是 Escrow 合约与 Succinct 证明网络的协作。用户首先将 ETH、稳定币或生息资产存入以太坊 L1 的 Escrow 合约。Escrow 合约会触发事件，由 Succinct 证明网络接收并生成 SNARK 证明，证明资产确实已被锁定。验证合约在链上确认该证明后，Sequencer 才会在 Lighter L2 给用户的保证金账户入账。随后，L2 的状态承诺（订单簿状态、余额等）会被提交到数据可用层（DA）中，以便未来验证。整个流程中，资产从未离开 L1，安全性得到保证。更关键的是，当用户遭遇审查或 L2 出现问题时，可以通过逃生舱机制直接在 L1 提交退出请求。用户在 L1 上发起退出交易，DA 提供状态承诺与包含证明，Succinct 网络将该请求转化为证明任务并生成 SNARK 证明。若验证通过，Escrow 合约会强制释放资金，将资产直接返还用户。这一设计保证了无论 L2 出现何种情况，用户始终可以依靠 L1 的安全性取回资产。与传统 Rollup 的逃生路径类似，但在资产效用与抵押迁移的场景下，该模式提供了更灵活且抗审查的资金退出保障，进一步凸显了资本位置与功能分离的优势。【原文为英文】

内容来源