買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 幣贏 > Info

BLO:解析Aztec Labs的B52提案:ZK-Rollup如何實現定序器節點的去中心化?_Tachyon Protocol

Author:

Time:1900/1/1 0:00:00

作者:0xhhh,EthStorage;編譯:Faust,《極客web3》

導語:自Rollup成為顯學以來,定序器Sequencer去中心化始終是以太坊/Celestia社區的關注焦點,同時也是Layer2研發工作中難以逾越的大山。對此,不同的Rollup方案均提出過關于節點去中心化的設想,為這一話題提供了無比廣闊的想象空間。

本文作者以知名ZKRollup項目Aztec為例,以近期Aztec Labs提出的名為B52、Fernet的2個提案為切入點,為廣大讀者解析ZKR如何實現定序器節點的去中心化。

提案B52打算實現以下目標(理想情況下):

1. 去中心化的sequencer網絡,由L2節點自己選舉每一輪的proposer

2. 去中心化的prover網絡,prover節點硬件要求低

3. Rollup整體具備很好的抗審查性.

4.L2產生的MEV價值由L2節點獲取

5. L2區塊被提交到DA層時,可以獲得比較有效的最終性Finality,不可逆轉的finality則要等ValidityProof(有效性證明)提交完畢

6. L2 Token可以擁有不錯的經濟模型

7. L2區塊和交易數據都在L2的p2p網絡中傳播

8. L2繼承L1的安全性

該方案將整個L2出塊流程劃分成三個時間階段:

Block Proposal Window(BPW)

BlockAcceptance Window(BAW)

State advances

其中,BPW(區塊提議)階段是多個定序器Seuqnecer提出不同的區塊并競爭、Prover選擇某個備選區塊給出投票的過程。

BAW(區塊采納)是Prover給區塊構造有效性證明Validity Proof,并將其提交的過程。

Block Proposal Window(區塊提議階段):

BPW可以再細分為Block Proposal, Block Voting, Aggregation三個階段。

Cobo區塊鏈安全團隊公開0xDAO潛在盜幣漏洞發現過程及技術細節解析:4月2日消息,0xDAO v2原計劃上線前的幾個小時,Cobo區塊鏈安全團隊啟動對該項目的DaaS投前例行安全評估工作,隨后在github開源的項目代碼中發現了一個嚴重的安全漏洞。經評估,如果 0xDAO v2此時繼續上線,該漏洞預計會造成數億美金的資產損失。Cobo區塊鏈安全團隊立即啟動應急預案,快速通過多個渠道聯系到0xDAO項目方,提交該漏洞的完整攻擊流程,緊急叫停了項目上線,隨后協助0xDAO項目方對該漏洞進行了修復。

日前,0xDAO官方發布推文向Cobo區塊鏈安全團隊表示了感謝,并且表示會按照嚴重漏洞級別給予Cobo區塊鏈安全團隊漏洞賞金獎勵。[2022/4/2 14:00:31]

Block Proposal(BP)階段中任何人都可以收集交易,并廣播自己的BP內容。BP內容會包含三個部分: txs order hash, prover reward percentage, burn token amount

txs order hash: Proposer 從L2的交易池(mempool) 中選擇最有價值的一批交易并排序,然后將這批交易的哈希值放進自己構建的區塊中。

prover reward percentage: Sequencer分享給Prover的區塊獎勵百分比

burn token amount: Proposer提議銷毀的L2 Native Token數量,接著它將自己提出的BP發送到L2 p2p網絡中

Block Voting 投票階段:

Prover 在p2p網絡中接收到不同Proposer提出的BP后,會投票給能讓自己獲得最多reward的BP。不過投票的組成很特殊:

ENS開發負責人:以太坊已支持CCIP讀取與ENS通配符解析解決方案:3月14日,ENS開發負責人Nick Johnson在推特上表示,以太坊已支持CCIP讀取與ENS通配符解析解決方案。據悉,跨鏈互操作協議(CCIP)為ENS采用的跨鏈解決方案,旨在支持在二層網絡上發行鏈上的域名。[2022/3/14 13:55:55]

Vote={BlockHash, Index of Proof Tree}

BlockHash是Prover要投票的Proposal的哈希,而Index of Proof Tree則是Prover要參與構建的Proof Tree的葉子索引值(后面會解釋)

Aggregation聚合:Proposer在L2 p2p網絡中收集Prover們針對BP的投票,將其聚合并放進BP中,提交到L1上(每個BP一般只包含與自己有關的投票記錄)。

在此,需要強調BP被選中并納入Rollp賬本的先決條件:

擁有最高的分數:

SCORE(y) = NUM_PROVERS (x)^3 * BURN_BID(z)^2`

NUM_PROVERS (x)是該BP獲得的Prover投票數量,BURN_BID是該BP所提議銷毀的L2 Token數量。由于BURN_BID越高,BP提議者最后獲得的獎勵越少,所以這個數值要設置得當。

同時,該BP需要在Block Proposal Window結束前被提交到L1上,對應的有效性證明Proof要在Block Acceptance Window結束前被上傳到L1。

需要注意:BP的分數計算中,投票數量占的比重最大,其次才是burn token的數量。同時,B52方案允許多個proposer(其實就是sequencer)針對一個有效的BP名額展開競爭

B52方案僅需要Proposer(sequencer)在自己的BP中指定burn token的數量(類似于EIP1559的方式)而無需事先stake token,這可以讓網絡更加permissionless(無準入許可),同時也有利于L2的原生Token產生通縮。

動態 | EOS疑似將推出基于EOS的HandShake DNS解析服務:EOS疑似將推出基于EOS 的 HandShake DNS解析服務,一位開發者的Github顯示正在開發EOS-handshake服務。Cosmos社區總監Chjango Unchained4月30日發推表示發現EOS開發者正在復用 Handshake 的開源代碼。EOS或許會加入域名解析服務,生態會進一步擴大。(IMEOS)[2019/4/30]

此外,BP中不包含完整的交易數據,只包含交易序列的哈希,道理類似于以太坊PBS方案,旨在避免MEV被其他Proposer窺探并搶跑。

Block Acceptance Window(區塊采納階段)詳解:

在Block Proposal Window結束后,Prover需要reveal揭示他們的BP對應的完整交易數據。Prover投票的BP如果被選中的話(分數最高,可通過L1合約查詢),它們就需要構造投票時給出的Index of Proof Tree所對應的Sub Proof Tree。

假設Aztec的區塊包含2^13=16384的交易數量,并且有2048個prover,那么每個prover構造2^3=8筆交易組成的sub proof tree.然后prover把自己構造的sub proof tree廣播到L2 p2p網絡中。proposer接收之后,會把所有的sub proof tree聚合成一個block proof。

接著Propsoer將聚合的proof提交到L1的Rollup合約,合約會驗證這個proof以及對應狀態轉換結果的正確性。這里要注意,Prover如果故意不提交proof的話,不僅無法獲得Proposer許諾的區塊獎勵分紅,還會被slash,因為要成為Prover是需要提前質押Token的。因此,與Proposer(Sequencer)不同,Prover并不是Permissionless的。

State Advances(狀態推進階段)詳解:

分析 | 杯柄形態ENJ最高漲幅83% 盤面解析:金色分析師:今日山寨幣ENJ最高漲幅83%,消息面上,ENJ確定成為三星Galaxy S10手機的合作伙伴。從盤面上看,小時圖幣價在未啟動前一直處于上升趨勢中,前期已經漲了一波,縮量調整回落,然后放量上攻,到達前期高處時候,又再次縮量調整,然后在放量上攻突破前期高點,然后幣價進入直線拉升趨勢,營造杯狀帶柄形態。[2019/3/8]

在 Block Acceptance Window結束之后,Rollup合約會選擇一個分數最高的區塊納入Rollup賬本,并且把區塊獎勵Reward按照Proposer(Sequencer)事先聲明的比例,分別發送給Proposer和Prover。

以上便是Aztec的B52方案。但本文作者認為,B52提案存在一些潛在問題:

問題一: 假如一個分數最高的區塊的validity proof是不完整的。提案中給出的解決方法是,假如Proposer只提供了50%的proof,那么他也只能獲得50%的區塊獎勵,從而確保Proposer沒有動力故意不提交完整的proof。同時Prover自己也可以直接向合約直接提交proof。

按照提案的敘述,是可以接受一個區塊沒有完整交易的validity proof。這點其實是不合理的:因為:zkrollup都是在給出validity proof的同時,才聲明這個區塊對應的新狀態有效。

如果proposer最后提交到L1的聚合proof缺失了某個交易的proof,很顯然在這筆交易之后發生的所有交易的狀態轉換證明都是不成立的(因為交易是順序執行并且有狀態依賴的),我們也就無法確認這個區塊對應的新狀態是有效的。

因此這個時候,合理的方式應該是進入無限等待的Block Acceptance Window,直到所有交易的proof都提交完成。

問題二:假如得分最高的區塊是非法區塊(B52方案里也沒有解釋這點)。BP僅僅包含交易序列的哈希,所以惡意的proposer實際上可以故意構造有問題的交易,比如雙花交易。那么這個時候,實際上需要在L1合約增加一個任何人都可以提交illeagal proof的函數, 這個illeagal proof用于證明得分最高的BP是一個非法區塊。

并且這種舉報應該是有獎勵的,我們可以把proposer 發送到合約中的burn token都獎勵給提交illegal proof的舉報者節點。

摩根士丹利分析師深度報告全解析:比特幣“見底”規律及六大必讀趨勢:摩根士丹利分析師Sheena Shah 19日發表最新研報。主要觀點包括:今天正在經歷的比特幣熊市早就在2000年的納斯達克市場上演過,只不過是以15倍速度在“快進”;熊市看到唯一交易量增加的數字貨幣可能就是USDT,盡管USDT的可靠性遭遇廣泛質疑,因為交易員們面對各種幣的大跌只能暫時先買回USDT;日元升值可能促使日本散戶增加對比特幣的投資;千幣齊跌,但區塊鏈行業依舊火熱,對于傳統VC來說,參與ICO也有三大好處;比特幣與其它幣之間的相關性隨價格下跌而上升,市場上漲時,它們的相關性反而下降;比特幣在不同交易所的價差顯示,價格觸底反彈的日子,價差會有規律的突然拉大。[2018/3/20]

有趣的思考:關于叔塊和多余的Prover Work: B52方案實際上會在每輪分數最高且有效的BP出現后,把這一輪出現的其他BP(已經提交完整proof)作為叔塊,分配一定的叔塊獎勵。

這實際上沿用了ETH POW共識機制的做法,為了避免算力過度集中,需要分配一部分出塊獎勵給未被采納的區塊提出者(礦工),以保障小礦池/個體礦工的利益,避免算力被大礦池壟斷。因此采用以太坊表現不錯的叔塊機制也是一個很聰明的選擇。

B52提案在Rollup去中心化方面的意義:Proposer是去中心化且不需要質押的,準入門檻低;但是因為需要自己Build最有價值的區塊,以及需要收集其他Prover的投票,并聚合所有Proof,實際上Proposer的硬件門檻沒有提案中敘述的那么低(比如帶寬可能不會很低)。

所以,最終還是會成為一個比較中心化的網絡,類似Mev-Boost Builder,因為最終能出塊的proposer往往也是最擅長捕捉MEV的Block Builder。

同時,B52方案里的Prover需要質押資產,但因為僅僅需要生成sub tree proof,相比于那些需要完整生成整個block proof的方案來說,Prover的去中心化程度會更好(硬件要求可以放低了)。

活性Liveness:總體的網絡Liveness是不錯的,因為L2有自己的p2p網絡來廣播交易和投票/BP,并且Sequencer和Prover都比較去中心化。但是需要解決我們上面提到的兩個問題,一個是得分最高的區塊一定是合法的區塊,第二個是需要等待完整的block proof提交到L1才能進入一個新狀態。所以需要一個更有效的激勵機制,避免整個Rollup網絡由于缺失某一部分tx proof而無法正常工作(停機)。

抗審查性Censorship Resistance:如果我們能保證任何人都能發布區塊提議BP,并且保證不只是Proposer可以提交block proof,那么網絡會有很好的抗審查性 。

最終性Finality:L2的finality 跟網絡的liveness息息相關,因為最終的verified finality 還是需要等待Block Proof的提交,但實際上你也可以相信一個得分最高的BP對應的區塊內容(只要它里面不包含惡意交易)。

這個區塊會在Block Acceptance Window 開始時被揭示reveal,意味著作為用戶,僅僅需要等待一個Block Proposal Window的時間,你提交的交易所在的區塊就可以被采納。

繼承L1安全性:作為一個通過提交validity proof來更新狀態的L2,是可以繼承L1的安全性。

Fernet 方案簡介:通過VDF在每輪出塊周期內,為Committee(就是Sequencer節點集合)中不同的節點設定一個預估的分數,最終分數最高的Sequencer提議的區塊會成為有效塊。

首先,如何加入Committee?實際上需要在L1質押16個ETH,并且在質押操作完成后等待4個L1區塊后,加入Sequencer Committee。至于退出Sequencer Committee,則需要調用L1合約里的Unstake函數,之后再過3天才能拿回自己質押的剩余金額。

然后,什么是VDF?Verifiable Delay Function就是可驗證延遲函數,該數學函數滿足嚴格的串行執行特性,它會執行一些計算步驟,并至少會消耗一段可預估的時間。我們把VDF算出來的數值記作Score,它滿足均勻正態分布,因此當Sequencer算出VDF Score后,就可以判斷自己被選中為合法Proposer的概率有多大。

Sequencer的VDF計算如下:

Score = VDF( privatekey , public inputs )

public inputs = { current block number , randao }

randao是一個隨機數,用來防止Sequencer提前計算未來所有區塊高度下自己的VDF Score

Fernet整個流程主要分為3個階段:

1. Proposal Phase 2. Proving Phase 3. Finalization

Proposal Phase:PROPOSAL_PHASE_L1_BLOCKS = 2 Ethereum blocks (該階段會維持2個L1 block的時間)

這個階段開始,每個Sequencer都會用VDF算出自己在當前出塊高度下對應的VDF Score。如果Sequencer認為自己的VDF Score很有可能贏得這次區塊的出塊權(假設Score滿足正態分布),那么他會提交一個Proposal到L1的Rollup合約。Proposal包含:交易序列的哈希、指向哪個之前的L2區塊。

unproven block:只提交了Proposal到Rollup合約的區塊block contents。接著,Sequencer需要把unproven block對應的 block contents 以及proof of VDF 一起發送到L2的p2p網絡中。

ProvingPhase:PROVING_PHASE_L1_BLOCKS= 50 L1 blocks(該階段會維持50個L1區塊,大概10 min)

Prover從L2的p2p網絡中接收所有Block Contents中對應的交易,并會為VDF Score更高的區塊構建Proof。Proof的構建也是采取多個Prover并行協作的方式(類似B52方案) 。

因此需要Sequencer在最后將多個不同的交易對應的Proof聚合成一個Block Proof(包含VDF Proof),提交到L1的Rollup合約。任何人都可以將已經提交Block Proof的Block Contents提交到Rollup合約上。

Finalization:需要提交一筆L1的交易來Finalize區塊,一個最終可以被Finalize的區塊需要滿足:提交了Block Contents和Block Proof,指向的前一個區塊必須是Finalize的。在滿足以上條件的基礎上,還要擁有最高的Score。

流水線出塊機制:需要注意的是,Fernet采用的是流水線出塊機制.當第N塊的Proposal階段結束時,第N+1個塊的Proposal就開始了(Aptos等公鏈也有類似的做法)。但對于第N+1個塊來說,它需要等待第N個塊Finalize后,它才能提交L1的Final Block交易,并且驗證通過成為Final Block 。

潛在的攻擊維度:假如VDF Score最高的Sequencer故意不在L2 p2p中廣播Block Contents, 那么有可能導致區塊重組reorg。

reorg的L2區塊數量計算:1+PROVING_PHASE_L1_BLOCKS / PROPOSAL_PHASE_L1_BLOCKS =1+50/2=26塊

解決方式:增加叔塊機制,避免每個L2slot(出塊時隙)只有一個完整的候選區塊。

Fernet在去中心化上的意義:Sequencer通過質押16個ETH加入Sequencer Committee,準入門檻并不高(但也不低)。Prover不需要任何質押,但假如Prover不生成Proof也沒有懲罰。這與B52方案基本是相反的。

活性Liveness:整體網絡的 Liveness 是可以保證的,因為VDF+叔塊機制可以保證每一輪不止有一個出塊者。

MEV:MEV的考量是最特殊的,該方案計劃引進PBS,這樣作為Sequencer計算出一個高分的VDF Score后,就可以直接找Block Builder構造一個更有價值的區塊。

抗審查性Censorship Resistance:Fernet 也將采用跟以太坊一致的PBS機制,因此本質上 Fernet 抗審查的問題等價于以太坊 PBS 的抗審查問題。

極客 Web3

個人專欄

閱讀更多

Foresight News

金色財經 Jason.

白話區塊鏈

金色早8點

LD Capital

-R3PO

MarsBit

深潮TechFlow

Tags:PROBLOProofLOCTachyon ProtocolBlockportRugProofagriblock

幣贏
ART:SEC 就未注冊證券和欺詐指控起訴 Richard Heart及其項目_HEX

作者:Nikhilesh De,CoinDesk;編譯:松雪,金色財經美國證券交易委員會 (SEC) 起訴互聯網營銷人員 Richard Schueler(網名 Richard Heart)及其.

1900/1/1 0:00:00
穩定幣:美眾議院金融服務委員會通過美國穩定幣監管法案_OIN

作者:Jesse Hamilton, Jack Schickler,CoinDesk;編譯:松雪,金色財經這是美國國會穩定幣立法迄今為止取得的進展,但這一進展受到黨派沖突的影響.

1900/1/1 0:00:00
穩定幣:Kaiko穩定幣研報:市場結構和現狀解析_香港穩定幣數碼港元

來源:Kaiko;編譯:比推BitpushNews Mary Liu穩定幣在加密貨幣市場中具有系統重要性,因此即使是最輕微的脫鉤也會導致大規模市場蔓延.

1900/1/1 0:00:00
CHAT:ChatGPT爆火這半年:熱錢、巨頭與監管_BCHAT

經歷了半年的AI洗禮,或許很難找到比“應激反應”更恰當的詞,來形容今天科技行業中每個人的狀態——緊張、刺激、壓力.

1900/1/1 0:00:00
DAO:Web3信任:聲譽工具深入對比研究_web3游戲有哪些

作者:大衛·哈靈頓 信任是Web3永恒的主題。信任意味著無需知道對方是誰,就能直接進行鏈上活動.

1900/1/1 0:00:00
DEF:DeFi投資組合:5 個關鍵DeFi期權策略_Ethereal對應的情侶名

作者:Grix,medium 翻譯:善歐巴,金色財經期權交易是傳統金融世界的基石,已被新興的去中心化金融世界所采用和轉變.

1900/1/1 0:00:00
ads