L2之上的L3、L4，StarkWare的这个设想到底能否实现？

递归证明提供了令人惊讶和新颖的设计选择。

介绍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提供。