Lighter提现时间缩至16分钟，零知识证明系统提速5倍

Lighter提现速度一直在改善。7月中旬，一笔提现平均要等21到22分钟。到8月底，这个数字降到了16到17分钟。更关键的是，市场剧烈波动时提现也不会变慢——后台系统已经能轻松消化所有交易。

直接原因是：Lighter的零知识证明系统，在两个月内完成了一次大幅提速。

提现时间缩短的秘密

Lighter每笔交易——订单、清算、转账、存款、提现——都会异步生成一个零知识证明，用来验证交易的正确性。这些证明被汇总到区块中，再提交到区块链。用户提现的最终确认时间，取决于区块证明和聚合时间（基线），再加上交易高峰时形成的队列等待。

7月中旬，系统容量严重不足。平均每个区块证明时间约5.3分钟，溢出层每天被触发，经常运行数千个任务数小时，证明积压在1万到8万笔交易之间。提现速度因此被拉长到21分钟以上。

7月23日和8月23日上线的两轮优化，彻底改变了这一局面。平均区块证明时间从约5.3分钟降至约1分钟，提升超过5倍。提现最终性阈值提高了4倍以上，安静期下限从21分钟降至16分钟。

业务逻辑优化：区分轻与重

第一轮优化（7月23日上线）叫“Heavy/Light分解”，是业务逻辑层面的重构。

Lighter发现，超过98%的交易是简单的报价更新，只有不到2%导致实际成交。但过去，每笔交易都走同一个证明电路，消耗相同的计算资源。

团队将交易电路一分为二。轻电路覆盖简单交易所需的核心检查：nonce和签名校验、订单簿更新、单账户健康检查。重电路则处理匹配、清算、L1优先操作、转账等复杂交易。

两条电路独立证明，但通过状态跳转协议保持相同的安全性。占交易量98%的简单操作，只需走轻电路，证明时间直接减半。

证明器优化：来自竞赛的加速

第二轮优化（8月23日上线）来自一个公开的证明竞赛。Lighter与Eigen Labs、Yukon Research合作，发布了一个包含500笔真实交易的基准区块，任何人都可以提交对Plonky2证明器的优化方案。

参赛者贡献了多个方向的加速：Merkle树和Poseidon2哈希后端重写（约20%），并行重/轻链递归与NEON Goldilocks域算术（约10%），多项式算术和FFT优化（约10%），打包门评估（约15%），以及Metal GPU卸载。

第一轮竞赛优化上线后，每台机器的中位数区块证明时间从约133秒降至约59秒，再次减半以上。在测试中，一个500笔交易的区块从竞赛前生产代码的约187秒，降至30秒以下。

途中还有一个辅助性优化：8月10日，将Schnorr签名验证批处理为单个Plonky3证明，带来约20%的改进。

用户体验：更稳定、更可靠

优化最直观的效果体现在提现体验上。过去，市场波动导致交易量激增时，证明系统迅速积压，队列拉长，提现时间随之飙升。现在，同一集群的持续容量已超过历史最高负载，波动尖峰可以被吸收而无需等待溢出，队列保持接近零，提现时间维持在基线水平。

Lighter的执行和API层提供55毫秒的端到端p99延迟，日常交易的响应速度本身已经很快，瓶颈主要在于证明环节。

基础设施成本：Mac mini集群

Lighter的主要证明层是一组Apple Silicon Mac mini。这些机器单核性能强、内存带宽高，每笔证明交易的成本约为云ARM实例的一半。优化后，同一批机器就消化了所有负载，不再需要频繁调用昂贵的云溢出资源。

未来计划

剩余竞赛优化仍在生产中，预计再带来约2倍提升。加上已经实现的5倍以上提速，总提升将达到约10倍（相对于7月中旬）。竞赛获胜者将在未来几天内公布。

Lighter没有说明这些优化是否会开源，也没有披露提现最终性时间的目标值。以现在的速度，系统容量已远超历史最高负载，短时间内不会再出现证明积压导致提现变慢的情况。