交易的未来是可验证的：ZK证明如何构建无与伦比的交易所

介绍：协调速度和安全性

链上交易的核心挑战一直是交易者所需的高性能与生态系统要求的去中心化安全性之间的固有权衡。目前的解决方案通常会牺牲一方来换取另一方。

这篇文章概述了一种新的模型 @Lighter_xyz，它利用以太坊的安全性和零知识 (ZK) 证明，正在解决这个问题。它能够实现交易所既快速又具有密码学可验证性的未来。

对于那些还没有听过 Lighter 最近 AMA 的人，请听一下 👇 Aug 20 Lighter AMA - 私人 Beta 版最终冲刺

架构：通过可验证计算继承以太坊的安全性

1. 以太坊 L1 作为信任根：所有用户资产都保存在以太坊主网上经过安全审计的智能合约中。这利用了世界上最大的去中心化安全预算进行托管，消除了与桥接到单独链相关的交易对手风险。

2. Lighter L2 作为性能层：一个专用层处理订单匹配、风险检查和清算的高频操作。这是实现低延迟和高吞吐量的地方。

3. 排序器和证明：排序器处理 L2 上的一批交易。至关重要的是，它不仅仅是将这些数据发布回 L1。相反，它生成一个 ZK 证明，证明批处理中所有操作的有效性。

4. 继承安全性：此证明发布到以太坊 L1 上的智能合约并由其验证。L1 合约仅接受附带有效证明的状态更新。这意味着 L2 的整个操作都由以太坊的共识机制强制执行。L2 不仅仅是借用安全性，它在密码学上继承了安全性。

5. 逃生舱：用户控制的安全网：此设计的一个关键特性是逃生舱机制。如果排序器受到攻击或离线，并且生成了无效的证明，则 L1 智能合约将拒绝它们。这意味着任何欺诈性的 L2 状态都会进入一个与以太坊和用户资金断开连接的“平行宇宙”。此外，如果 L2 长时间未能提交有效的证明，用户可以启动从 L1 托管合约的直接提款。这种抗审查的后备方案确保用户始终可以恢复其资产，即使在极端的故障情况下也是如此。

可组合性：成为值得信赖的 DeFi Primitive

此架构不会创建孤立的流动性孤岛。相反，它将 Lighter 建立为更广泛的以太坊生态系统中一个可验证且可组合的 Primitive。

由于其最终状态在以太坊 L1 上结算和验证，因此其他协议可以信任其输出。这实现了潜在的协同效应，例如：

• 借贷协议：以太坊上的借贷市场可以接受 ZK 证明，该证明显示用户的抵押品锁定在 Lighter 的 L1 托管中，允许将相同的资本用于贷款，而无需移动或桥接。

• 结构化产品：可以构建一个收益金库，自动为 Lighter 的订单簿提供流动性。金库的偿付能力和性能可以在链上进行密码学证明，从而创建透明、可验证的收益策略。

• 跨协议套利：套利机器人可以执行策略，包括在 Lighter 的订单簿和主网上的其他 AMM 上执行操作，并且知道整个原子交易的结算由 L1 保护。

这种模型将高性能交易所从一个独立的应用程序转变为一个更大的、互连的金融系统的集成组件，所有这些都由以太坊保护。

有关可组合性的更多详细信息/示例，请查看 @0xJaehaerys 下面的帖子 👇 懒惰桥接或即时桥接：可组合性和资本效率

推动者：用于高效验证的自定义 ZK 电路

该系统的可行性取决于自定义 ZK 电路的使用。

一个通用的 zkVM，旨在验证任何计算，会引入大量的开销。对于像交易所这样的专门应用程序，这是低效的。

Lighter 使用专门为其交易逻辑量身定制的自定义 ZK 电路。这些电路并非旨在证明任意代码的执行。它们旨在有效地验证一组特定的关键谓词：

• 订单匹配过程的完整性。

• 保证金帐户更新的正确性。

• 清算条件的有效性。

这种特定于领域的方法使证明生成快速且具有成本效益，从而能够实现功能性交易场所所需的连续、实时验证。系统不提交所有交易数据到 L1，而是仅提交一个很小的证明，证明遵循了基本规则。

结论：可组合、可验证且高性能

这不仅仅是一个新的交易所；它是 DeFi 的一个新 Primitive。通过在以太坊之上构建可验证的执行层，Lighter 创建了一个高性能的交易中心，该中心与 L1 上更广泛的生态系统原生可组合。

链上金融的未来是由那些提供卓越性能而不要求用户在安全性方面做出妥协的项目所构建的。该模型表明，两者不是相互排斥的，而是可以通过巧妙的密码学设计协同实现的。

非常尊重 @vnovakovski 和整个 Lighter 团队。大多数人还没有注意到它，但我 Proudly 在这里声明这才是交易的未来。

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