宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 火必下载 > 正文

干货 | Vitalik:Eth2 分片链简化提案

作者:

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

要点提炼

永久性分片链的概念将不复存在,相反,每个分片区块都直接就是一个交联。提议人发出提案,交联委员会负责批准,一锤定音。

分片数量从之前的1024减少到64,分片区块大小从kB增加到kB。分片总容量为1.3-2.7MB/s,具体值取决于时隙。如果需要的话,分片数量和区块大小可随时间的推移而增加,比方说10年后最终达到1024个分片,以及1MB区块。

在L1和L2层实施了诸多简化方案:所需的分片链逻辑更少,因为“原生的”跨分片通信可以在1个时隙内完成,所以无需通过Layer-2为跨分片通信加速,无需通过去中心化交易所来促进跨分片交易费手续的支付,执行环境能够进一步简化,无需再混合序列化和哈希;

主要劣势:信标链的开销更大,分片区块产生时间更长,对“突增性”带宽需求更高,但对“平均”带宽的需求更低。

序言/理念

当前的以太坊2.0架构过于复杂,尤其是在手续费市场层面,有些人就想到要用Layer-2的应变方法来解决Eth2基础层的主要问题:虽然分片内的区块时间是非常短的,然而分片间的基础层通信时间特别长,需要1-16个epoch。这就亟待“乐观”的解决方案:一个分片内的子系统通过某种次等安全的机制,“假装”提前知道其它分片的状态根,并使用这些不确定的状态根来处理交易,以此来计算自己的状态。一段时间后,一个“rear-guard”进程遍历所有分片、检查哪些计算使用了其他分片状态的“正确”信息,并抛弃未使用“正确”信息的所有计算。

但这个过程是存在问题的,虽然它在很多情况下都能够有效地模拟出超高速通信时间,但是“乐观”ETH和“真实”ETH之间的区别衍生出了其他复杂情况。具体而言,我们不能假设区块提议者“知道”乐观的ETH,因此,如果分片A上的用户向分片B上的用户发送ETH,则分片B上的用户要隔一段时间才能收到协议层ETH。如果想避免延迟,要么需要去中心化交易所,要么需要中继市场。

LG电子与Oorbit和PIXELYNX合作,将元宇宙引入电视中:金色财经报道,韩国科技巨头 LG 电子宣布,它已与基于云的技术平台Oorbit和PIXELYNX(一家构建集成音乐、游戏和Web3生态系统的公司)合作,将元宇宙直接带入观众的客厅。[2023/1/5 9:53:18]

此外,目前的交联机制大大增加了复杂性,实际上它需要一整套区块链逻辑,包括奖惩计算、单独存储分片内奖励的状态以及分叉选择规则等,这些都需要被纳入分片链中作为阶段1的组成部分。本文档提出了一个大胆的替代方案,用以解决所有这些问题,使以太坊2.0能够更快地投入使用,同时降低风险,其中还有一些折中方案。

方案细节

我们把?SHARD_COUNT?从1024减少到64,并将每个时隙处理的分片数上限从16增加到64。这意味着现在的“最优”工作流是:在每一次信标链生成区块的期间,每个分片都会产生一个交联一词,因为并没有“连接”到分片链,直接使用“分片区块”更合适)。

请注意一个关键细节:现在任何分片位于时隙N+1处的区块都可以通过一条路径知道所有分片的在时隙N处的区块。因此,我们现在有了一流的单时隙跨分片通信。

Doge meme原型犬病危,,相关项目方留言回应:12月27日消息,Doge meme原型犬Kabosu主人在社交媒体上发文表示,“Kabosu已经到了病危阶段,但相信会没事的,因为我们从世界各地得到了力量”。目前,DogeCoin联合创始人Shibetoshi Nakamoto以及The Doge NFT等相关项目官方账号已留言回应。[2022/12/27 22:10:35]

-现状-

-新提案-

在这个提议中我们改变了见证消息所连接对象的结构:在原先的方案中,见证消息中包含着“交联”,交联中包含着以某种复杂序列化形式表示的许多分片区块的“数据根”;但在新提案中,见证消息只包含着一个数据根,该数据根代表着一个区块内的内容。分片区块还将包括来自提议者的签名。为了促进p2p网络的稳定性,计算提议者的方式依然使用之前基于常设委员会的算法。如果没有可用提案,交联委员会成员也可以就“零提案”进行投票。

我们依然在状态中存储一个映射?latest_shard_blocks:shard->(block_hash,slot)?,不同的是参数由epoch变为时隙。在理想状况下,我们希望每个时隙这个映射都能够得到更新。

将?online_validators?定义为活跃验证者的子集,活跃验证者即在过去8个时段中至少有一个epoch包含其见证消息。只有2/3的?online_validators?都对给定分片的同一个新区块达成共识,上述映射才会进行更新。

土耳其对SBF展开了关于欺诈指控的调查:金色财经报道,土耳其对加密货币交易所FTX前CEO SBF展开了关于欺诈指控的调查,安卡拉的国营新闻机构补充说,在对欺诈指控进行调查期间,FTX 附属公司的资产也已被没收。由金融犯罪调查委员会 (MASAK) 发起的新调查。 财政部长 Nureddin Nebati 在他的声明中表示,必须以“最大程度的谨慎”对待加密货币市场,认为该行业既带来了新的风险,也带来了机遇。[2022/11/24 8:02:19]

假设当前时隙是?n?,但对于给定分片?i,latest_shard_blocks.slot<n-1,我们则需要对该分片的见证消息来提供范围??内所有时隙的数据根。

分片区块仍需指向“先前的分片区块”,我们还是要强制保证一致性,因此该协议就要求多时隙的见证消息来保证一致性。委员会采用以下“分叉选择规则”:

对于每个有效且可用的分片区块B,计算其最新消息支持B或B的后代的验证者总权重,暂且将该权重称为分片区块B的“得分”。即使是空白的分片区块也可以有得分。

在?latest_shard_blocks.slot+1?处根据最高得分选出相应区块

在?latest_shard_blocks.slot+k?处选择区块时,也根据最高得分来选,但仅考虑其父块已在?latest_shard_blocks.slot+(k-1)?处被选择的区块

10月Solana链上NFT销售额约6300万美元,创迄今最低单月销售额记录:金色财经报道,据 cryptoslam 最新数据显示,10 月 Solana 链上 NFT 销售额仅为 63,313,479.15 美元,创下迄今为止最低单月销售额记录。10 月 Solana 链上 NFT 交易总量为 1,084,564 美元,独立买家 161,759 个,独立卖家 192,327 个,链上单笔交易均价约为 58.38 美元。[2022/11/1 12:03:53]

概述

从信标区块N到信标区块N+1的发布过程如下:

信标区块N发布;

对于任何给定的分片i,分片i的提议者提议一个分片区块。该区块的执行过程可知信标区块N和先前区块的根;

被分配到分片i的见证者提交见证消息,包括其对时隙N处的信标区块和分片i区块的意见;

信标区块N+1发布,其中包括对所有分片的见证消息。区块N+1的状态转换函数对这些见证消息进行处理,并且更新所有分片的“最新状态”。

成本分析

请注意,参与者不需要随时主动下载分片区块数据。相反地,提议者发布提议时,只需要在3秒内上传上限为512kB的数据,随后委员会验证提议时,只需要在3秒内下载上限为512kB的数据。

请注意,此操作的要求低于目前每个验证者的长期负载要求,即每个epoch约2MB。然而,这对“突增性”负载的要求更高:之前是3秒内上限64KB,现在3秒内上限会提高到512KB。

见证消息负载的信标链数据更改如下。

每条见证消息有224字节的基本开销,再加上见证者字段需要少则32字节,多则256字节的数据。也就是说,一条见证消息需要256-280字节的开销。一个区块最多可以有256条见证消息,平均则是约128条,所以单个区块的消息开销在平均条件下是32768字节,最糟糕的情况下是122880字节。

韩国职业棒球联盟将于7月底推出NFT服务KBOLLECT:7月12日消息,韩国职业棒球联盟(KBO)计划于7月底推出其KBO NFT数字服务KBOLLECT,并选定Dunamu财团为KBO NFT官方合作伙伴。

据悉,KBOLLECT是指利用KBO联赛的各种内容发行NFT收藏卡,这是一项将KBO联赛球员的照片和著名的比赛场景制作成NFT卡产品,以便棒球迷可以收集并相互交易的服务。

该服务由Dunamu与KBO联合策划,将通过Upbit NFT交易平台发售,韩国互联网巨头Naver将支持这些KBO NFT的收藏及展览等服务。(首尔体育)[2022/7/12 2:07:44]

每个分片状态更新消息需要:区块体chunk数据根,每128kB的区块数据就需要一个数据根,所以平均需要48字节,最大需要128字节;分片状态根,128字节;区块体长度,8字节;custodybits,少则32字节,多则256字节。因此,平均来看需要216字节,最大需要520字节。单个区块最多可以有256条分片状态更新消息,平均是64条。因此平均需要13824字节,最大需要133120字节。

每个证明有大约300字节的固定数据,加上一个位字段,即每个epoch400万bit,每个时隙8192字节。因此,目前方案的最大负载为128*300+8192=46592,平均情况中的负载可能更接近32*300+8192=17792,即使这样还可以通过压缩证明中的冗余信息来降低负载。

出于效率考量,在一个区块中我们仅包含胜出见证消息中的分片状态更新数据;对所有其它见证消息中的分片状态更新数据都仅保存其哈希值作为替代。这样就可以大幅节省数据开销。

还要注意的是,见证聚合在每个分片中每个时隙的成本为65536*300/64=307200字节。这对运行节点提出了一个天然的系统需求门槛,因此要再压缩区块数据的话也没有什么意义。

从计算层面来说,唯一大幅增加的花销是需要更多的配对,每个区块的上限从128增加到192,而这将使得区块处理时间延长200ms。

“基础操作系统”分片

每个分片都有一个状态,就是一个?ExecEnvID->(state_hash,balance)?的映射。一个分片区块被分成一组chunk,每个chunk指定一个执行环境。一个chunk的执行依靠状态根和chunk的内容作为输入,并输出??元组的一个列表,每个分片最多拥有一个?EE_id。我们也会从该EE的余额中减去value的总数。

在分片区块头里,我们放置了一个“收据根”,里面包含了一个映射:?shard->…]?。

在分片i上的一个分片区块,应有一个默克尔分支,包含所有其它分片的收据,而这棵默克尔分支就是由其它分片的收据根生成的。收到的价值会被分配到其EE,且EE可以访问?msg_has?。

这就使得不同的分片可以在EE间实现即时的ETH转移,此时每个区块的开销为(32*log(64)+48)*64=15360字节。msg_hash?可以被用于减少伴随ETH转移所传递的跨分片信息见证内容的大小,因此在一个高度活跃的系统里,15360字节数据是必不可少的。

主要益处:更简单的费用市场

我们可以接着修改执行环境系统:每个分片都有一个状态,该状态包含状态根和执行环境的余额。执行环境将能够发送收据,向其它分片的同一EE直接发送货币。这个过程将使用默克尔分支处理机制来完成,每个分片的EE状态储存着一个其余每个分片的nonce,用以抵御重放攻击。EE也可以用来直接向区块提交者支付费用。

这提供了足够强大的功能性,使得EE能够建立在这样的基础之上:允许用户在分片上存币,并将其用于支付交易手续费;在分片间转移币就如在同一分片内进行操作一样简便,从而消除了对中继市场需求的紧迫性,也不需要让EE来承担实现optimistic跨分片状态的负担。

完全的和压缩后的见证消息

出于对效率问题的考量,我们还进行了以下的优化。如前所述,指向时隙n的见证消息可完整地包含在时隙n+1中。但是,如果此种见证消息需要被包含在后续的时隙中,则必须以“精简形式”进行嵌套,仅包含信标区块,而不包含任何交联数据。

这不仅起到了裁减数据的效用,更重要的是,通过强制“旧见证消息”保存相同数据,可以减少用于验证见证消息所需的配对数:在大多数情况下,所有来自相同时隙的旧见证消息都可以经由单一配对验证。如果链不分叉,那么在最坏的情况下,用以验证旧见证消息所需的配对数会被限制在epoch长度的2倍。如果链确实分叉,则要包含所有见证消息的能力就得依赖于一个更高的诚实提议者比例,并且要将更早的证明也包含进去。

保证轻客户端的参与

每天,我们随机选择一个由大约256个验证者组成的委员会,这个委员会可以在每个区块上进行签名,其中签名被包含的验证者便可以在区块n+1中获得奖励。这样做的目的是允许计算能力不高的轻客户端参与。

题外话:数据可用性根

证明一个128kB数据的可用性的操作是多余的,几乎没有价值。与此相反,有意义的是:要求一个区块能够提供该区块接受并组合在一起的所有分片区块数据的串联根。然后可以根据此数据创建单个数据可用性根。请注意,创建这些根可能要花费比一个时隙更长的时间,因此,最好用于检查一个epoch前的数据的可用性。

其他可能方案

时隙n的分片区块必须引用时隙n-1的信标链区块,而不是时隙n处的信标链区块。此种措施将允许以时隙为单位的循环并行发生,而不是串联发生,从而减少时隙时间,这样做的代价是导致跨分片通信时间从1个时隙上升到2个时隙。

如果一个区块提议者试图将区块大小扩大到64KB以上,他需要首先生成64kB的数据,然后让交联委员会对其进行签名,接着,他们可以添加一个引用第一个签名的64kB数据,以此类推。这将鼓励区块创建者每隔几秒提交他们区块的部分完成版本,从而创建一种预先确认的机制。

加快秘密领导人选举的发展。

与其使用“强制嵌入”机制,我们不如寻求一个更简单的替代方案:每个分片为其余的每个分片维护一个“inboundnonce”和一个“outboundnonce”,一个分片制造的收据将需要手动进行添加,并由接收的分片按顺序进行处理。收据生成将受限于每个区块每个目标分片的少数收据,以确保一个分片能够处理所有传入的收据,即使是所有分片同时向它分送收据。

原文链接:?

https://notes.ethereum.org/@vbuterin/HkiULaluS?from=groupmessage&isappinstalled=0

作者:?Vitalik

本文由?ECN以太坊中国?社区翻译,EthFans经授权使用译本。再出版时,根据原文的改动更新了译本。

标签:NFTETHSHARDSHAGNFT价格ethw币价格Almace ShardsShambala

火必下载热门资讯
美国立法者考虑制定法案将稳定币归类为证券

作者:XiuMU 来源:比推bitpush.news比推消息,美国国会正在考虑制定一项法案,以将价值与法定货币或其他资产挂钩的稳定币归类了证券.

1900/1/1 0:00:00
投资人你在哪儿,我区块链又回来了

文:田牧 来源:投中网商业深度 无论股市还是币价,在热度褪去后,终会回归冷静,回到区块链技术本身的价值和应用上来。区块链的第一次狂热源于两年前.

1900/1/1 0:00:00
Bakkt宣布将在12月9日推出比特币期权合约

作者:LiangCHE 来源:比推bitpush.news比推消息,加密交易平台Bakkt宣布将在12月9日推出比特币期权合约.

1900/1/1 0:00:00
传统企业福音,会计巨头正式推出区块链实用性工具

目前,区块链技术在企业领域的增长和采用正在迅速发展。会计区块链联盟等组织也为该组织提供了帮助,该联盟致力于向企业和组织提供有关与数字资产和区块链有关的会计事项的培训.

1900/1/1 0:00:00
巴比特专栏 | 区块链本质论:计算及共识本质

区块链本质论 区块链被大家关注事件好事情,但非常不希望看到各种区块链项目盲目上马,造成各种社会资源的浪费。区块链技术本身尚在发展阶段,还有很多核心技术问题有待突破,对区块链技术本质还充斥着各种不同的理解.

1900/1/1 0:00:00
为何放弃大交易所而投资小交易所?游戏大佬郭海滨总结出区块链五大未来投资赛道

10月25日下午,现任盛大网络旗下ActozSoft(亚拓士)董事长兼CEO、大币网Dcoin交易所天使投资人郭海滨做客链节点ChainNode进行AMA,与社区网友一起分享他对区块链在游戏领域的发展前景.

1900/1/1 0:00:00