ANK:扩容杀手锏 Danksharding 会是以太坊分片的未来吗?

Vitalik于近期提出的区块链架构"终局"图景受到了广泛热议,我们把这张宏大的路线图粗略提炼为以下三点:

中心化的区块生产者

去信任化和去中心化的区块验证

反审查机制,使这些区块生产者失去审查交易的动力。

随着MEV与跨域MEV的兴起,我们显而易见区块的产生注定会变得愈发中心化——由于同时在许多领域(如rollups)生产区块所带来的好处和规模经济效应。在这样的机制下,单个区块生产者就能够在不同的rollups和layer1间攫取到套利机会。

(图片来源:https://vitalik.ca/)

Vitalik甚至更进一步地认为,如今“大区块”类型的区块链(如Solana、BCH等)如果想同时实现去中心化、规避审查,并实现扩容,就需要遵循类似的架构。考虑到rollups或跨域MEV所能带来的网络效应,区块生产者的中心化很大程度是无法避免的,那么接受这个事实,并在协议层面进行调整,以确保区块生产者不干扰layer1的安全性和抗审查性,就应是我们的最佳选项。由此,最近以太坊社区中针对协议层的一个颇具争议的热词“Danksharding”自然而然地吸引了我们的目光。在对这项技术进行解构前,我们先介绍一下PBS这个重要设计,从而帮助我们更好地理解Danksharding。

流动性市场协议xBank将于3月上线以太坊扩容方案StarkNet:官方消息,去中心化非托管流动性市场协议xBank宣布,将于2022年3月在以太坊扩容方案StarkNet上推出。

据悉,xBank为出借方管理存款,并为借款人的存款资产贷款提供便利,同时进行适当的风险管理,以保护出借方免受流动性不足和破产的风险。[2022/2/17 9:59:19]

PBS:区块提议者与构建者分离

如果中心化的区块生产已经成为无可避免的现实,那防止更多的中心化最可行的方案就是将区块生产与区块验证(提议)分开。

我们知道在现在的架构中,一般只有一方在做区块生产的工作(矿工),而他们会直接从内存池Mempool中选择自己承揽哪些交易,并通过承揽这些交易来创建区块。此外,这些矿工的任务越复杂,他们能攫取的价值就越多,进而导致了矿工的中心化。

V神等人提出EIP-4488,旨在降低以太坊二层扩容解决方案的Gas费:11月27日消息,以太坊创始人Vitalik Buterin和以太坊开发者Ansgar Dietrichs本周共同撰写以太坊改进方案EIP-4488,旨在降低以太坊第二层扩容解决方案的Gas费。该提案旨在更直接地解决高Gas成本问题,同时开发出更稳健的解决方案。

EIP-4488试图通过两种方式进一步降低第二层Gas费:降低交易调用数据(calldata)成本(这是Optimistic Rollups和ZK-Rollups的主要机制),以及增加一个区块中的交易调用数据总量上限。根据Vitalik Buterin的说法,增加可用于Rollups的数据空间量在今天是可行的,因为区块大小远不及威胁网络稳定性的大小。

虽然数据分片可能被视为解决Rollups不完善问题的长期解决方案,但根据zkSync团队发布的推文,该提案试图在非常短的时间内降低Gas费,可能在今年圣诞节之前。(CryptoBriefing)[2021/11/27 12:35:33]

在PBS的设计中,构建者的角色被单独区分开来。他们会从mempool中选择交易,以实现利润最大化为目标对交易进行排序。一旦他们创建了他们想要承揽的交易列表,他们就会向验证者(区块提议者)提交他们的出价。而在这种情况下,验证者(区块提议者)的任务就是选择出价最高者来创建区块。区块提议者只是从mempool中收集交易,并创建一个crList,简单来说就是一个包含区块交易信息的列表。区块提议者将这个crList传递给区块构建者。区块构建者按照自己的意愿对crList中的交易进行重新排序,以使其MEV提取最大化。因此,当涉及到交易如何排序时,区块提议者没有发言权,但通过向构建者提供一个包括区块交易信息的列表(crList),他们确保来自mempool的所有交易均可不经审查地进入区块。

BitMEX与人权基金会奖励比特币扩容项目开发者15万美元:BitMEX表示,它将与人权基金会合作一起为比特币开发者Kim 提供150,000美元的比特币资金奖励。 Calvin Kim主要从事比特币扩容项目Utreexo的工作,该项目开发了一种方法,可以将所有比特币的未花费输出(谁拥有哪个比特币的记录)存储在不到 1 KB 而不是GB的范围内。(CoinDesk)[2021/5/31 22:59:28]

由此可见,PBS的设计实际上就是在提议者和构建者之间建立一个防火墙和市场。虽然区块生产者的工作将变得复杂和中心化,但必须保证运行验证节点的要求,使其可以由通用服务器以极低的成本运行,是非常关键的 (相对于由区块生产者运行的精密服务器而言)。而这一点的实现就要归功于PBS方案。

在理解了上述内容后,我们重新回到Danksharding上。

现场 | 币信CEO吴钢:我是比特币分叉的同情者 只要不分叉都可以扩容:金色财经现场报道,币信五周年比特币硬核粉丝晚宴在北京举行。币信CEO吴钢表示,神鱼、我和潘志彪都处于比特币扩容核心讨论群。我一直是比特币分叉的同情者,只要他们不分叉,都可以扩容。[2019/11/23]

什么是Danksharding?为什么全世界都在提?首先,先解释一下Danksharding名称的由来。Danksharding是以提出它的以太坊开发者Dankrad Feist命名的,他取代了之前的平行数据分片模式,围绕跨域MEV阻力重新设计了系统(也因此使得链的安全性及去中心化程度的最大化)。从前的分片设计中没有PBS,每个分片和信标链都有独立的验证者。这种设计是因为在过去大家普遍认为尽可能多的分片验证者能最大限度的提高抗审查能力。

Roger Ver和Samson Mow在Deconomy 2018上就比特币扩容问题展开激烈辩论:4月3日,在韩国首尔举行的第一次年度区块链论坛上,Bitcoin.com首席执行官Roger Ver和Blockstream首席战略官Samson Mow进行了一场专门关于比特币(BTC)扩容的讨论。Roger Ver表示如果需求增加,就没有理由避免区块扩容。Samson Mow则反对说,在区块链扩容不是最终的解决方案,因为它可能导致链的负担增加。[2018/4/6]

(图片来源:Dude, What's the Danksharding situation?)

然而,随着MEV的问题越来越棘手,将区块构建者与其提议者分开成为了时下的一大需求。这种区块创造者和区块提议者各自独立的结构(PBS)是将MEV问题民主化,以及防止其进一步危及协议的安全性的唯一解决办法。

回到Danksharding,Dankrad的设计基本概念是:在任何的分片设计上,都存在多分片架构下的MEV机会,引发中心化的多分片构建者的问题。而解决这个问题的唯一办法就是实行这种PBS架构。区块提议者的存在发现并解决了区块创造的中心化问题,从根本上防止了任何危害链上安全性的行为。

在这个新的设计里,信标区块会包含所有的分片区块,所有的信标区块和分片数据都会被一个由验证者组成的委员会(Committee)进行统一认证。这样一来,同个信标区块的交易可以访问分片数据,甚至可以在rollup和layer1之间获得同步交易,从而大大简化了rollup的结构,类似确认延迟的问题将不复存在。那么Danksharding的反审查情况又是怎样的呢?中心化区块创造者是否仍然可以通过参与同一个区块来审查特定的交易记录呢?crLists的创新可以解决上述提到的问题。区块提议者的职责是将所有他们在mempool 中看到的交易记录都列出来。然后区块构建者会依据这个列表并提炼出一个哈希值,并且证明所有的列表中的数据都已包含在内。不过最近的讨论显示关于提议者与验证者的设计以及crList的工具还有待最终确认。升级版的data sampling也是danksharding的另一重要设计,可以保证当信标节点提供数据的时候不必要存储所有的数据,在这里就不再展开赘述。

总体来说,Danksharding还是有不少值得关注的优点:

越来越简单的分片设计,新的模型会使得原有的工作量降低百倍。

基于PBS模型,无论是复杂亦或是高级的区块创造者对于以太坊的安全性来说都不会是一个问题。可以保证以太坊在不用担心中心化问题的同时增加区块的大小。

分片数据和信标链数据的合并会加快layer1与zk rollup的同步速度,从而简化rollup的结构。

crLists可以确保L1做到即刻的交易验证(类似于layer2上的相同概念)。

跨分片的MEV将会被民主化(就像Flashbots做的一样),潜在的验证者中心化问题可以被预防。

Danksharding作为一个由以太坊核心研究员在一个月前提出的全新模型,想法还处在萌芽阶段,该模型未来也会有更多的创新和优化。不过由此可以看出,以太坊的分片计划将会是一步一个脚印的稳步前行的。让我们拭目以待!

作者:Gokhan Er, IOSG Ventures

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:983ms