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秒—中間區塊的期限：勝出的區塊構建者發布一個中間區塊，由執行區塊主體和他們可以找到的對信標區塊盡可能多的證明組成。

Web3加速器GRAVITON公布首批入圍隊列，每個項目將獲5萬美元投資:5月9日消息，專注于新興市場的Web3加速器GRAVITON 已公布首批入圍隊列，覆蓋DeFi 支付、去中心化身份、現實世界資產標記化、NFT交易、GameFi等領域，其中包括Spydra、Strive、Zoth、Wall、GETSecured、Fetcch等七個印度項目。每個入圍項目將從Graviton獲得高達50,000美元的初始投資和來自全球Web3品牌的技術資助，以及與全球風險投資公司建立聯系并獲得未來機構資金的機會。[2023/5/9 14:52:57]

8—10.67秒—對中間區塊的證明：剩下的N-1委員會對中間區塊做證明投票

10.67—13.33秒—聚合中間區塊的證明

13.33—16秒—發布下一個執行頭部

如果錯失了一個信標區塊，下一個slot會被換為信標區塊而不是中間區塊。

圖表解釋

關鍵的特性

Gravity DEX開發團隊成立新項目Crescent:3月11日消息，開發流動性模塊Gravity DEX的B-Harvest團隊分拆成立了一個名為Crescent的新項目，正在尋求完全重構和擴展Gravity DEX。Crescent由Ignite Ventures資助，并與Ignite團隊合作支持Crescent項目。

Crescent已經公布了治理代幣CRE分配模型，總量2億枚，其中將向ATOM委托者（delegator）空投1億枚，另外1億枚作為戰略儲備。空投方面，5000萬枚CRE可在Crescent網絡啟動后推出Crescent DEX（DEXdrop）時索取，具體空投數量會根據二次空投系統確定，即按UTC時間2022年1月1日00:00快照時委托數量的平方根來決定，如果參與一些治理提案，能獲得通過固定乘數獲得更多獎勵；剩余5000萬枚將在一定時期內分配給使用Crescent Boost的ATOM委托人。[2022/3/11 13:50:06]

從分叉選擇的角度來看，該系統可以被描述為就像現在的信標鏈，只是委員會的規模是不平均的，且會有一個(區塊，slot)分叉選擇。唯一的區別是有些區塊只是用來選擇為緊隨其后的區塊選擇提議者。這就簡化了分析。

Vitalik Buterin證實自己正在幫助狗狗幣過渡至PoS網絡:2月1日消息，以太坊聯合創始人Vitalik Buterin最近在接受UpOnly采訪時證實自己正在幫助狗狗幣（DOGE）過渡至PoS網絡。Vitalik表示：“幾乎每一個主流區塊鏈現在都有向PoS過渡的計劃，狗狗幣也不例外。”（Finbold）[2022/2/1 9:26:31]

每個步驟之間的委員會有助于確保每個步驟都是“安全的“，并且減少被單個行動者濫用帶來的影響。

構建者的安全特性

在發布出價那一步，構建者看到執行頭部，并知道它是否安全(如果有很多反對票或缺失的證明，這個執行頭部可能是不安全的)。

如果執行頭部是安全的，除非出現大于45%的攻擊、非常大量的罰沒，或非常嚴重的網絡延遲，執行頭部才可能被回滾。在這種情況下，構建者可以放心進行安全出價。

如果執行頭部是不安全的，在他們發布他們的主體后區塊鏈還是有重組的風險，以“偷走”他們的MEV機會。在這種情況下，構建者看到這個風險后可以調低他們從這個風險獲得風險溢價的出價。

在發布中間區塊時，會有兩種情況：

Swingby與Waves計劃將LTC、BEP-2代幣和隱私幣連接到Gravity:Swingby和Waves聯合力量來增強其鏈間基礎設施，并將LTC、BEP-2代幣和隱私幣連接到Gravity及其各種目標鏈。Swingby和Gravity宣布達成合作，重點是將兩個為跨鏈交互設計的基礎設施結合起來，共同構建鏈間DeFi。（Globe Newswire）[2020/9/1]

信標區塊還未被發布。在這種情況里，證明委員會已經對該區塊投反對票，因此中間區塊產生者(即構建者)可以安全地不發布，也不會受到懲罰。

信標區塊已經發布。在這種情況下，中間區塊會有“提議者得分激勵(proposerboost)'，這個激勵會比整個證明委員會幅度的大，因此如果構建者發布了，他們的區塊將在其余N-1證明委員會的證明里獲勝。

這確保了如果證明委員會是誠實的，且網絡延遲沒有非常嚴重的情況下，構建者就能保證：

如果他們發布了區塊就能被打包

如果他們因為信標區塊頭缺失而不發布區塊是不會被懲罰的

構建者有大約5.33—8秒的時間發布區塊。在他們看到信標區塊時可以放心馬上發布；但是，他們可能會想等看到更多證明時再發布，因為他們打包證明會得到獎勵(被打包的證明者也會得到獎勵)。他們可以自由地在這段時間內(即5.33秒的窗口，獲得打包證明獎勵與第8秒的窗口沒能獲得打包證明獎勵）協商權衡。

動態 | Vitalik Buterin 反駁 Tuur Demeester 對以太坊的批評:以太坊創始人 Vitalik Buterin 在 Reddit 上逐條點評和反駁了 Adamant Capital 創始人 Tuur Demeester 此前對以太坊做出的批評。Vitalik Buterin 稱，這些批評意見無視以太坊在研究和開發方面取得的進展，忽視了以太坊社區在過去一年中規模的擴張和專業度的提升。此前，Tuur Demeester 連發 50 條推文，歷數他眼中以太坊的種種短板，認為以太坊最多是一個科學實驗，其目前市值已經跌至 130 億美元，依然估值過高，這一系列推文引發大量討論。[2019/1/1]

信標鏈規范變更的概要?

提議者索引定義

把get_random_proposer_index(state:State)設為現在get_beacon_proposer_index(state)返回的內容。

添加狀態變量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付費。提議者序列被延遲確保延遲某個提議者的執行區塊對于當被提議的區塊是高價值時竊取未來的提議權是沒用的。

對分片可能的延展

Tags：STATATESTATBUILDbitstamp交易所app下載iht-real-estate-protocolSTAT價格BuildUP

瑞波幣