递归证明提供了令人惊讶和新颖的设计选择。介绍L3,应用程序特定层,在L2上递归构建。L3满足应用程序的定制需求,比如超可扩展性、更好地控制技术堆栈和隐私。目前为客户提供L2解决方案的StarkEx,将被移到L3。StarkNet的独立实例也可以作为L3使用。

为什么是L3 ?

以太坊交易的高昂成本正驱使它成为L2的结算层。我们(和其他人)相信,在不久的将来,由于交易成本的显著降低,对DeFi工具的支持不断增加,以及L2提供的流动性的增加,最终用户将在L2上进行他们的大部分活动。

L2通过降低每笔交易的 gas 成本和提高交易率来提高可扩展性。同时,L2保留了去中心化、通用逻辑和可组合性的优点。然而,一些应用程序需要特定的“裁剪”,最好由一个新的独立层提供服务:进入L3!

L3与L2的关系就像L2与L1的关系一样。只要L2能够支持验证者智能合约,L3就可以使用有效性证明来实现。当L2也使用提交给L1的有效性证明时,就像StarkNet所做的那样,这就变成了一个极其优雅的递归结构,其中L2证明的压缩收益乘以L3证明的压缩收益。换句话说,如果每一层的成本降低达到1000倍,那么L3 可以比 L1 降低 1,000,000 倍,同时仍然保持L1的安全性。

想象一下,交易只需要一小部分gas!

L3的主要优点是:

超可扩展性:利用递归证明的乘法效应。应用设计者更好地控制技术堆栈:

更确定的性能和成本,定制的数据可用性模型(例如,基于Validium或应用程序特定的链上数据压缩),更快的功能和技术速度(例如,引入尚未准备好全面可用的新功能)。

隐私:例如,零知识证明应用于公共L2上的保护隐私交易。更便宜/更简单的L2- L3互操作性:目前在L1和L2之间使用的On/off-ramp流是出了名的昂贵。相比之下,由于L2的成本效益,当这些流程应用到L3时,不仅非常有吸引力,而且易于实现。虽然在L2和L3之间移动资产的延迟可能比部署在相同L2上的应用程序之间的延迟要长,但成本和吞吐量是相当的。更便宜/更简单的L3-L3互操作性:独立的L3将通过L2而不是L1进行互操作。L2显然要比L1便宜。如果没有L3,这些都将作为L2工作,因此,必须通过昂贵得多的L1相互操作。L3作为L2的“金丝雀”网络:在L2或L3上向公众开放之前,新的创新可能会在L3上进行测试(就像 Kusama 在 Polkadot 中扮演的角色一样)。

L3和分形分层

多个L3会在L2之上。此外,对于分形分层解决方案,可以在L3之上建立附加层(L4等)。

图1:分层的生态系统

图1描述了这样一个生态系统的例子。其L3包括:

一个具有Validium数据可用性的StarkNet,例如,用于对定价极其敏感的应用程序的使用。为更好的应用程序性能而定制的特定于应用程序的 StarkNet 系统,例如,通过使用指定的存储结构或数据可用性压缩。StarkEx系统(如那些提供dYdX、Sorare、Immutable和DeversiFi的系统)具有Validium或Rollup数据可用性,立即为StarkNet带来了经过战斗测试的可扩展性优势。隐私StarkNet实例(在这个例子中也称为L4)允许保护隐私交易,而不将它们包含在公开的StarkNet中。

L3解决方案的构建区块

图2描述了包含以下组件的经典L2体系结构:

跟踪L1上L2状态根的智能合约(例如,以太坊上的StarkNet智能合约)。对于基于有效性证明的L2,验证者智能合约用于验证状态转移证明的有效性。L1上的桥接合约管理代币与L2之间的存取款。L2上的代币合约作为L1代币合约的对手方(例如,ERC20, ERC721)。

图2:L2的构建区块

图3:描述了L3和它的底层L2和L1之间的关系。通过在L2上实现状态跟踪和验证者智能合约,L3可以安全地运行在L2上。

总结

L3承诺了超高的可扩展性,更好地控制技术堆栈以满足各种需求和隐私,同时保持由以太坊(L1)提供的安全保障。它所采用的递归概念可以扩展到分形分层解决方案的附加层。

目前作为L2运行的StarkEx将被移到L3。此外,StarkNet的实例将作为L3提供。

Source:https://medium.com/starkware/fractal-scaling-from-l2-to-l3-7fe238ecfb4f