宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > MATIC > 正文

Foresight Ventures:EIP-4844全面解析,以太坊迈向Full sharding的第一步

作者:

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

Overview

在这篇报告中你可以了解到:EIP-4844;Proto-danksharding;Danksharding;KZGCommitment;KZGCeremony;Dynamicstatesharding;

最近社区参与度超标的KZGCeremony都刷到了吧,这个仪式到底在干什么?简单概括,KZGCeremony是实现EIP-4844不可绕过的一个初始化环节,而EIP-4844是实现以太坊sharding过程中的先行版本。一、Sharding:以太坊扩容的长久之计

Sharding从数据可用性角度扩容,而rollup主要从执行层面扩容,一起缓解主网拥堵问题;我认为sharding可能是突破区块链不可能三角的一次尝试。下面这张以太坊区块大小的走势图可以从另一个角度说明数据层面扩容的必要性。从创世区块开始,以太坊从底层架构到上层应用都在不断地快速迭代,但平均区块大小仍为90Kb左右,最高点也没有质的突破。虽然Rollup从计算层切入,解决以太坊拥堵问题,但性能仍然受制于layer1的数据存储能力。

由于实现过程的复杂度和安全性考虑,以太坊开发团队将sharding分成了多个阶段,其中就包括最近提到的proto-danksharding和danksharding。整个过程将会是一个历时数年的更新;在目前的以太坊的数据存储模式下,只有少数特定高配置的机器可以加入网络成为节点,而fullsharding之后ethereum不再需要每个节点都保存全部数据,在降低主网数据存储成本的同时加强了安全性。二、EIP-4844:短期高回报,Sharding的精简先行版

EIP-4844=Proto-Danksharding;Proto来自以太坊研究者的名称由于实现danksharding的复杂度很高,开发周期至少是以年为单位的。因此proto-danksharding是实现danksharding前对以太坊的扩容方案,主要实现了danksharding中的交易格式、precompile等设计;

耐克“Our Force 1”Box一般访问计划销售结束,总铸造量达97,628个收入近200万美元:金色财经报道,耐克旗下 Web3 可穿戴设备平台.Swoosh在社交媒体表示,其推出的首个数字运动鞋系列“Our Force 1”Box一般访问计划销售已正式结束,后续将发布更多信息。根据Dune Analytics数据显示,“Our Force 1”Box总铸造量达到 97,628个,占发行总量的91,71%,这意味着仍有8,825个“Our Force 1”Box未被铸造。此外耐克“Our Force 1”Box在本次一般访问计划销售活动中总计创造了约193.4万美元的铸造收入。[2023/6/2 11:53:17]

1.Proto-danksharding概述

Proto-Danksharding主要引入了一种新的transactiontype,也就是blob-carryingtransaction。至此,Rollup的数据通过blob的形式以更低的成本向layer1传输,并作非永久存储。同时,blob远大于现在的calldata,可以更好地支持rollup上的高TPS。关于blob:每个transaction最多挂2个blob;每个block理想状态包含8个blob,约为1MB,最多包含16个blob,约为2MB;Blob不需要像calldata一样作为historylog被永久存储;相比danksharding,节点还是需要对完整的DA进行验证。2.Blob-carryingtransaction解读

给transaction挂上blob

作用参考Vitalik在提案中给出的图,Datablob和当前的calldata相似,rollup可以将交易、证明等数据通过blob上传到layer1来保证dataavailability。成本Datablob的设计初衷是支持rollup高通量的交易,相比同等大小的calldata,blob的成本将会降低很多。因此,rollup在维持数据可用性上花费的gas相比之前会显著降低。容量每个blob的大小约为125kB。3.Blob-carryingtransaction的价值和挑战

Flare Finance与Forever Lands NFT游戏合作:金色财经报道,据Flare Finance官方公告,其团队已与 Forever Lands 的“Play-to-Earn”产品签署了合作协议。Flare Finance 和 Forever Lands 宣布早些时候在 Flare Finance 的爱好者之间分发的 Delorean NFT 的持有者可以在游戏中获得 20% 的折扣。[2021/10/5 18:11:35]

价值可以把blob看成一种缓存,rollup提交的交易数据从此以缓存的形式存在。降低对存储硬件的要求,为以太坊提供额外的数据扩容并降低gas成本。挑战:对以太坊节点硬件性能的要求Ethereum当前平均区块大小只有~90kB,但是一个blob就有~125kB根据EIP-4844的设计,每个slot正常情况下约为1MB,因此每年增加的数据量为:1MB/block*5block/min*43200min/month*12month/year=2.47TBperyear每年增加的数据大小远超过了以太坊数据总量,这样的存储方案显然是不高效的。解决方案从短期扩容效果看,由于每个节点仍然需要储存全量历史数据,在实现EIP-4844的同时,对一段时间窗以外的blob进行自动删除;从sharding的长期利益看,实现EIP-4444,即节点不需要存储全量历史数据,而是只需要参照historyexpiry,存储特定时间之后的数据;这两种解决方案从不同程度上缓解了blob-carryingtransaction在存储空间上的tradeoff。4.KZGCommitment

KZGCommitment是EIP-4844中采用的多项式承诺方案解析KZGcommitmentKZG是作者AniketKate,GregoryM.Zaverucha和IanGoldberg姓氏的缩写,他们在2010年发表了多项式承诺方案论文“Constant-SizeCommitmentstoPolynomialsandTheirApplications”,并且这个方案在plonk-style的zk-snark协议中有很广泛的应用。

Terraform Labs宣布成立规模1000万美元基金支持DeFi发展:2月4日消息,稳定币平台Terra背后的公司Terraform Labs宣布规模为1000万美元的基金Terraform Capital,以支持以太坊上的DeFi项目。通过为项目支付安全审计成本,推动其与美元挂钩的稳定币TerraUSD (UST)或LUNA在DeFi领域的整合。(CoinDesk)[2021/2/4 18:55:45]

参考DankradFeist演讲中的示意图,KZGroot类似Merkleroot,区别在于KZGroot承诺一个多项式,即所有position都在这个多项式上。基于proto-danksharding的场景,KZGroot承诺了一堆数据,其中的任何一个数据都可以被验证属于这个整体。这也是为什么KZGcommitment在兼容性上对后面实现DAS更友好。KZGcommitment的流程如下:Prover:提供证明,计算data的commitment,prover无法改变给定的多项式,并且用于证明的commitment只对当前这一个多项式有效;Verifier:接收prover发送的commitmentvalue并进行验证,确保prover提供了有效的证明。KZGCommitment的优势我认为主要出于对成本和安全性的思考,可以归纳但不局限于以下几点:成本KZGcommitment具备快速验证、复杂度相对更低、简洁的特点;不需要提交额外的proof,因此成本更低、更省bandwidth;数据触达所需的Pointevaluationprecompile可以获得更低的成本。安全假设出现了failure,也只会影响commitment对应的blob中的数据,而不会其他深远的影响。更兼容纵观sharding的整体方案,KZGcommitment对DAS方案兼容,避免了重复开发的成本。5.KZGCeremony(trustedsetup)

KZGCeremony是为KZGCommitment提供trustsetup,目前吸引了超过20,000participants的参与和贡献,已经成为历史上最大规模的trustsetup。

dForce宣布与Unisave建立战略合作伙伴关系:12月1日,dForce Network发布消息称,dForce与Unisave建立战略合作伙伴关系,联合推动产品的深度整合并提高全球社区的参与程度。Unisave将成为dForce生态重要的合作伙伴,将共同致力于为用户提供更多更优的DeFi解决方案,并随着dForce生态的不断发展持续推动业务的发展。

Unisave可以被看作是生息版的Uniswap。每个交易币对都兼具利息聚合的功能,背后可以接入多种不同的策略。

dForce旨在创建一个开放式金融协议矩阵,通过产品的深层整合来提高投资回报并共享流动性。[2020/12/1 22:45:25]

最近社区参与热情高涨的KZGCeremony就是为EIP-4844采用的KZGcommitment提供trustsetup;KZGCeremony的流程

参考Vitalik的流程图,任何人都可以作为participants贡献secret并与之前的结果进行混合产生一个新的result,以此类推,通过套娃的形式获得最终的SRS,并协助完成KZGcommitment的trustsetuptrustsetupEIP-4844中采用了一种常见的multi-participanttrustsetup,即powers-of-tau;遵循1-of-N可信模型,不管多少人参与generatingsetup的过程,只要有一个人不泄漏自己的生成方式,可信初始化就是有效的;必要性KZGcommitment的trustsetup可以简单理解为:生成一个在每次执行cryptographicprotocol时需要依赖的一个参数,类似于zk-snark需要可信初始化;Prover在提供证明时,KZGcommitmentC=f(s)g1。其中f是评估函数,s就是KZGtrustedsetup最终获得的finalsecret;可以看出finalsecret是生成多项式承诺的核心参数,而作为获取这个核心参数的可信流程,这次KZGCeremony对于整个sharding的实现非常重要。6.EIP-4844带来的变化

声音 | Blockforce Capital CEO:目前的加密市场环境有能力支持ETF:据news.bitcoin消息,比特币交易所交易基金(ETF)一直为获得美国证券交易委员会(SEC)的批准而努力。研究公司ETFGI预计,到2020年,在欧洲上市的etf和ETPs将达到1.1万亿美元。摩根士丹利预计,到2022年,全球ETF资产将超过9万亿美元。嘉信理财(Charles Schwab)进行的一项研究显示,千禧一代越来越多地选择投资应用程序访问的ETF。如果美国证交会(SEC)批准比特币ETF,这可能会改变投资规则。美国资产管理公司Blockforce Capital首席执行官Eric Ervin表示,目前的市场环境有能力支持ETF。Ervin强调,BTC的24小时交易量约为53亿美元,并在全球多个交易所进行交易,这就为市场增加了流动性。[2019/1/10]

Rollup参考ethresear上给出的示意图,rollup需要将statedelta、KZGcommitment的versionedhash包含在calldata中进行提交可以发现不同的是,calldata只包含一些数据量小的,比如statedelta、KZGcommitment,而将包含大量交易数据的transactionbatch放到了blob里。有效降低成本,放calldata里很贵;降低对区块空间的占用

安全性Dataavailability:Blob存储在信标链上,等同于layer1的安全性;历史数据:节点不会只会将blob存储一段时间,需要layer2rollup做永久数据存储,因此安全性依赖于rollup。成本Proto-Danksharding引入了新的交易类型,低成本数据格式blob的加入无疑会让rollup的成本进一步降低,取决于实际链上应用和实现进展,优化后rollup的成本可能降低x10甚至x50;同时EIP-4844引入了blobfee;Gas和blob将会分别有可调节的gasprice和limit;Blob的收费单元还是gas,gasamount随traffic变动,以此维持每个block平均挂8个blob的目标Precompile的实现Blob中的数据本身无法被直接触达,EVM只能获取datablob的commitment。因此需要rollup提供precompile来验证commitment的有效性.下面分析两种EIP-4844中提到的precompile算法Pointevaluationprecompile证明多个commitments指向同一数据;主要针对zk-rollup,rollup需要提供2种commitments:1.KZGcommitment;2.zk-rollup本身的commitment;对于optimisticrollup,大多数已经采用了multi-roundfraudproof的机制,finalroundfraudproof所需的数据量较小。因此,采用pointevaluationprecompile能达到更低的成本Blobverificationprecompile证明versionedhash和blob是有效对应的;optimisticrollup在提交欺诈证明时需要access全量数据,因此先验证versionedhash和blob合法,再进行fraudproofverification三、Danksharding:迈向fullsharding的重要一步

Danksharding的命名来自以太坊研究员DankradFeist1.扩容:进一步扩充Rollup的缓存空间

在proto-danksharding实现后,由于新的交易格式引入了blob,每个区块可以平均额外获得1MB的缓存空间。Danksharking实现后,每个区块额外16MB,最大允许32MB。2.Dataavailability:存储和验证策略更高效

相比proto-danksharding要求全节点下载全量数据,Danksharking实现后以太坊节点只需要对blob抽样。Sampling后的数据会分布在全网节点中,并可以组成完成的datablob。DAS:高效抽样检查通过纠缠码帮助全网节点在下载部分数据的情况下更容易发现原始数据的丢失的概率,从而提升安全性3.安全性:基本不变

由于每个节点不再保存全量历史数据,从数据可用性、备份和抽样检查的角度出发,安全性由至少一个节点保存全量数据变为多个节点存储部分数据,并最终还原完整数据。虽然乍一看对单点的依赖安全性远高于对多点的依赖,但是以太坊网络中的节点数量够多,完全可以保证数据备份的需求,因此安全性并不会有很大变化。4.新的挑战:对blockbuilder的要求提升

虽然验证者不需要下载并保留全量历史数据,对bandwidth和存储硬件的要求得到了缓解,但是区块创建者仍然需要上传包含全量transactiondata的blob数据。

这里简单介绍一下PBS(proposer/builderseparation),参考Dankrad给出PBS在danksharding方案中的应用图:将负责出块负责人的角色拆分为proposer和builder。最初是为了做anti-MEV设计的提案,在danksharding的设计中为了降低区块创建时对bandwidth的要求。四、其他sharding方案:Shardeum的动态分片

Shardeum是EVM兼容的layer1公链,与以太坊的staticsharding方案不同,shardeum通过dynamicstatesharding的方案提升底层可扩展性和安全性,同时,天然地保证较高的去中心化程度;

1.Dynamicstatesharding

优势Dynamicstatesharding带来最直观的优势在于linearscaling,接入网络的节点可以非常高效的被sharding算法动态分组,并快速响应,提升区块链网络的TPS。在dynamicstatesharding的设计中,每个节点会覆盖不同range的address,并且覆盖范围又会有冗余设计以保证高效的sharding和安全性。场景内实现抛开生态的复杂度,单从两种技术实现的角度看,dynamicstatesharding的难度大于staticsharding。可以看出Shardeum的技术团队在sharding的技术层面有很深的积累,团队之前在Shardustechnology上的研发也对这条公链的底层技术做出了很大贡献,甚至在项目早期阶段很好的展示了dynamicstatesharding所带来的linearscaling。2.Shardeum综合归纳

产品将节点划分到不同的group,参考divideandconquer的思路,把计算和存储的workload进行分流,从而允许更高程度的并行处理。因此,可以容纳更多节点加入,进一步提升公链的throughput和去中心化程度。团队市场经验丰富,叙事能力超强,对动态分片研究很深。技术针对自己的场景设计了合适的sharding方案(dynamicstatesharding)和共识的设计(ProofofStake+ProofofQuorum),以提升可扩展性为第一目标,保证更高程度的去中心化和安全性。进度将在2023-02-02launchbetanet,值得关注。五、对sharding的思考和展望

Sharding是以太坊扩容的长久之计,也是一个价值巨大、意义深远的长期方案。实现sharding的过程中,现有所有方案都可能被不断迭代,包括现在提到的proto-danksharding、danksharding等,值得持续关注;对sharding大方向的理解很重要,但是每一个实现fullsharding过程中的提案所采纳的技术方案同样值得关注,并且我相信也会涌现很多相关的优秀团队和项目;Sharding是对一种扩容技术的统称,但具体落地的方案并不是只有一种。需要认识到不同的公链会有适合自己场景的sharding方案。比如danksharding中的一些设计也只适合以太坊网络,安全性的tradeoff需要大量的节点来抵消;Sharding和其他扩容方案的合理结合对于可扩展性的提升1+1>2。目前的Danksharding并不是自成一派的扩容方案,而是和以太坊生态的其他实现相辅相成的。比如Danksharding和rollup一起,为以太坊扩容达成更好的效果。

标签:INGSHASHARDHARDKing MoneySuper Rare Ball SharesHesman Shardhard币发行量

MATIC热门资讯
FTX崩盘之后华尔街巨头们的加密计划一览

Odaily星球日报译者|念银思唐纽约梅隆银行的历史可以追溯到1784年,那时亚历山大·汉密尔顿创办了全美历史最悠久的银行。但如今,即使是这家久负盛名的银行也在加密货币领域奋勇前进.

1900/1/1 0:00:00
DApp年度报告:DeFi已不是以太坊上的主导应用类型

随着DeFi和NFT的发展,DApp在区块链成功落地C端的道路上已经走出了一大步,Web3.0的轮廓隐约可见。但是,在2022年,受到市场整体环境变化的影响,DApp的发展并没有出现如前两年那般的突进,总体上较为平稳.

1900/1/1 0:00:00
一文回顾2022年传统巨头的Web3之路

传统巨头没办法再忽视Web3的崛起,作为在自身领域获得了最多的资源也是最有能力率先探索神秘的Web3世界的公司,从DeFi、NFT到元宇宙,巨头纷纷开始向能和其本身业务挂上钩的方向探索.

1900/1/1 0:00:00
美国最高银行监管机构就加密货币相关风险发出联合警告

Odaily星球日报译者|念银思唐美国最高银行监管机构就开展加密货币业务的风险向借贷机构发出了新的警告。美联储、联邦存款保险公司和美国货币监理署周二详细阐述了对这种波动性较大的资产类别的担忧.

1900/1/1 0:00:00
盘点近期值得关注的32个潜力项目

无论炒币还是投资,FOMO总是伴随左右,在最近大环境好转的前提下,我们更要学会快速发现和搜索一些项目信息的能力,如果你本人没有足够的时间来完成这些前期工作,那么一些KOL的文章也会成为一大助力.

1900/1/1 0:00:00
a16z:监管企业,而非Web3应用

这是「监管Web3应用程序,而不是协议」系列的第二部分,它建立了一个Web3监管框架,保留了Web3技术的好处,保护了互联网的未来,同时减少了非法活动和消费者伤害的风险.

1900/1/1 0:00:00