关于 Lighter
Lighter (LIT) 是一个专注于性能的去中心化交易二层协议的原生代币。该协议利用零知识证明、可验证撮合和基于以太坊的结算,为 DeFi 市场提供抗审查和 MEV 保护的执行环境。
Lighter 是一个为高性能去中心化金融(DeFi)而设计的 Layer 2 Rollup 协议,通过应用专用的零知识证明,提供可验证且低延迟的交易体验。其架构通过实现公平排序、时间优先撮合以及基于 zk-SNARK 的验证,解决了通用 Rollup 的关键局限性,包括抢先交易和最大可提取价值(MEV)。Lighter 能够处理基于订单簿的复杂市场,包括永续合约和现货市场,同时通过以太坊实现信任最小化的保障。
Lighter 的架构包括分工明确的排序、证明、数据聚合和退出安全模块。它通过 Escape Hatch 机制实现无需信任的资金恢复,同时利用数据 Blob 和分层聚合电路,高效压缩与验证交易活动。Lighter 以可扩展性为设计初衷,还支持可编程的多步骤指令、数据压缩及模块化应用,如借贷和预测市场。
LIT 是 Lighter 协议的原生代币。虽然该协议高度侧重于技术和架构设计,LIT 代币的实用价值预期涵盖如下几个方面:
- 协议内交易和交互的手续费结算
- 对排序者及证明者等协议参与者的激励
- 协议升级及参数的治理
- 未来去中心化场景下(如共享证明或流动性提供)的抵押或质押
LIT 将经济层与协议性能紧密对齐,作为交易、验证及网络参与的结算和协调资产。
Lighter 引入了一套优化用于可验证链上交易的互联系统:
- 排序器:低延迟引擎,以严格的价格-时间顺序打包并提交交易,支持复杂订单类型和市场集成。
- 证明者:为区块批次生成零知识证明,验证撮合、状态转换和账户更新的正确性。通过多层聚合高效压缩证明。
- 智能合约:管理用户资产、状态根承诺、证明验证及抗审查的资产退出。
- 见证生成器:将已提交的交易数据转换为 zk 电路的公开输入。
- Escape Hatch:一种加密机制,在协议失效或遭审查时,允许用户仅凭以太坊上发布的数据安全恢复资产。
所有批次和状态变更均通过数据 Blob 发布到以太坊。验证电路从区块生成到交易执行的每一步都进行核查。
- 状态树:类似 Merkle 的结构,存储账户余额、订单簿、提币意图、公共池数据及保险基金。
- 账户树:嵌套于状态树下,存储用户子账户的元数据、密钥、持仓和订单信息。
- 订单簿树:实现优化的前缀树,用对数复杂度管理订单撮合。
- 区块电路:为整个执行周期内的撮合逻辑生成 zk-SNARK 证明,涵盖执行前后的状态。
- 分层聚合电路:将多个区块证明压缩为单个可验证输出,提升性能并降低链上成本。
Lighter 支持可编程的指令栈,允许多步骤操作,如:
该设计使得金融逻辑可组合,为模块化增添借贷、抵押流转和结构化产品创造空间。
Escape Hatch 通过链上证明机制保护用户资金,即便在排序者不可用或作恶时,用户也能安全退出。它利用 Blob 数据和公开承诺验证用户状态,无需依赖链下参与方即可实现资产恢复。