来源：StarkWare作者：GidiKaempfer编译：ETH中文

摘要：递归证明为引入的新设计L3提供了可能性，这是在L2上递归构建的应用专用层。L3为应用程序提供特定的服务需求，例如超高可扩展性和私密管理。StarkEx将迁移到L3，同时StarkNet的独立实例也将为什么需要L3？

以太坊昂贵的交易成本使其成为L2结算层。我们和其他人都认为终端用户在不久的将来会在L2上进行大部分交易活动。因为那时L2上的交易成本将大大降低，并且会有更多支持DeFi工具提供更多流动性。

L2通过减少每笔交易的gas成本来提高可扩展性和交易速度。L2保留了分散、通用逻辑和组合的优势。然而，一些应用可能需要一些特殊的定制功能，这可能通过新的和独立的层次提供服务：L3来了！

L3与L的关系就像L2与L的关系一样。只要L2支持验证者智能合约，L3可以通过有效性证明实现L2提交给L的有效性证明。这变成了极其优雅的递归结构，因为L3获得的可扩展性将等于L2交易放大证明的容量。换句话说，假设每层的成本降低了1000倍，那么L3可以在L1上的基础上降低1000000，同时保持L1的安全性。

想象一下，用户交易只需要很少的gas成本！

L3的主要优点是：1. 超高的可扩展性：利用递归证明的乘法效应2. 应用程序设计师可以更好地管理技术堆栈： a. 性能和成本更具确定性 b. 定制数据可用性模型（例如，基于Validium或应用特定链上数据压缩） c. 更快的特性和技术更新速度（例如，引入尚未准备好的新功能）

3. 隐私：例如，在解决方案中使用零知识证明提供隐私交易服务。4. 更便宜/更简单的L2-L3之间的资金流是不需要经过L1和L2的。相反，当这些资金流应用于L3时，它们不仅会变得非常有吸引力，而且很容易实现。虽然在L2和L3之间的资产转移可能比部署在同一L2应用程序之间的延迟长一些，但成本和吞吐量相当。5. 更便宜/更简单的L3-L3互操作性：独立的L3将通过L2而不是L1实现互操作。显然，L2比L1更便宜。如果没有L3，所有方案都将被视为在L2上运行，并且必须通过昂贵得多的L1实现互操作。6. L3作为L2的测试网络：一些新的创新可能首先在L3上进行测试，然后在L2或L1向公众开放（类似于Kusama为Polkadot扮演的角色）。

多个L3和分形的多层解决方案：多个L3将构建在L2之上，另外可能会有额外的层次（例如L4等），形成分形式的多层解决方案。

图1：多层生态系统

图1描述了这种生态系统模型的例子，其中包括：1. 使用Validium数据可用性方案的StarkNet，例如，用于价格敏感的应用程序。2. 为实现更好的应用程序性能而定制的应用专用StarkNet系统，例如，使用特定的存储结构或数据可用性压缩。3. 带有Validium或Rollup数据可用性解决方案的StarkEx系统，例如，dYdX、Sorare、Immutable、DeversiFi等支持的系统可以立即为StarkNet提供可扩展性优势的战略测试。

4. 提供隐私交易服务的隐私StarkNet实例（在这种情况下也作为L4），无需将这些交易公开到公共场合中。

L3解决方案的组成部分：图2描述了L2基础设施的典型组成部分，包括：1. 一个智能合约（例如以太坊上的StarkNet智能合约），用于在L1上跟踪L2状态根。2. 需要验证者智能合约来验证状态转移证明的有效性，在L2上基于有效性证明的情况下。3. L1桥接合约，用于管理L2的存取款交易。4. L2代币合约，对应于L1的代币合约（例如，一些ERC20和ERC721代币合约）。

图2：L2的组成

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

图3：L3的组成

总结与致谢：L3带来了超高的可扩展性，更好地管理各种需求的技术堆栈，实现隐私交易，同时保持以太坊（L1）提供的安全保障。其递归概念可以扩展到分形的多层解决方案的附加层。

目前，作为L2操作解决方案，StarkEx将迁移到L3。此外，StarkNet的实例将作为L3对用户可用。

特别感谢Polynya和AlexConnolly（Immutable）对本文的评论和校对。特别感谢PierreDuperrin（Sorare）宝贵的见解。