递归证明提供了令人惊讶和新颖的设计选择。
介绍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
