木星链 木星链
Ctrl+D收藏木星链

ROLL:Vitalik:什么样的 Layer3 才有意义

作者:

时间:1900/1/1 0:00:00

如果我们可以构建 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相关巨鲸地址于2小时前将2013枚ETH转入OKX:7月11日消息,据Lookonchain数据显示,与Vitalik Buterin相关的0x9e92开头巨鲸地址于2小时前将2013枚ETH(价值约合376万美元)转入OKX。据悉,Vitalik Buterin地址于2022年12月30日到2023年5月18日期间共计向0x9e92开头地址转账22,300枚ETH(4160万美元)。[2023/7/11 10:48:56]

数据不一样。 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 倍”要复杂得多。 .

Vitalik:以太坊需要改进的不仅是协议的功能,需要对应用程序和钱包进行深度改变:金色财经报道,以太坊创始人Vitalik Buterin发布《The Three Transitions》文章。Vitalik称,当以太坊从一个年轻的实验性技术过渡到一个成熟的技术栈,能够真正为普通用户带来开放、全球和无需许可的体验,堆栈需要大致同时经历三个主要的技术过渡:向L2扩展过渡,每个人都转向Rollup;向钱包安全过渡,每个人都使用智能合约钱包;向隐私过渡,确保保护隐私的资金转移可行。

由于上述原因,这三个转变至关重要。但它们也具有挑战性,因为要妥善解决这些问题需要密切协调。需要改进的不仅是协议的功能;在某些情况下,我们与以太坊交互的方式需要从根本上改变,需要对应用程序和钱包进行深度的改变。[2023/6/9 21:27:01]

这是 Starkware 帖子中的图:

引用几句:

上图描绘了这种生态系统的一个示例。它的 L3 包括:

1、具有 Validium 数据可用性的 StarkNet,如,常用于对定价极其敏感的应用程序中。

2、为获得更好的应用程序性能而定制的特定于应用程序的 StarkNet 系统,例如,通过采用指定的存储结构或数据可用性压缩来实现。

3、StarkEx 系统(例如服务于 dYdX、Sorare、Immutable 和 DeversiFi 的系统)具有 Validium 或 Rollup 数据可用性,立即为 StarkNet 带来久经考验的可扩展性优势。

辉瑞支持的VitaDAO投票决定创建营利性公司以资助长寿研究:金色财经报道,辉瑞支持的 VitaDAO 成员周三发布推文称,为了弥补 VitaDAO 的资金缺口,目前正在讨论建立一家美国营利性公司的提议,这将弥合研究和商业化之间的差距。该公司将作为 VitaDAO 的子公司或附属公司运营。如果获得批准,该提案将在 2023 年 4 月 3 日至 6 月 12 日之间进入为期 10 周的执行阶段。据悉,这家名为 VitaTech 的公司将利用公共资金来许可美国大学开发的长寿技术,并支持它们的持续发展。[2023/4/6 13:46:54]

4、隐私 StarkNet 实例(在此示例中也作为 L4)允许隐私保护类型的交易存在,而不将它们包含在公共 StarkNet 中。

我们可以将文章压缩为 “‘L3s’的三个愿景”:

L2 用于扩容,L3 用于定制功能,例如隐私。在这个愿景中,没有尝试提供“可扩展性二次方增长”;相反,堆栈中有一层可以帮助应用程序扩展,然后有独立的层来满足不同用例的定制功能需求。

L2 用于通用扩容,L3 用于可定制化扩容。可定制化扩容可能有不同的形式:使用除 EVM 之外的其他东西进行计算的专用应用程序,数据压缩针对特定应用程序的数据格式进行优化的rollups(包括每个块中将“数据”与“证明”分开,并用单个SNARK替换证明)等。

L2 用于无信任扩展(rollups),L3 用于弱信任扩展(validiums)。 Validium 是使用 SNARK 来验证计算的系统,但将数据可用性留给受信任的第三方或委员会。在我看来,Validium 被严重低估了:特别是,许多“企业区块链”应用程序实际上可能最好由运行 validium 的证明者提供服务,并定期将哈希提交到链的集中式服务器来提供最佳服务。 Validium 的安全等级低于rollups,但可以便宜得多。

OKEx将于5月26日19时暂停VITE充提:据官网公告,由于VITE主网升级 ,OKEx将于2020年5月26日19:00 暂停VITE的充提,待升级完成后开放。[2020/5/26]

在我看来,所有这三个愿景基本上都是合理的。 专用数据压缩需要自己的平台的想法可能是最薄弱的主张 - - - 设计具有通用基础层压缩方案的L2 非常容易,用户可以使用特定于应用程序的子压缩器自动扩展,但除此之外,这些使用案例都是合理的。 但这仍然留下一个大问题:三层结构是实现这些目标的正确方法吗? 将验证、隐私系统和定制环境锚定到L2而不是仅仅锚定到L1有什么意义? 事实证明,这个问题的答案相当复杂。

三层模型优于两层模型的一个可能论点是:三层模型允许整个子生态系统存在于单个rollup中,这允许该生态系统内的跨域操作可以非常便宜地发生,而无需通过昂贵的L1完成。

但事实证明,即使在两个L2s 甚至L3s之间,存款与取款也可以非常便宜。这其中的关键是代币和其他资产不必在根链中发行。也就是说,您可以在 Arbitrum 上拥有 ERC20 代币,在 Optimism 上创建它的包装器,并在两者之间来回移动而无需任何 L1 交易!

让我们来看看这样一个系统是如何工作的。有两种智能合约:Arbitrum 上的基础合约和 Optimism 上的封装代币合约。要从 Arbitrum 转移到 Optimism,您需要将代币发送到基础合约,这将生成收据。一旦 Arbitrum 最终确定,您可以获取该收据的 Merkle 证明并植根于 L1 状态,然后将其发送到 Optimism 上的包装代币合约中,该合约对其进行验证并向您发放一个包装代币。要将令牌移回,您可以反向执行相同的操作。

V神(Vitalik Buterin)以太坊创始人针对特朗普税改立法发表言论:

12月3日V神(Vitalik Buterin)在Twitter发表言论,表示与特朗普在税改立法方案上持有不同的观点,但是会进一步研究他们的想法和方案。并表示不支持以太坊社区被放逐,这句话有一些含沙射影的意思,但V神特表示这只是他个人的信仰,单纯的表达不同意的方式,与仇视言论无关。[2017/12/3]

尽管在证明 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星球日报

标签:ROLLROLNBSBSPTROLLER价格HydroLinkNBS价格BSPNetwork

欧易okex官网热门资讯
DAO:加密项目是否采用DAO模式 首先考量这8个因素

原文标题:《加密项目并不都适合 DAO,决定前先想明白这 8 点》原文作者:Nicole Buckler,beincrypto随着越来越多公司寻求管理和组织战略创新.

1900/1/1 0:00:00
以太坊:合并完成 以太坊开启新时代

撰文:Sam Kessler,CoinDesk被称为“合并”的以太坊大规模改革终于实现了。在经过多年的开发和拖延后,这个市值第二大加密货币的核心数字机制转移到一个更加节能的系统.

1900/1/1 0:00:00
WEB:Web3的移动端困局 将从手机底层进行变革

在移动端上,鲜有Web3.0产品。如果将交易所App、行情站App、资讯App排除在Web3.0应用之外,那么在移动端上其实只剩下钱包产品了.

1900/1/1 0:00:00
NFT:金色观察|NFTfi来袭:如何借贷 NFT

目前DeFi最热门的领域之一是DeFi和NFT的交叉点,也被称为NFTfi。在当前的 NFTfi 生态中,已经有五花八门的品类.

1900/1/1 0:00:00
元宇宙:元宇宙里的东西 适用七天无理由退货吗?

在购物风潮盛行的年代,面对外面的花花世界,冲动消费总是在所难免的。而后悔总是和冲动相伴而生,相信读者们都会有这样的体验:买到了商品不满意想退货却又没有合适的理由,这种时候应该怎么办呢?于是后悔权.

1900/1/1 0:00:00
MOS:Luna后稳定币百花齐放 Cosmos要成为新的DeFi大花园了吗?

Cosmos 跨链生态系统如今和波卡系统可谓跨链的双峰,尤其近 1-2 年发展迅猛。近 2021 年 10 月,亚洲开发银行通过 Cosmos 技术分布式管理账本信息.

1900/1/1 0:00:00