L2BEAT 团队完成对以太坊 Layer2 去中心化交易平台 Lighter 的 ZK（零知识）电路审计，其“沙漠模式”（desert mode）紧急提款代码全面公开。用户现可自行重建电路、生成证明，无需依赖项目方即可将资产从 Layer2 提至以太坊主网。
在此之前，沙漠模式的源代码从未对外公开。一旦发生紧急情况，用户只能完全信任 Lighter 开发团队才能取回资金——这与去中心化的核心原则背道而驰。L2BEAT 的审计标志着这一局面的终结。
沙漠模式代码从闭源到开源
沙漠模式是 Lighter 设计的紧急退出机制，用于处理 Layer2 排序器（sequencer）下线或交易处理中断等极端情况。该机制依赖 ZK 证明来验证用户的提款请求，但此前其源码和编译流程均未披露。直到 2026 年 4 月，这套代码仍处于闭源状态。这意味着在紧急状况下，用户无法自行构造有效的 ZK 证明，资金可能长期被困在 Layer2 环境中。
经过严格审计后，L2BEAT 将完整的源代码和编译过程公之于众。任何感兴趣的人都可以运行 build_circuits.sh 脚本，在自己的计算机上独立组装所有电路层。最终生成的验证器智能合约与当前部署在以太坊 Layer1 上的活跃合约完全一致。这意味着即使平台完全关闭、开发团队无法介入，用户依然保有资金访问权。
用户自主操作流程
具体操作步骤：下载公开的代码库，执行脚本重建电路层，生成 ZK 证明，然后提交至以太坊主网的验证合约。整个过程不需要向任何第三方请求许可，也不需要项目方签名。L2BEAT 强调，紧急退出系统现已“自由运作”，核心成果正是消除了对开发团队的盲目依赖。
L2BEAT 的 ZK Catalog 数据库
L2BEAT 维护着一个名为“ZK Catalog”的专业数据库，通过智能合约真实性检查等技术手段，定期评估各 Layer2 网络的安全性和去中心化程度。沙漠模式代码的公开与独立验证能力，被纳入此数据库的评估范围。此次审计的结果意味着 L2BEAT 确认 Lighter 的紧急退出机制已达到更高的透明度标准。
Lighter 与 Layer2 安全设计
Lighter 是以太坊生态内专注于永续合约交易的去中心化平台。它利用 Layer2 网络提升交易速度和效率，底层安全依赖于链外解决方案。每一笔交易都经过 ZK 证明验证。沙漠模式作为最后一道防线，确保在 Layer2 失效时用户仍能安全退出。如今，这道防线已不再需要信任任何中心化角色。
L2BEAT 的第三方验证为 Lighter 用户提供了保证：在紧急情况下，他们有权在区块链上直接、无需许可地提取资产。这一进展展示了如何通过公开审计和技术透明消除 DeFi 领域的信任壁垒。Lighter 集成的独立审计 ZK 逃离电路为基于以太坊的 Layer2 解决方案的用户资金安全设立了新基准。预计将有更多项目仿效，提升透明度和用户自主权。