原文作者：Eric，Foresight News
从 8 月 20 日开始，拥有前 Citadel 量化团队背景的 perp DEX Lighter，其代币 LIT 持续创下新高。到 8 月 26 日，LIT 最高触及了 3.8 美元，较今年 3 月 30 日创下的 0.78 美元左右的低点，翻了接近 5 倍。
首先需要注意的一点是，目前 LIT 的流通量仅有总量的 25% 左右，团队和投资人的部分需要锁仓到 2026 年 12 月 30 日，LIT 目前的抛压仅来自于质押奖励，数量并不多。币价上涨阶段，用户质押的动力更强，也倾向于持有。
在有限的流通量下，LIT 的回购销毁力度也不小。据官方的仪表盘，目前回购的 LIT 数量已经达到 1730 万，占总量的 1.73%，占流通量的 6.92%。
7 月，我们在《与 Robinhood 一起跑马圈地，Lighter 正在下一盘大棋？》（https://foresightnews.pro/article/detail/98462）一文中结合了包括回购销毁机制、与 Robinhood 的合作等方面分析了 LIT 持续上涨的原因。除了这些业务层面的刺激因素，Lighter 在链层面也做出了独特的创新。
在 Lighter 之前，链上衍生品基本面临一个不可能三角。通用型 L2 如 Arbitrum 的手续费和延迟不适合高频挂单，dYdX v4 和 Hyperliquid 这类独立链一定程度上牺牲了安全性，而 StarkEx 式的混合订单簿依赖中心化撮合，存在审查和 MEV 风险 。
Hyperliquid 的自建 L1，用 HyperBFT 共识把撮合引擎直接跑在验证者集合里，换来亚秒级最终性和超过 20 万笔每秒的吞吐 。代价是安全模型完全靠自己，几十条验证者节点撑起整条链，跨链资产进出依赖桥。
Lighter 选了另一个方向。它是一条只为交易而生的 ZK Rollup，撮合、清算、风控全部封装在自研的 Lighter Core 里，用定制化证明引擎生成 zk-SNARK 证明，再把压缩后的状态提交到以太坊主网 。相比通用 zkVM，这个方案牺牲了通用性，换来的是证明速度、延迟稳定性和高频订单簿的执行效率 。官方给出的指标是撮合延迟低于 5 毫秒，单个区块可打包 2 万笔订单和撤单 。
据 L2BEAT 数据，作为一条独立开发，没有使用已有 ZK Rollup 堆栈的 L2，Lighter 的 TVL 超过了 11 亿美元，排到了第五位，仅次于 Base、Arbitrum、OP Maninnet 和 Mantle。
Lighter 的系统由三个角色组成。排序器按先进先出排序交易并提供软最终性，证明器为每个区块生成证明，以太坊上的智能合约托管用户资金、保存状态根并验证每一份证明 。
真正的差异化在于电路证明的内容。大多数 Rollup 只证明状态转换有效，Lighter 的电路把交易所规则本身编码成了 zk 约束。它用一种叫 Order Book Tree 的二叉前缀树结构，把价格时间优先原则编进叶子索引，证明复杂度只有对数级 。这意味着协议可以密码学证明最高优先级的订单先成交、资金费率封顶被正确执行、清算用了正确的公式。
这一点对永续合约尤其重要。杠杆仓位是保证金化的，清算是自动且机械的。如果你无法验证清算是否被正确执行，你就是在平台最没动力对你诚实的时刻选择相信平台。可验证清算不是营销话术，而是这套架构的核心意义 。
作为以太坊 L2，Lighter 继承了两样独立 L1 给不了的东西。
第一份是退出保障。如果排序器持续审查交易，用户可以直接在 L1 强制提交交易，超过 14 天未被处理，系统会冻结进入 Desert Mode，用户用链上数据重建状态并提交余额证明即可提款，全程不需要运营方配合 。L2BEAT 甚至实际复现过这套流程，从 L1 的 blob 数据重建了状态根并验证到链头 。所有构建证明所需的状态数据都发布在链上，这是逃生舱能成立的前提 。
第二份是流动性网络效应。Lighter 的资金托管在以太坊合约里，用户可以从 Ethereum、Arbitrum、Base、Solana 等多条链直接入金，还能复用 Aave、Uniswap 和以太坊稳定币生态里的资产，不需要复杂的跨链桥 。Hyperliquid 的可组合性则被限制在 HyperEVM 内部，无法直接调用以太坊上千亿美元级别的 TVL。
另外值得一提的还有 LighterEVM 的横向架构。核心交易引擎跑在定制 ZK 电路上，通用智能合约跑在并行的 zkVM 环境里，两者逻辑分离但可以原子共享状态。链上借贷协议再拥堵，核心订单簿的撮合速度也不受影响，开发者又能在 EVM 侧构建直接读取订单簿的结构化产品 。
就在昨天，Lighter 发文介绍其在验证系统方面的最新进展。过去一个月，Lighter 平均区块验证时间从约 5.3 分钟降至约 1 分钟，主要通过两项独立改进实现：一是「重 / 轻分解」，即根据交易复杂程度拆分验证电路，使占比超过 98% 的简单交易只需支付较低验证成本，此项改进使验证时间减半；二是与 Eigen Labs 联合举办的证明器优化竞赛成果，针对 Plonky2 证明器进行纯基础设施层面优化，首批成果已于 8 月 23 日上线，再次使验证时间缩短过半。
一个冷知识是，在代币化 RWA 刚刚开始兴起时，链上 RWA 资产最多的是 ZKsync。
原因只有一个：安全。
甚至直到今天，ZKsync 仍然能排在前十，高于 Arbitrum、Polygon、Base 这些纸面实力看似更强的链。ZK 证明的优势就在于其最终性虽然严格意义上还是需要等待以太坊主网确认，但其实在 L2 上就已经完成了交易可信度的验证。对于机构来说，哪怕比其他 L2 或者自建 L1 慢一点，哪怕成本高一点，也完全可以接受。
Lighter 相比于在 ZKsync、Starknet 这些通用 ZK Rollup 而言，甚至对比与基于这些通用 ZK Rollup 堆栈开发的专用 L2，最大的优势是把交易、清算等等的逻辑直接写进了电路里，加上以太坊主网级别的安全性，这种甚至比传统清算机构更安全的机制，让它完全有能力在卷上天的 perp DEX 市场站稳脚跟。
与 Robinhood 的合作就可见一斑。除了同样使用订单流付费和团队背景深厚，Lighter 所提供的机制使其在安全和合规上优势独特。市场愿意给这套架构溢价，逻辑是清楚的。对于想把永续合约卖给 Robinhood 用户、卖给传统金融机构的项目来说，「撮合规则写在电路里、资金安全由以太坊兜底」是一个能讲给合规部门和审计机构听的故事。
Hyperliquid 证明了性能可以来自共识，Lighter 正在证明信任可以来自证明。相比于其他 perp DEX 在运营和业务上绞尽脑汁，Lighter 走出了新的「路线」。
