STA:分形式扩容：从 L2 到 L3

摘要

递归证明为新颖的、令人惊喜的设计带来了许多可能性

引入 L3 概念，即在 L2 上递归构建的应用专用层 (application-specific layer)

L3 为应用程序提供特定的服务需求，例如超高可扩展性、对技术栈和隐私更好的管理

目前作为 L2 解决方案为用户提供服务的 StarkEx 将迁移到 L3

StarkNet 的独立实例也将作为 L3 提供服务

为什么需要 L3?

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

OKX杠杆将下架AKITA/USDT、CVC/BTC等杠杆交易对:金色财经报道，据官方公告，OKX将对流动性差的杠杆币对进行下线处理。具体下线计划如下：AKITA/USDT（北京时间2023年5月29日15:00）、CVC/BTC（北京时间2023年5月29日17:00）、OMG/BTC（北京时间2023年5月30日14:00）、EGLD/BTC（北京时间2023年5月30日16:00）、CEL/USDC（北京时间2023年5月30日18:00），以上币种全部于2023年5月19日14:00停止借币功能。欧易将于上述下线时间暂停相关币对的杠杆交易及活期借贷服务，并撤销杠杆交易市场订单。每个币对下线所需时间约为1小时。[2023/5/18 15:11:25]

L2 通过降低每笔交易的 gas 成本来提高可扩展性，并提高了交易速率。同时，L2 保留了去中心化、通用逻辑和可组合性的优点。然而，一些应用程序可能需要某些特殊定制的功能，这由一个新的和单独的层来提供服务可能会更好：L3 来了！

zkLink将于5月11日开启用户资金灾难逃离测试Dunkirk:5月4日消息，基于零知识证明的多链交易基础设施 zkLink 将于北京时间 5 月 11 日 12:00 开启 zk 领域用户资金灾难逃离测试Dunkirk。zkLink 将关闭服务器模拟真实环境下运营人员全部消失或服务器宕机，并邀请第三方运行恢复程序，用户可通过恢复程序取回 zkLink 中的测试币。zkLink 希望通过该测试定义一个新的用户资金安全行业测试标准。这将是 zkLink 主网前最后一次用户激励测试活动。[2023/5/4 14:41:57]

L3 与 L2 的关系就像 L2 与 L1 的关系一样。只要 L2 能够支持验证者智能合约 (Verifier smart contract)，L3 就可以通过有效性证明 (validity proofs) 来实现。当 L2 也使用提交给 L1 的有效性证明时 (如 StarkNet 所做的那样)，这就变成了一个极其优雅的递归结构，因为 L3 所获得的可扩展性将等于 L2 交易压缩证明扩大的容量乘以 L3 交易压缩证明扩大的容量。换句话说，假设每一层的成本降低了 1,000 倍，那么 L3 可以在 L1 的基础上将成本降低 1,000,000 倍 —— 同时仍然保持 L1 的安全性。

以太坊Kaustinen测试网现已再次上线:3月10日消息，以太坊 Kaustinen 测试网现已再次上线，这是 PoS verkle 测试网，取代 Condrieu 测试网，这次使用符合新共识规范的区块证明。

以太坊基金会 Go-ethereum 核心开发者 Guillaume Ballet 于 1 月 27 日表示，新的 PoS verkle 测试网包括区块证明，Kaustinen 是芬兰的一个城市，其邮政编码与 Condrieu 相同，取代了 Condrieu 测试网。[2023/3/10 12:54:40]

想象一下，用户交易只需要花费一点点 gas 成本！

L3 的主要优点有：

1. 超高可扩展性：利用递归证明的乘法效应

2. 应用程序的设计者能够更好地管理技术栈

在zkSync上部署Uniswap V3的提案获得通过:金色财经报道，据相关页面信息显示，在zkSync上部署Uniswap V3的提案已结束。超4000万票赞成，预计将在4-6周内完成部署。

根据提案，尽早部署Uniswap将“巩固Uniswap作为第一大DEX和思想领袖的地位”。它应该有助于Uniswap建立先发优势。更重要的是，Uniswap DAO 治理将留在以太坊L1上。zkSync将使用L1

图 1：一个多层的生态系统

图 1 描述了这种生态系统模型的例子。其 L3 中包括：

1. 使用 Validium 数据可用性方案的 StarkNet，例如，供那些对定价极其敏感的应用程序普遍使用。

2. 为实现更好的应用程序性能而定制的应用专用型 StarkNet 系统，如，通过使用指定的存储结构或数据可用性压缩。

3. 具有 Validium 或 Rollup 数据可用性解决方案的 StarkEx 系统 (如为 dYdX、Sorare、Immutable、DeversiFi 提供支持的系统)，它们可以立即为 StarkNet 带来经过战场测试的可扩展性优势。

4. 提供隐私交易服务的隐私 StarkNet 实例 (在这个案例中也作为 L4)，且不需要将这些交易包含在公共 StarkNets 中。

图 2 描述了 L2 的典型基础架构，包括下列几个组成部分：

1. 一个在 L1 上追踪 L2 状态根的智能合约 (如，以太坊上的 StarkNet 智能合约)。

2. 在一个基于有效性证明的 L2 中，需要一个验证者智能合约来验证状态转移证明的有效性。

3. L1 上的桥接合约，用来管理 L2 上的存取款交易。

4. L2 上的代币合约，对应于 L1 代币合约 (如一些 ERC20 和 ERC 721 代币合约)。

图 2：L2 的构成

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

图 3：L3 的构成

L3 可以带来超高的可扩展性、更好地管理各种需求的技术堆栈、实现隐私交易等，同时又维持由以太坊 (L1) 提供的安全保障。它所采用的递归概念可以扩展到分形多层解决方案的附加层中。

目前作为 L2 解决方案运行的 StarkEx 将会迁移至 L3。此外，StarkNet 的实例将作为 L3 为用户可用。

感谢 Polynya 和 Alex Connolly (Immutable) 对本文的评论和校对。特别感谢 Pierre Duperrin (Sorare) 的宝贵见解。

来源 | StarkWare

作者 | Gidi Kaempfer

标签：STASTARKARKSTARbitstamp交易平台怎么StarkNetSTARKSAFESTAR价格

XMR热门资讯