Vitalik: 关于两个slot的提议者/构建者分离方案的具体设计

来源|ethresear.ch

作者|VitalikButerin

翻译|EthereumCN

原标题:《Vitalik:两个slot的提议者/构建者分离方案》

译者注:目前新的分片方案Danksharding融合了PBS(提议者/构建者分离方案)和crList的设计。其中,PBS方案的构造设计采用的是两个slot的PBS,这也是crList的设计基础。关于这种“混合式PBS”的抗审查分析,可以参见《Vitalik:如何提高PBS方案的交易抗审查性》。本文是两个slot的PBS方案的具体设计。

在一个slot对里的事件顺序

就在0秒之前—发布执行头部发布:任何人都可以发布一个执行头部,它包含一个执行哈希,一个出价,和一个构建者的签名。

0秒—信标区块期限:信标区块必须打包胜出的执行头部

0—2.67秒—对信标区块做证明:只有一个委员会对信标区块做证明投票

8秒—中间区块的期限:胜出的区块构建者发布一个中间区块,由执行区块主体和他们可以找到的对信标区块尽可能多的证明组成。

Reflexivity创始人:多个DCG相关币种正被大幅抛售:12月17日消息,加密货币分析机构Reflexivity Research的创始人Will Clemente发推称,多个与DCG相关的加密货币(FIL、ZEN、ETC、NEAR等等)昨晚均遭到大幅抛售,怀疑抛压来自于DCG本身。CHEV合伙人Adam Cochran也表示,从具体某些山寨币的跌幅以及成交量来看,DCG似乎正在清算。

行情数据显示,FIL暂报3.11美元,24 小时内跌幅18.97%,凌晨最低一度触及2.419美元,最大跌幅超40%。[2022/12/17 21:50:00]

8—10.67秒—对中间区块的证明:剩下的N-1委员会对中间区块做证明投票

10.67—13.33秒—聚合中间区块的证明

13.33—16秒—发布下一个执行头部

如果错失了一个信标区块,下一个slot会被换为信标区块而不是中间区块。

图表解释

Vitalik Buterin(V神)突然现身基辅科技峰会:金色财经报道,以太坊联合创始人Vitalik Buterin(V神)突然现身基辅科技峰会,Buterin 在基辅现身特别值得注意,因为目前距离以太坊备受期待的合并只有几天的时间。作为峰会闭幕发言人之一,Buterin表示区块链、以太坊、加密世界中的很多人在关心和支持乌克兰,其他峰会发言人包括Binance乌克兰总经理 Kiril Khomiakov、NEAR Protocol 联合创始人Illia Polosukhin和乌克兰创业基金董事 Pavlo Kartashov。(coindesk)[2022/9/11 13:22:08]

关键的特性

从分叉选择的角度来看,该系统可以被描述为就像现在的信标链,只是委员会的规模是不平均的,且会有一个(区块,slot)分叉选择。唯一的区别是有些区块只是用来选择为紧随其后的区块选择提议者。这就简化了分析。

每个步骤之间的委员会有助于确保每个步骤都是“安全的“,并且减少被单个行动者滥用带来的影响。

构建者的安全特性

在发布出价那一步,构建者看到执行头部,并知道它是否安全(如果有很多反对票或缺失的证明,这个执行头部可能是不安全的)。

声音 | Vitalik:以太坊基金会年预算3000万美元 资金可持续 6 年:近日,社区有声音表示以太坊基金会计划在明年停止对大部分内部团队的资助,因此出现了以太坊基金会可能资金不足的猜测。对此,Vitalik本人在以太坊2.0的中文社区中回应称:停止资助是基金会筛选的结果,目前资金充足。V神表示,这不是没有钱的问题,基金会目前年预算仍然是 3000 万美元,足够持续6年。最近在筛查内部资助的团队,有一些自然被剔除了,这是因为不想资助他们。(区块律动)[2019/12/8]

如果执行头部是安全的,除非出现大于45%的攻击、非常大量的罚没,或非常严重的网络延迟,执行头部才可能被回滚。在这种情况下,构建者可以放心进行安全出价。

如果执行头部是不安全的,在他们发布他们的主体后区块链还是有重组的风险,以“偷走”他们的MEV机会。在这种情况下,构建者看到这个风险后可以调低他们从这个风险获得风险溢价的出价。

在发布中间区块时,会有两种情况:

信标区块还未被发布。在这种情况里,证明委员会已经对该区块投反对票,因此中间区块产生者(即构建者)可以安全地不发布,也不会受到惩罚。

信标区块已经发布。在这种情况下,中间区块会有“提议者得分激励(proposerboost)',这个激励会比整个证明委员会幅度的大,因此如果构建者发布了,他们的区块将在其余N-1证明委员会的证明里获胜。

动态 | RippleNet与秘鲁Interbank银行和英国Vitesse银行合作:RippleNet新增加了两个合作伙伴,分别为秘鲁Interbank银行和英国Vitesse银行。这两家机构可能会开始使用Ripple的xCurrent系统来进行国际支付。(U.Today)[2019/9/20]

这确保了如果证明委员会是诚实的,且网络延迟没有非常严重的情况下,构建者就能保证:

如果他们发布了区块就能被打包

如果他们因为信标区块头缺失而不发布区块是不会被惩罚的

构建者有大约5.33—8秒的时间发布区块。在他们看到信标区块时可以放心马上发布;但是,他们可能会想等看到更多证明时再发布,因为他们打包证明会得到奖励(被打包的证明者也会得到奖励)。他们可以自由地在这段时间内(即5.33秒的窗口,获得打包证明奖励与第8秒的窗口没能获得打包证明奖励)协商权衡。

信标链规范变更的概要?

提议者索引定义

把get_random_proposer_index(state:State)设为现在get_beacon_proposer_index(state)返回的内容。

现场 | Vitalik Buterin:“去中心化”系统有三种不同的形式:金色财经现场报道,今日,由金色财经提供战略媒体支持的以太坊产业发展峰会在香港举办,会上以太坊创始人Vitalik Buterin分享了“去中心”的三种不同形式,即架构上的去中心化、上的去中心化和逻辑上的去中心化。Vitalk进一步解释了关注“去中心”的原因。他认为,去中心的系统在容错性方面更强,更容易抵制网络攻击,也更容易防止参与方的作恶行为。[2018/9/8]

添加状态变量chosen_builder_index和chosen_exec_block_hash。如果slot是空的,设state.chosen_builder_index=NO_BUILDER(一个等于2**64-1的常量)。如果slot包含一个信标区块,它会包含BuilderBid,设:

state.chosen_builder_index=builder_bid.message.builder_index

state.chosen_exec_block_hash=builder_bid.message.exec_block_hash

get_beacon_proposer_index(state:State)的定义如下:

如果state.chosen_builder_index==NO_BUILDER,返回get_random_proposer_index(state)

否则,返回state.chosen_builder_index

携有出价区块的条件

如果state.chosen_builder_index==NO_BUILDER,这个区块需要包含一个BuilderBid,且可能不包含一个ExecBody。builder_bid需要通过以下检查,且其中val=state.validators:

bls.Verify(val.pubkey,compute_signing_root(builder_bid.message),builder_bid.signature)

val.activation_epoch==FAR_FUTURE_EPOCHorval.withdrawable_epoch<=get_current_epoch(state)

val.balance>=builder_bid.bid_amount

在处理逻辑中添加余额转账:

val.balance-=builder_bid.bid_amount

state.validators.balance+=builder_bid.bid_amount

把get_committee_count_per_slot改为接受输入(state:BeaconState,slot:Slot)(而不是epoch)。如果一个slot出现state.chosen_builder_index==NO_BUILDER,委员会数应该返回1。

携有执行主体的区块的条件

如果state.chosen_builder_index!=NO_BUILDER,区块需要包含一个ExecBody且可能不包含BuilderBid。ExecBody需要通过以下的检查:

hash_tree_root(exec_body)==state.chosen_exec_block_hash

eth1_validate(exec_body,pre_state=state.latest_exec_state_root)

在处理逻辑中添加:

state.latest_exec_state_root=exec_body.post_state_root

get_committee_count_per_slot应该返回(get_epoch_committee_count(epoch)-state.committees_in_this_epoch_so_far)//(slots_remaining_in_epoch)

如果state.chosen_builder_index!=NO_BUILDER,设state.chosen_builder_index=NO_BUILDER,无论是否有区块。

请注意

slot时间减少到8秒(请记住:执行区块会是每2个slot出现一个)。

所有信标区块,包括携有出价和执行主体的,在分叉选择时都应该有proposerboost。

分叉slot应该改为(block,slot)

可能的延展:通过一项费用延迟发布

如果中间区块的构建者在slotN不发布区块,在slotN+1就没有交易捆可选。整个提议者序列会被往后推一个slot(因此slotN+1的构建者会变成slotN+2的提议者,以此类推),且slotN+1需要选出一个新的随机提议者。构建者会获得另一个机会(即额外的12秒作为松弛空间)来发布。该slotN+1执行区块不能包含任何高价值的共识交易(例如罚没)。但是,他们会被罚款block.basefee*block.target_gas_limit。

原因是他们的执行区块被延迟了一个slot,并前置了一个空的执行区块,因此他们需要为这个slot付费。提议者序列被延迟确保延迟某个提议者的执行区块对于当被提议的区块是高价值时窃取未来的提议权是没用的。

对分片可能的延展

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

金宝趣谈

[0:15ms0-7:947ms