L2 原生 dApp 崛起

原文:A Thundering Herd: The Rise of L2-Native dApps

翻译:「StarkNet 中文」社区

释放 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 WarsInfluence)。

但是,区块链游戏到底能有多复杂?例如,直接在链上处理图形似乎不可能,或者真不可能吗?在智能合约中解决微分方程和模拟平面运动,代表了未来实现区块链物理引擎的重要一步,其意义巨大。想象一下像《反恐精英》这样的多人竞技游戏在链上进行。要是能把游戏逻辑搬到链上,许多令人厌烦的黑客将不复存在,玩家能尽情享受可证明的公平游戏。

生成艺术使用计算、随机性和其他数据来创造区块链艺术。艺术家可无需信任使用的逻辑和计算越复杂,诞生独特生成艺术作品的可能性越大。

未来什么值得期待?

有效性证明 Rollup,尤其是 Cairo 驱动的 StarkEx 和 StarkNet,创造了一个便于开发和运行消耗大量计算或见证数据的 dApp 环境。得益于分布式账本技术,我们预测 L2 原生 dApp 的未来无限精彩。

在具备可组合性、无需信任、去中心化的通用计算环境下,你打算创造怎么的未来?

Subscribe to Starknet 中文
Receive the latest updates directly to your inbox.
Mint this entry as an NFT to add it to your collection.
Verification
This entry has been permanently stored onchain and signed by its creator.