如果我们可以构建 L2 协议锚定到 L1 ,以实现安全性并增加可扩展性,那么我们就可以构建 L3 协议锚定到 L2, 以实现安全性并在增加更多可扩展性?
在 layer 2 扩容讨论中经常再度浮现的一个话题是 “layer 3s” 的概念。如果我们可以构建一个layer 2 协议锚定到 layer 1,以实现其安全性以及增加其可扩展性为主要目的,那么我们当然可以通过构建一个“锚定到 layer 2 以实现安全性,并在其之上增加更多可扩展性”的 layer 3 协议来扩大其规模?
这个想法的一个简单版本是:如果你有一个方案,可以让你实现二次方增长,你能把这个方案堆迭在其自身之上并获得指数级增长吗?类似的想法包括我 2015 年的可扩展性论文以及在 Plasma 论文中提到的的 multi-layer 扩展等。不幸的是,如此简单的 layer 3s概念却没那么容易形成可行方案。由于数据可用性的限制、对紧急提取的 layer 1带宽的依赖或许多其他问题,设计中总有一些东西是不可堆迭的,并且只能给你一次可扩展性的提升。
围绕 layer 3s 的较新想法,如 Starkware 提出的框架,更加复杂:它们不仅仅是将相同的东西堆迭在自身之上,它们还为 layer 2 和 layer 3 分配了不同的用途。如果它以正确的方式完成,这种方法的潜在形式可能行得通 。这篇文章将详细介绍在三层架构中哪些可能有意义,哪些可能没有意义。
Rollups(请参阅我在此处的较长文章)是一种扩展技术,它结合了不同的技术来解决运行区块链的两个主要扩展瓶颈:计算和数据。计算已由“欺诈证明”或 SNARK等方式解决了,它们依赖于极少数参与者来处理和验证每个块,要求其他人只执行少量计算来检查证明过程是否正确完成。这些方案,尤其是 SNARK,几乎可以无限制地扩展;我们可以继续制作“许多 SNARK 的 SNARK”,以将更多计算缩减为单个证明。
Vitalik Buterin 2014年的历史肖像被作为NFT进行拍卖:金色财经报道,加拿大著名摄影师Andrew Miller宣布独家拍卖以太坊创始人Vitalik Buterin的首张专业且从未售出的肖像,该肖像被铸造成NFT。此次拍卖恰逢以太坊概念诞生10周年。拍卖将于 7 月 1 日在Manifold.xyz上开始,一直持续到7月30日,为收藏家提供了一个难得的机会来获得以太坊早期历史的一部分。起拍价为333 ETH。[2023/7/19 11:03:17]
数据不一样。 Rollups 使用一系列压缩技巧来减少交易需要在链上存储的数据量:简单的货币转账从 约100 字节减少到 约16 字节,在 EVM 兼容链中的 ERC20 转账从 约180 字节减少到 约 23 个字节,一个保护隐私的 ZK-SNARK 交易可以从 约600 字节压缩到 约80 个字节。在所有情况下大约有 8 倍压缩。但是 rollup 仍然需要在保证用户能够访问和验证的介质中使数据在链上可用,以便用户可以独立计算 rollup 的状态,并在现有证明者离线时作为证明者加入。数据可以压缩一次,但不能再次压缩 - - - 如果可以,那么通常有一种方法可以将第二个压缩器的逻辑放入第一个压缩器中,并通过压缩一次获得相同的好处。因此,“在 Rollups 之上的 Rollups ”实际上并不能在可扩展性方面提供巨大的收益,但是,正如我们将在下面看到的,这种模式可以用于其他目的。
好吧,让我们看看 Starkware 在他们关于 layer 3s 的帖子中所提倡的有什么。 Starkware 由非常聪明的密码学家组建,他们是理智的,所以如果他们提倡 layer 3s,他们的版本将比“如果 rollups 压缩数据 8 倍,那么显然 rollups 之上的 rollups 将压缩数据 64 倍”要复杂得多。 .
流动性激励解决方案Graviton与公链Sei达成合作:金色财经报道,公链Sei Network宣布与流动性激励解决方案Graviton建立战略合作伙伴关系,Graviton将帮助Sei提升开发能力并壮大其生态系统,Graviton团队将会被优先考虑获得Sei Network旗下5000万美元生态系统基金的支持。(福布斯)[2022/11/26 20:46:43]
这是 Starkware 帖子中的图:
引用几句:
上图描绘了这种生态系统的一个示例。它的 L3 包括:
1、具有 Validium 数据可用性的 StarkNet,如,常用于对定价极其敏感的应用程序中。
2、为获得更好的应用程序性能而定制的特定于应用程序的 StarkNet 系统,例如,通过采用指定的存储结构或数据可用性压缩来实现。
3、StarkEx 系统(例如服务于 dYdX、Sorare、Immutable 和 DeversiFi 的系统)具有 Validium 或 Rollup 数据可用性,立即为 StarkNet 带来久经考验的可扩展性优势。
4、隐私 StarkNet 实例(在此示例中也作为 L4)允许隐私保护类型的交易存在,而不将它们包含在公共 StarkNet 中。
我们可以将文章压缩为 “‘L3s’的三个愿景”:
L2 用于扩容,L3 用于定制功能,例如隐私。在这个愿景中,没有尝试提供“可扩展性二次方增长”;相反,堆栈中有一层可以帮助应用程序扩展,然后有独立的层来满足不同用例的定制功能需求。
DeFi项目Waves将Suterusu集成至Gravity协议:据官方消息,DeFi项目Waves宣布与隐私保护项目Suterusu(Suter)达成合作,后者将与Gravity协议集成,通过Suterusu的隐私保护DeFi功能形成一个联盟,进一步加强Gravity的区块链不可知数据和链间通信协议。
注:Gravity是一个无基础代币的预言机,具有跨链通信网络。[2020/8/22]
L2 用于通用扩容,L3 用于可定制化扩容。可定制化扩容可能有不同的形式:使用除 EVM 之外的其他东西进行计算的专用应用程序,数据压缩针对特定应用程序的数据格式进行优化的rollups(包括每个块中将“数据”与“证明”分开,并用单个SNARK替换证明)等。
L2 用于无信任扩展(rollups),L3 用于弱信任扩展(validiums)。 Validium 是使用 SNARK 来验证计算的系统,但将数据可用性留给受信任的第三方或委员会。在我看来,Validium 被严重低估了:特别是,许多“企业区块链”应用程序实际上可能最好由运行 validium 的证明者提供服务,并定期将哈希提交到链的集中式服务器来提供最佳服务。 Validium 的安全等级低于rollups,但可以便宜得多。
在我看来,所有这三个愿景基本上都是合理的。 专用数据压缩需要自己的平台的想法可能是最薄弱的主张 - - - 设计具有通用基础层压缩方案的L2 非常容易,用户可以使用特定于应用程序的子压缩器自动扩展,但除此之外,这些使用案例都是合理的。 但这仍然留下一个大问题:三层结构是实现这些目标的正确方法吗? 将验证、隐私系统和定制环境锚定到L2而不是仅仅锚定到L1有什么意义? 事实证明,这个问题的答案相当复杂。
Verofax完成Pre-Seed轮融资,Privity参投:Verofax Limited完成Pre-Seed轮融资,Privity FZ LLE参收购一部分股权。据悉,Verofax Limited是一家应用区块链构建创新溯源服务的初创公司。Privity FZ LLE是阿联酋专注于风险投资的独立咨询公司。(Scoop)[2020/7/6]
三层模型优于两层模型的一个可能论点是:三层模型允许整个子生态系统存在于单个rollup中,这允许该生态系统内的跨域操作可以非常便宜地发生,而无需通过昂贵的L1完成。
但事实证明,即使在两个L2s 甚至L3s之间,存款与取款也可以非常便宜。这其中的关键是代币和其他资产不必在根链中发行。也就是说,您可以在 Arbitrum 上拥有 ERC20 代币,在 Optimism 上创建它的包装器,并在两者之间来回移动而无需任何 L1 交易!
让我们来看看这样一个系统是如何工作的。有两种智能合约:Arbitrum 上的基础合约和 Optimism 上的封装代币合约。要从 Arbitrum 转移到 Optimism,您需要将代币发送到基础合约,这将生成收据。一旦 Arbitrum 最终确定,您可以获取该收据的 Merkle 证明并植根于 L1 状态,然后将其发送到 Optimism 上的包装代币合约中,该合约对其进行验证并向您发放一个包装代币。要将令牌移回,您可以反向执行相同的操作。
动态 | Vitalik Buterin或将退居幕后:11月2日消息,近日,在以太坊基金会主办的会议Devcon上,Buterin在会议中表示,他应该开始退居幕后了,这是“社区发展的重要一步”。为什么呢?简单来说,在一个真正去中心化的系统中,不应该存在一个足以击垮整个系统的部分。[2018/11/2]
尽管在证明 Arbitrum 上的存款所需的 Merkle 路径要通过 L1 状态,Optimism 只需要读取 L1 状态根来处理存款 - - - 不需要 L1 交易。 请注意,由于rollups数据是最稀缺的资源,因此这种方案的实际实现将使用 SNARK 或 KZG 证明,而不是直接使用 Merkle 证明,以节省空间。
与基于 L1 的代币相比,这种方案有一个致命弱点(至少在optimistic rullups上是这样):存款还需要等待防欺诈窗口。如果代币植根于 L1,从 Arbitrum 或 Optimism 撤回到 L1 需要一周的延迟,但存款是即时的。然而,在这个方案中,存款和取款都需要一周的延迟。也就是说,尚不清楚理想的rollups上的三层架构是否更好:要确保在本身运行在防欺诈游戏上的系统内部发生的防欺诈游戏是安全的,存在很多技术复杂性。
幸运的是,这些问题都不会成为 ZK rollups的问题。出于安全原因,ZK rollups不需要长达一周的等待窗口,但由于其他两个原因,它们仍然需要更短的窗口(第一代技术可能需要 12 小时)。首先,特别是更复杂的通用 ZK-EVM rollups需要更长的时间来覆盖区块的不可并行(non-parallelizable)计算时间。其次,出于经济考虑,需要很少提交证明以最小化与证明交易相关的固定成本。包括专用硬件在内的下一代 ZK-EVM 技术将解决第一个问题,而架构更好的批量验证可以解决第二个问题。我们接下来要讨论的正是优化和批量提交证明的问题。
Rollups 和 validiums 有一个确认时间与固定成本的权衡。L3 可以帮助解决这个问题,但还有什么也可以做到这些呢?
每个事务的rollups成本很便宜:它只是 16-60 字节的数据,具体取决于应用程序。但是 rollups 每次提交一批交易到链上时也必须支付高昂的固定成本:optimistic rollups 每批需要21000 L1 gas,ZK rollups 则超过 400,000 gas(如果你想只用STARKS提供量子安全的东西,则需要数百万 gas)。
当然,rollup 可以简单地选择等到有 1000 万 gas 价值的 L2 交易来提交整批(交易),但这会给他们带来非常长的批次间隔,迫使用户等待更长的时间以获得高安全性确认。因此,它们需要权衡:较长的批次间隔和最佳成本,或者较短的批次间隔和大大增加的成本。
为了给我们一些具体的数字,让我们考虑一个每批成本为 600,000 gas ZK rollup并处理每笔交易成本为 368 gas的完全优化的 ERC20 传输(23 字节)。假设此rollups处于采用的早期到中期,TPS为5。我们可以计算每笔交易与批次间隔的gas:
如果我们进入一个拥有大量定制验证和特定应用环境的世界,那么其中许多每秒处理量将远低于 5TPS。 因此,确认时间和成本之间的权衡开始变得非常重要。 事实上,“L3”范式确实解决了这个问题! ZK rollup 中的 ZK rollup,即使是简单的实现,也只有大约 8,000 layer-1 gas 的固定成本(500 字节用于证明)。 这会将上表更改为:
问题基本解决了,所以L3s 是不是很好?也许是的。但需要注意的是,解决这一问题还有一个方法受到了ERC 4337聚合验证的启发。
策略如下。 今天,如果每个 ZK rollup 或 validium 收到证明,则证明 Snew = STF(Sold,D): 新的state root必须是在旧状态根之上正确处理交易数据或状态增量的结果。 在这个新方案中,ZK rollup 将接受来自批量验证者合约的消息,该消息说它已经验证了一批语句的证明,其中每个语句的形式为 Snew = STF(Sold,D)。这种批量证明可以通过递归 SNARK 方案或 Halo 聚合来构建。
这将是一个开放的协议:任何 ZK-rollup 都可以加入,并且任何批量证明者都可以从任何兼容的 ZK-rollup 聚合证明,并从聚合器获得交易费用的补偿。 批处理程序合约将验证一次证明,然后将一条消息传递给每个rollups, 并带有该sollups的(Sold, Snew, D) triple. Triple 来自批处理程序合同的事实会被作为证据来证明转换是有效的。
如果优化得当,此方案中每次汇总的成本可能接近 8000,其中5000 用于添加新更新的状态写入,1280 用于旧根和新根,以及额外的 1720 用于杂项数据处理。 因此,它会给我们同样的节省。 Starkware 实际上已经有了类似的东西,称为 SHARP,尽管它(还)不是一个无需许可的开放协议。
对这种方法的一种回应可能是:但这实际上不正是另一种第 3 层方案吗?我们将有base layer 来源:链捕手
撰文:Vitalik,《What kind of layer 3s make sense?》
编译:董一鸣,链捕手
特别感谢 Georgios Konstantopoulos、Karl Floersch 和 Starkware 团队的反馈和审查。
链捕手
媒体专栏
阅读更多
财经法学
成都链安
金色早8点
Bress
PANews
Odaily星球日报
1.DeFi代币总市值:470.35亿美元 DeFi总市值 数据来源:coingecko2.过去24小时去中心化交易所的交易量53.
1900/1/1 0:00:00外媒消息指出,在由法兰西银行主办的一次会议上,欧盟专员 Mairead McGuinness 表示,欧盟委员会计划在2023年就“可能的”数字欧元提出立法,以使议会和欧洲理事会能够对其进行辩论.
1900/1/1 0:00:00作者:Chloe,IOSG Ventures自五月Terra爆雷导致的一系列连锁反应,到七月末美联储加息,加密行业在受到连续的冲击后陷入了暂时的沉寂.
1900/1/1 0:00:00刘宪权:华东政法大学教授,法学博士,上海市法学会刑法学研究会会长要目一、不同发展阶段的元宇宙空间犯罪类型二、元宇宙空间犯罪与现有犯罪类型的比较与区分三、元宇宙空间犯罪对传统刑法理论的冲击四、元宇.
1900/1/1 0:00:00文:徐赐豪元宇宙社交似乎成为各大公司重点卡位的赛道,但是整体而言,目前还未有现象级元宇宙社交产品的出现。今日,映宇宙推出海外元宇宙社交产品The Place.
1900/1/1 0:00:00撰文:Paul Veradittakit,Pantera Capital 合伙人编译:Amber,Foresight News2021 年,中心化加密货币交易所的总交易量超过了 14 万亿美元.
1900/1/1 0:00:00