LighterEVM 与通用跨链保证金

LighterEVM & 通用跨链保证金

链上金融的格局目前呈现出一种根本性的架构分歧，尤其是在 CLOB 交易所的设计中。这种分歧不仅仅是功能上的差异，更是一种关于基础策略的冲突。一方面，像Hyperliquid和dYdX v4这样的单片式、特定应用的 L1 通过控制整个技术栈来追求高性能。虽然这种方法可以实现低延迟，但它也带来了巨大的代价：流动性碎片化、生态系统孤立，以及依赖于自身新兴共识机制而非经过实战考验的基础层的安全模型。另一方面是模块化 L2 的理论，这是 Lighter 所支持的策略。该模型利用以太坊作为全球结算和数据可用性层的无与伦比的安全性、去中心化和网络效应，将其视为一种可以利用的特性，而不是需要逃避的限制。

这种架构选择是经过深思熟虑的，并且深深植根于工程实用主义的哲学。正如 Lighter 的创始人 Vladimir Novakovski 挑衅地指出：

Vladimir Novakovski : 成为 L1 是一个 bug，而不是一个特性。L1 只是一个没有任何安全性和可验证性部分的以太坊 L2。你的结论可能是正确的，但方向相反。

该理论是协议的设计指导原则，该协议不是为了赢得短期的营销战，而是为了构建持久的、可验证的金融基础设施。

这种精神直接反映了该团队独特的 DNA。@Lighter_xyz 是“量化交易员和密码学家”罕见融合的产物，他们是在 Citadel 等精英公司进行高频交易 (HFT) 的高风险、零和世界的深厚第一手经验，以及在 ZK 密码学方面的开创性专业知识的集合。这种背景使得他们将重点放在核心工程和可证明的公平性上，而不是表面上的营销。该团队的方法是“首先解决难题”，在任何重大公开发布之前，花费 18 个月的时间“构建核心技术”。对于这个团队来说，可验证的价格-时间优先级——确保订单以公平和透明的方式匹配——不是功能列表上的一个要点；这是一个不可协商的原则，源于目睹传统和中心化加密金融的不透明且往往不公平的机制。

Lighter 的策略进一步通过两个强大的宏观趋势得到验证：

• ZK 复兴——ZK 证明从曾经的小众、有时“被误解的技术”成熟为扩展区块链而又不损害安全性的不可或缺的主流工具。新一波永续 DEX 越来越多地采用 ZK，凸显了其在构建下一代 DeFi 中的关键重要性。

• 以太坊通过 ZK 技术实现的积极扩展方法。以太坊基金会的路线图包括旨在显着提高基础层吞吐量的进展，可能会利用 ZK 证明作为其扩展策略的一部分。这种最终游戏愿景将以太坊本身定位为一个全球性的、可能经过 ZK 增强的结算层。

这种战略调整将 Lighter 定位为以太坊未来架构的原生公民，而不是临时的扩展解决方案。在这种情况下，从头开始使用 ZK 构建的 L2 有望继承和放大基础层改进的好处。相反，像 Hyperliquid 这样的 alt-L1，尽管具有集成 HyperEVM 等架构特性，但仍与整个以太坊生态系统的研发势头处于永久的竞争状态。

Lighter 的成功与以太坊的成功密不可分，从而形成了强大的长期战略顺风。这种基础性的调整使 Lighter 不仅能够以可验证的安全性实现高性能，而且能够与以太坊的庞大资本基础深度集成，从通用跨链保证金等资本效率创新开始。

通用跨链保证金 Universal Cross Margin

在系统能够统一外部资本之前，它必须首先证明自身的完整性。Lighter 的核心架构从第一性原理出发进行设计，以在不牺牲可验证性的前提下提供性能。该协议作为 ZK-rollup 运行，这种设计优雅地分离了执行和验证的功能。一个中心化的 Sequencer 负责低延迟、先进先出的交易排序，提供交易员所需的高频性能。但是，它的权力受到严格限制；它仅仅决定了顺序，而执行有效性在其他地方执行。每个状态转换——每个订单的下达、取消、交易和清算——都由 Prover 服务处理，该服务使用内部构建的专用 ZK 电路（自定义 ZK 电路）生成正确的密码学证明。

当前架构

该证明系统的核心是订单簿树，这是一种新型的、专门构建的数据结构，在 Lighter 白皮书中详细介绍。与对于订单簿操作效率低下的通用 Merkle 树不同，订单簿树是一种混合结构，它将价格-时间优先级直接编码到其叶子索引中。这使得匹配引擎能够以最佳效率找到并执行最高优先级的订单（仅需要单次叶子访问），从而使大规模证明整个匹配过程的公平性的关键任务在计算上可行。

整个系统通过一个关键的安全机制锚定到以太坊：即逃生舱。Lighter 定期将压缩状态数据（足以让用户重建其各自的帐户状态）作为数据 blob 发布到以太坊。如果 Sequencer 离线或未能处理在 L1 上提交的优先级请求，从而试图审查用户，则系统将进入紧急模式。在这种状态下，用户可以使用链上数据生成其帐户价值的 ZK 证明，并直接从 L1 智能合约中提取其资产，从而完全绕过 L2 运营商。这提供了独立的 L1 无法提供的无条件自我托管保证，因为它们是自己的最终仲裁者。

有了这种可验证的安全基础，Lighter 准备推出其在资本效率方面的下一个演进：通用跨链保证金。此功能将超越该协议当前的单一抵押品 (USDC) 模型，使交易者可以使用多样化的资产组合作为其永续合约头寸的抵押品。这不仅包括 ETH 和 WBTC 等基础 L1 资产，还包括来自更广泛的 DeFi 生态系统的更复杂的代币化头寸，例如 stETH 等流动性质押代币 (LST)，甚至流动性提供者 (LP) 份额或贷款协议头寸的表示形式。正如 Novakovski 解释的那样，关键创新在于能够使用

"Ethereum 生态系统中的任何资产... 原生地用作 Lighter 的抵押品"

让用户能够

"保留这些资产并进行交易。然后... 如果你被清算，那么只有到那时才会触及这些资产"

这激活了闲置资产，而无需强迫用户出售现有头寸或信任有风险的跨链桥。

• LST：交易者在以太坊 L1 上持有 stETH，赚取质押收益。他们不是出售 stETH，而是将其锁定在 Lighter 的 L1 智能合约中，并将其用作在 Lighter L2 上交易 SOL/USDC 永续合约的抵押品，同时继续赚取 stETH 质押收益。这会将被动的、产生收益的资产转化为活跃的交易资本。

• 与 Lending 的可组合性：交易者在 L1 上的 Aave 等借贷协议中有一个头寸（例如，aUSDC）。Lighter 的 UCM 可能会允许此头寸（或其代币化表示）用作抵押品。这将使交易者能够赚取借贷收益，同时使用该资金在 Lighter L2 上进行保证金交易。

• L1 的代币化池：相反，可组合性是双向的。Lighter 公共池（如 LLP 或自定义策略池）可能会被代币化为代表份额的 ERC-20 代币。然后，此代币可以存在于以太坊 L1 上，并在其他 DeFi 协议中使用，例如作为抵押品存入 Aave。

技术实现依赖于将这些外部资产集成到 Lighter 的状态验证中。L1 资产（或代币化的 DeFi 头寸）将被锁定在 Lighter 的专用以太坊智能合约中。这些锁定资产的状态在 Lighter 的状态树中注册，成为在整个状态根下表示的 L2 状态的一部分。至关重要的是，Lighter 现有的自定义 ZK 电路将扩展为包含和证明涉及这些其他资产类型的操作，从而确保与此抵押品相关的所有操作都是可验证的。生成的 ZK 证明证明了整个 L2 状态转换的有效性，包括锁定的 L1 资产的状态，随后由以太坊 L1 上的智能合约进行验证。

这种架构为涉及 L1 抵押品的清算提供了一个强大的机制。如果 Lighter 上的头寸抵押不足，则清算将发生在 L2 状态转换中。为此转换生成的 ZK 证明可作为 L1 合约在以太坊上验证后扣押锁定的 L1 抵押品必要部分的不可变的密码学授权。

• 清算示例（使用 LST）：交易者使用 L1 上锁定的 stETH 作为 Lighter L2 上 BTC 多头的抵押品。BTC 价格急剧下跌，导致该头寸抵押不足。清算发生在 L2 上。Prover 服务生成此状态转换的 ZK 证明。该证明已提交给 L1。Lighter 的 L1 智能合约验证该证明。成功验证后，L1 合约有权扣押一部分锁定的 stETH 以弥补损失。请注意，与 USDC 相比，使用 LST 等波动性更大的抵押品时，最大杠杆率可能会更低。

这创建了一个原子化的、跨层结算保证，而无需依赖外部预言机或桥接器来实现核心安全机制。它将历史上复杂且基于信任的过程转变为无需信任、可验证的过程，从而显着提高了资本效率，并将 Lighter 定位为以太坊生态系统中潜在的资本无关的保证金层。

LighterEVM

虽然特定应用的 Rollup 为其指定任务提供了无与伦比的性能，但它们有成为孤立的活动“孤岛”的风险，无法与更广泛的 DeFi 生态系统有效地组合。Lighter 应对这一关键挑战的解决方案是 LighterEVM，这是一个模块化的“zkVM sidecar”，旨在将通用智能合约功能引入 Lighter 生态系统，而不会影响其核心匹配引擎的性能。

LighterEVM

“Sidecar”架构是一种故意的选择，反映了一种专业化的理念。LighterEVM 计划作为一个 EVM 兼容的执行环境，与核心 Lighter 交换逻辑并行运行，而不是深入集成到其中。这种分离是关键。核心交易所仍然是一个超优化的、非 EVM 状态机，它使用为单一目的而设计的自定义电路构建：以最大效率执行和证明金融交易（如订单匹配和清算）。与此同时，LighterEVM 将处理任意的、通用的计算，适用于“借贷... AMM 或 NFT”等应用程序，这些应用程序需要效率，但可能不需要核心订单簿所需的极端优化。

至关重要的是，这个 sidecar 不是孤立的；它计划与核心交易所原子地共享状态，最有可能改变 Lighter 的现有状态，而不是维护一个完全独立的状态。

"如果我们不把它的运营结算到以太坊上，那么做一个 sidecar 就毫无意义了"

这意味着部署在 LighterEVM 上的智能合约可以，例如，从 Lighter 订单簿读取帐户的实时头寸，根据外部数据或复杂逻辑计算所需的精确对冲，并在核心交易所的 CLOB 上执行该对冲交易——所有这些都在单个原子 L2 区块中。此外，LighterEVM 交易的执行本身将被证明——很可能使用由外部、通用 zkVM 证明器（如 @SuccinctLabs 的 Succinct Prover Network）生成的 ZK 证明——并在以太坊 L1 上结算，继承与核心交易所完全相同的安全性和可验证性保证。

这种模块化设计与 Hyperliquid 的 HyperEVM 等竞争对手的单片架构形成鲜明对比。HyperEVM 将执行环境直接集成到其 L1 中，采用双块机制来管理性能争用。虽然这提供了紧密的集成，但它迫使在通用计算与核心交易所运营的最终性或性能之间进行权衡。

Lighter 的 sidecar 模型避免了这种妥协，将“快速通道”（核心交易所）与“慢速通道”（通用计算）分开，类似于传统金融中后台的运作方式。它反映了一个核心信念，即链上基础设施的未来不在于“无所不能”的链，而在于一个高度专业化、可互操作的组件网络。通过在架构上将专门的匹配引擎（由自定义电路证明）与通用 VM（可能由外部 zkVM 证明）分开，Lighter 提供了两全其美：特定应用设计的原始、可验证的性能和 EVM 的灵活可组合性，而不会为了后者而牺牲前者。

这种架构开启了一类新的“混合”金融产品，这些产品直到现在在 DeFi 中还不可行或不可能实现。将智能合约的表达能力与 TradFi 级别的中央限价订单簿的效率原子化地结合起来的能力是推进链上衍生品的关键目标。

• 结构化产品：开发人员可以在 LighterEVM 上构建复杂的结构化产品，如自动期权金库（当期权添加到 Lighter Core 时），从 Lighter Core 读取实时订单簿深度和波动率数据，并在 CLOB 上自动执行 delta 对冲交易，而无需任何延迟或跨链风险。

• 预测市场：构建在 LighterEVM 上的预测市场可以使用核心交易所的 CLOB 来有效发现价格和预测结果的流动性，而智能合约处理市场解决和支付的逻辑。

• 高级自定义池：LighterEVM 可以实现具有更复杂逻辑的自定义策略池，可能通过在 EVM 中验证的预言机来结合链下数据，或根据直接从 Lighter Core 的状态读取的市场情况执行算法调整。

这种集成弥合了 DeFi 的可编程性与更复杂的金融应用以及潜在的机构采用所需的市场效率之间的最终差距，从而为金融创新创造了一个强大的新设计空间。

结论

Lighter 的架构不是偶然的，而是一种经过深思熟虑的、以理论为导向的选择。它是一个团队的产物，该团队的高频交易背景要求可验证的性能，其密码学专业知识提供了实现它的工具，其战略远见将以太坊确定为安全性和可组合性的最终基础。该协议即将推出的功能，通用跨链保证金和 LighterEVM，不仅仅是补充；它们是这种核心理论的逻辑扩展，旨在将 Lighter 从一个高效的交易所转变为 DeFi 的资本和组合层的基本组成部分。

这个策略正当其时。随着以太坊本身执行其路线图，可能集成 ZK 技术并旨在显着提高扩展性，构建独立的 alt-L1 的主要理由——追求原始吞吐量——可能会减少。在这种新兴的范例中，成功的平台可能不是那些构建最高筒仓的平台，而是那些提供：

• 最强的安全保证，继承自经过实战考验的 L1。

• 与以太坊广阔的流动性海洋最深入的集成。

• 最强大、可验证的执行，由定制的 ZK 电路提供支持。

Lighter 正在为这个未来而构建。

• 原文链接： x.com/0xjaehaerys/status...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～