链资讯 链资讯
Ctrl+D收藏链资讯
首页 > FTT > 正文

300:Vitalik:Eth2分片链简化提案_杭州女子花300万买比特币

作者:

时间:

作者:VitalikButerin

来源:ECN以太坊中国

要点提炼

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

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

在L1和L2层实施了诸多简化方案:所需的分片链逻辑更少,由于“本地”跨分片通信发生在1个时隙内,无需通过Layer2进行跨分片加速,(iii)无需通过去中心化交易所来促进跨分片交易费的支付,(iv)执行环境能够进一步简化,(v)无需再混合序列化和哈希。

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

介绍/理念

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

Vitalik Buterin:以太坊目前最紧迫需解决的问题是实现更高水平的可扩展性:金色财经报道,以太坊联合创始人Vitalik Buterin表示,节点的中心化是以太坊网络面临的最大问题之一,应该通过使节点的运行更便宜、更容易来解决。目前,5,901个活跃的以太坊节点中的大多数都通过Amazon Web Services (AWS) 等中心化网络提供商运行,许多专家声称这使得以太坊区块链面临中心化故障点。

Vitalik Buterin表示,减少以太坊中心化的下一个最重要举措包括,使文档变得更容易,降低分布式质押的障碍,确保质押更安全、更广泛;总体而言,抵押以太币(ETH)变得更加方便。但最终,Buterin得出的结论是,对于整个以太坊来说,最紧迫的问题是实现更高水平的可扩展性。[2023/9/5 13:18:55]

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

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

Cosmos上IBC DeFi协议Gravity DEX已完成部署:据官方消息。7月13日,Cosmos上IBCDeFi协议GravityDEX宣布已完成部署,后续将上线GravityBridge以连接以太坊和其他EVM兼容链。GravityDEX是为CosmosHub创建的链间去中心化交易所,并将CosmosHub确立为链间中心,允许交易任何连接链的代币。[2021/7/13 0:47:15]

方案细节

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

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

近似现状

新提案

动态 | OKB上线新加坡币星交易所及去中心化交易所ViteX:本周,OKB先后上线新加坡币星交易所及去中心化交易所ViteX,并借助他们在新加坡、俄罗斯、东南亚及欧美地区的影响,拓宽海外用户。本月以来,随着价格的增长,OKB市场活跃度明显提高。此前韩国2家交易所,Bitribe和BW也已支持OKB币币交易。

截至目前,OKB开启美元、欧元、韩元、越南盾、印尼卢比等法币通道,并已上线50余个交易所,覆盖了全球141个国家和地区的百万用户。[2020/2/26]

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

我们依然在状态中存储一个映射latest_shard_blocks:shard->(block_hash,slot),不同的是由存储epoch变为时隙。在“乐观情况”下,我们希望这个映射能够更新每个时隙。

将online_validators定义为活跃验证者的子集,活跃验证者即在过去8个epoch中至少有一个epoch包含其证明。如果总数量中2/3的online_validators就给定分片中的新区块达成一致,映射才会进行更新。

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

现场 | Vitalik Buterin:区块链可以被视作是一种促进各种经济协调的工具:金色财经现场报道,今日,由金色财经提供战略媒体支持的以太坊产业发展峰会在香港举办,会上以太坊创始人Vitalik Buterin及其团队接受了包括金色财经在内的中外媒体采访。在回答“区块链究竟能给我们这个社会带来些什么”这一问题时,Vitalik Buterin表示:“我认为你可以把区块链看作是一种促进各种经济协调的工具,就像其他不同种类的经济机制一样,人们可以在互联网上合作制作内容,然后再各自获得报酬,这样就会鼓励人们更具有责任心,他们在制作新闻的时候也会更负责,不会出现虚假新闻。现阶段,人们正在提出各种不同的工具、或是不同的经济机制,鼓励大家以更广泛的受益形式来工作。传统支付方式很难满足这种协作工作模式,因此区块链能够创建全新的经济机制。我写论文的时候,也得到了开发者们的支持。”[2018/9/8]

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

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

为slot+1选择得分最高的分片区块。

为slot+k选择得分最高的分片区块,考虑范围内的区块需要指向latest_shard_blocks.slot+(k-1)已经选出的区块。

金色财经现场报道 以太坊创始人Vitalik Buterin:验证节点的位置越多要的算力也越多 :金色财经6月3日现场报道,在今天的以太坊技术及应用大会上,以太坊创始人Vitalik Buterin做了题为“Casper与分片技术最新进展”的主题演讲。V神说,验证节点的责任为:验证主链;验证2个分片(为了生成区块,为了确认区块/交联);生成分片区块;生成主链的区块;确认分片区块并进行交联。V神指出:你拥有的以太币越多,你的验证节点的位置越多,那么需要的算力也越多,这个机制支持协议的多中心化,对拥有较少以太币的人会公平一些。[2018/6/3]

概述

信标区块N和信标区块N+1之间的发表过程如下:

信标区块N发布;

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

映射到分片i的证明者进行证明,包括其对分片i中的时隙N信标区块和分片区块的意见;

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

成本分析

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

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

证明负载的信标链数据更改如下。

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

在本提议中,我们可以看到两种负载:

时隙n的证明将包含在时隙n+1中。我们可以允许包含两个最受欢迎的分片区块/区块头组合,所以就有了128个未经压缩的证明

时隙n+1之后的时隙n中压缩版证明数量最多为128

因此最大负载计算为128*300+128*200+8192=72192,平均情况负载约为80*300+10*200+8192=34192。

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

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

“基础操作系统”分片

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

在分片区块头里,我们放置了一个“收据根”,里面包含了一个映射:shard->…](每个分片最多8个元素;并应该意识到跨分片绝大多数的EE转移是发送到相同的EE,在这种情况下元素的数目甚至更少)。

分片i上的分片区块必须包含一个分片j收据的默克尔分支,而这个分片j是相互分片,该分支位于另一分片的“receiptroot”。接收的值被分配给它的EE,并且msg_hash对于EE执行是可访问的。

这就允许不同分片之中的EE可以即时进行ETH转移,此时每个分片的成本为(32*log(64)+48)*64=15360字节。msg_hash可以被用于减少伴随ETH转移所传递的跨分片信息待验证内容的大小,因此在一个高度活跃的系统里,15360字节数据是必不可少的。

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

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

这提供了足够强大的功能性,使得EEs能够建立在这样的基础之上:允许用户在分片上存币,并将其用以交易费用开支,跨分片上进行这些币的转移,就如在同一分片内进行操作一样简便,从而消除了对中继市场需求的紧迫性,并让EEs承担实施乐观跨分片状态的负担。

压缩证明

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

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

保证轻客户端的参与

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

题外话:数据可用性根

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

其他可能方案

slotn的分片区块必须查阅slot?n-1的信标链区块,而不是slot?n。此种措施将允许每个时隙并行循环发生,而不是串联形式,从而减少时隙时间,这样做的代价是导致跨分片通信时间从1个时隙上升到2个时隙。

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

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

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

标签:300SHABLOHASH杭州女子花300万买比特币Crypto Gladiator Shardsblockchain公司介绍Ethash Miner

FTT热门资讯
AND:巴比特专栏 | 数字英镑:金融科技故事里的愿景与初心_ARE

央行的数字法币是近期我国最受关注的金融科技重大事件之一。我们从不太远的2016年的一份金融科技的演讲中寻觅最初数字法币的愿景.

区块链:蚂蚁金服副总裁蒋国飞:区块链已全面参加天猫双11_开发区块链数字货币

来源:蚂蚁金服 蚂蚁金服副总裁蒋国飞11日在天猫双11媒体中心宣布,区块链已全面参加今年天猫双11,在正品溯源、原创“卖家秀”保护、服务小商户贷款、全球贸易等领域发挥作用.

区块链:广东省市场监管局创新监管,拟在6市部署食用农产品区块链溯源系统_开发区块链数字货币

撰文:王佳欣 来源:南方日报 编者注:原标题为《?广东省市场监管局创新监管守护老百姓“舌尖上的安全”探索区块链技术为食品溯源》校园“明厨亮灶”覆盖率99.9%,引入区块链溯源农产品.

区块链:剖析第二批区块链服务备案名单: 网监部门现场核验 一半申报项目被否_Pocketful of Quarters

来源:证券日报 记者?邢?萌 10月18日,中央网信办发布第二批境内区块链服务备案名单,309项服务榜上有名.

KKT:Bakkt比特币合约单日飙涨257%,已超1100份_MEB

据外媒今日消息,机构比特币交易平台Bakkt在上周创下新纪录后,有望将其交易量的历史新高提高三倍.

比特币:扶摇直上九万里:比特币积极看涨的五大逻辑_比特币市值占比查询

自从比特币6月份冲高回落以来,经历了4个月的回调。比特币作为区块链技术最成功的应用,从上游的挖矿芯片、矿场、矿池、到下游的交易所、钱包,以及周边的媒体资讯、数据分析等,比特币诞生十年,已然形成了.