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

Vitalik：因FTX的中心化性質，其崩潰是不可避免的:11月12日消息，以太坊聯合創始人Vitalik Buterin表示，FTX的巨大崩潰是不可避免的，因為它的中心化性質。在被問及FTX和其他加密貨幣公司今年的崩潰時，V神說:“今年我們看到了大量這樣的事情，因為它們的模式從根本上說是壞的”。

Buterin指出，FTX的營銷類似于“1930年代獨裁者”的“個人主義風格”，這與加密貨幣精神完全相反。（decrypt.co）[2022/11/12 12:54:33]

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

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

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

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

圖表解釋

關鍵的特性

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

Aptos：此前推出的測試網NFT系列代表Longevity測試網的啟動:9月20日消息，公鏈項目Aptos公布激勵測試網3（AIT3）參與和獎勵變更情況，為參與者增加了50%的獎勵，將最多800枚代幣獎勵上調至1200枚，也就是說全額獎勵為1200枚，滿足≥50% Staking獎勵的將獲得800代幣，滿足≥9%的質押獎勵或治理投票為零的人將獲得500枚代幣。關于測試網參與情況，測試網在不到2周的時間內完成了超過8億筆交易，實現超過4000TPS。

此外，Aptos還表示，最近推出的測試網NFT系列APTOS : ZERO標志著其Longevity測試網的啟動，表示其對軟件和部署架構狀態的信心。Longevity測試網NFT會保留很長時間，而非之前的每周清零。Aptos計劃不再對Move、交易和API進行重大更改，將不再有數據清除，因此DApp和其他實體之間可以有效地建立伙伴關系。Aptos將繼續繼續每周向devnet推出更改，并將繼續每周進行清除。[2022/9/20 7:08:54]

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

構建者的安全特性

聲音 | Vitalik Buterin：可伸縮性、隱私性和可用性是以太坊的三大發展重點:據Invest In Blockchain消息，以太坊聯合創始人Vitalik Buterin在與Abra首席執行官Bill Barhydt交流時分享了以太坊的三大發展重點：可伸縮性、隱私性以及可用性。其表示，以太坊網絡需要每秒處理100,000筆交易才能成為未來可行的平臺。此外，Vitalik Buterin還表達自己對比特幣作為一種價值儲存手段將如何發揮作用的看法，其認為如果比特幣的意圖是充當一種貨幣，那么轉向“權益證明”（Proof-of-Stake）會更好。[2019/3/21]

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

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

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

現場 | Vitalik Buterin：區塊鏈可以被視作是一種促進各種經濟協調的工具:金色財經現場報道，今日，由金色財經提供戰略媒體支持的以太坊產業發展峰會在香港舉辦，會上以太坊創始人Vitalik Buterin及其團隊接受了包括金色財經在內的中外媒體采訪。在回答“區塊鏈究竟能給我們這個社會帶來些什么”這一問題時，Vitalik Buterin表示：“我認為你可以把區塊鏈看作是一種促進各種經濟協調的工具，就像其他不同種類的經濟機制一樣，人們可以在互聯網上合作制作內容，然后再各自獲得報酬，這樣就會鼓勵人們更具有責任心，他們在制作新聞的時候也會更負責，不會出現虛假新聞。現階段，人們正在提出各種不同的工具、或是不同的經濟機制，鼓勵大家以更廣泛的受益形式來工作。傳統支付方式很難滿足這種協作工作模式，因此區塊鏈能夠創建全新的經濟機制。我寫論文的時候，也得到了開發者們的支持。”[2018/9/8]

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

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

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

Vitalik為打假推特更名:犯罪分子通過偽造名人推文欺騙加密貨幣粉絲，這激怒了一名聲名顯赫的領袖人物，讓他做出改換身份的決定。以太坊創始人Vitalik Buterin近日將自己的推特名字更換成了“Vitalik No I'm not giving away ETH Buterin”（Vitalik Buterin不會給你ETH）[2018/3/16]

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

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

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

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

信標鏈規范變更的概要?

提議者索引定義

把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：STASTATTATSTATEGUSTA價格BSC StationNoah Decentralized State CoinUberstate RIT2.0

ADA