释放 L2 的丰富计算潜力
概要
L2 原生 dApp 现在可以在不受传统 L1 Gas 限制的情况下蓬勃发展
简介
由于以太坊 L1 的区块 Gas 限制，去中心化应用（以下均简称 dApp） 开发人员一直面临着严重限制。它不仅限制了这些 dApp 的运作方式，也限制了这些 dApp 的功能。
L2 为 dApp 开发人员提供了一个全新的计算领域，没有 Gas 限制。我们相信，未来几年绝大多数 dApp 都将是 L2 原生：得益于无限的计算力，dApp 终将从 L2 诞生。
L1 Gas 限制塑造 L1 原生 dApp
以 AMM 和 DEX 聚合器为例。这两个 dApp 广受欢迎，但其设计终受 L1 Gas 限制。
自动做市商（AMM）本质上就是低 Gas 近似版订单簿交易所。L1 AMM 不允许用户下达和取消限价单、止损单或各种其他订单类型，而只允许与中央底层流动性池进行简单交换，以适应 L1 的密集计算成本。
理想情况下，DEX 聚合器需要访问所有可能的流动性池，甚至最小的流动性池，以便为用户带来最佳价格。然而，由于检索许多不同池的成本，根本不值得在 L1 上进行交易。只有当流动性池具有足够深的流动性时，访问池子并且支付相关的费用才合算。同样，如果清算折扣和交易费用之间的差异越小，借贷和其他基于抵押品的 dApp 清算才可以更准确。
许多 L1 的 dApp 功能和设计有限，其直接原因就是开发人员为了遵守以太坊的 Gas 限制，优化代码所致。你可能会问，为什么我们一定要说以太坊？Solidity 代码不是可以在许多 L1 甚至一些 L2 上运行吗？确实是的，但以太坊是其中最昂贵的（因此也是最安全的）的环境。Solidity dApp 专为“最昂贵的链”即以太坊而设计。因此，这些 dApp 没法充分利用便宜的运行环境所具备的计算优势。为了释放 dApp 为最昂贵的运行环境所设计而舍弃的功能，dApp 的代码必须要调整。
L2 原生 dApp 的崛起
有效性证明 Rollup（又称 ZK-Rollups）可以实现非常低成本计算。不同于其他任何扩展解决方案，有效性证明 L2 计算可以呈指数增长，而同时链上验证的 Gas 成本增长微乎其微。此外，有效性证明 Rollup 可不消耗额外 L1 资源情况下，处理计算输入，即"见证数据"。也就是允许多输入计算。
用 Cairo（一种通过 STARK 证明来扩展 dApp 的图灵完备语言）在 L2 上原生编码 dApp，为开发人员开拓了巨大的可能性。Cairo 让开发者能够使用之前无法使用的大量数据，如计算数据和见证数据。
一起来探究这样的 L2 原生 dApp，挖掘崭新、丰富的功能。
DeFi
dYdX 采用 StarkWare 的有效性证明 Rollup 方案 StarkEx 之前， 作为以太坊上的 L1 dApp 运行。dYdX 为其用户提供合成资产十倍杠杆交易，并且支持只有一种合成资产的头寸。Cairo 将 dYdX 重塑为 L2 原生 dApp，带来一个可扩展性更强、更便宜、更高效的 DeFi 平台。
- 预言机报价更新：这种更新通常要处理不同来源的几十种价格和签名，再计算出一个中位数。有效性证明 Rollup 为报价预言机逻辑（签名验证和计算中间价格）带来指数级扩展，且不需要向 L1 报告该见证数据。与 dYdX 在 L1 上的执行情况相比，每次报价预言机更新都要花费大约 30 万 Gas，因此预言机报价者集合频率和大小受限。
- 杠杆：精准报价保证 dYdX 可以实时估计头寸风险，从而为用户提高杠杆。由于改进预言机报价更新，dYdX 的杠杆率从 L1 的 10 倍提高到 L2 的 25 倍。
- 交叉保证金：通过 L2 上的 dYdX，做市商可以使用相同的抵押品对多种资产下多/空订单。dYdX L2 平均每笔结算涉及十多个不同合成资产的头寸！相比之下，L1 链上的 Gas 成本增加一倍以上才能实现这种交叉保证金功能。
游戏与生成艺术
目前的 L1 原生游戏通常在 L1 上存储游戏资产，而整个游戏逻辑是在可信的链外应用中实现。这种模式是 L1 上 Gas 限制的直接结果。由于 L2 上计算便宜，L2 原生游戏 dApp 开发者现在可以在智能合约中实现游戏逻辑，并以无需信任的方式调配游戏资产，而不仅仅是存储在链上。将游戏逻辑引入无需信任的计算领域，是迈向区块链游戏丰饶世界的重要一步。StarkWare 开发的无需许可网络 StarkNet上已经在开发 L2 原生游戏（如 Dope Wars 和 Influence）。
但是，区块链游戏到底能有多复杂？例如，直接在链上处理图形似乎不可能，或者真不可能吗？在智能合约中解决微分方程和模拟平面运动，代表了未来实现区块链物理引擎的重要一步，其意义巨大。想象一下像《反恐精英》这样的多人竞技游戏在链上进行。要是能把游戏逻辑搬到链上，许多令人厌烦的黑客将不复存在，玩家能尽情享受可证明的公平游戏。
生成艺术使用计算、随机性和其他数据来创造区块链艺术。艺术家可无需信任使用的逻辑和计算越复杂，诞生独特生成艺术作品的可能性越大。
未来什么值得期待？
有效性证明 Rollup，尤其是 Cairo 驱动的 StarkEx 和 StarkNet，创造了一个便于开发和运行消耗大量计算或见证数据的 dApp 环境。得益于分布式账本技术，我们预测 L2 原生 dApp 的未来无限精彩。
在具备可组合性、无需信任、去中心化的通用计算环境下，你打算创造怎么的未来？