導讀
Cosmos是由Tendermint團隊構建的開源社區項目,它的共識算法是基于POS和BFT的共識協議。
Cosmos通過SDK的形式將共識算法和網絡模塊封裝起來,形成一套開箱即用的區塊鏈開發腳手架,本期將為大家帶來Cosmos系列文章中Tendermint共識算法的介紹。
Tendermint核心模塊
首先我們回顧下,Cosmos中的TendermintCore核心模塊主要包含共識算法和網絡模塊,由于網絡模塊采用的是我們熟悉的gossip協議,這里就不再贅述。我們編寫的應用層的模塊通過ABCI與Tendermint核心模塊進行交互,在交互的過程中,由Tendermint完成選舉Proposer,BFT三階段共識以及區塊執行的邏輯。
1)ABCIApplication
其中ABCI接口可以分為三類:信息查詢、交易校驗以及共識相關處理,而TendermintCore作為ABCIClient在啟動時會與ABCIServer建立三個連接,分別用于這三類接口消息的處理。
Bitcoin Core開發者:代碼審查是比特幣目前面臨的最大挑戰之一:3月12日消息,Bitcoin Core開發者Andrew Chow表示,代碼審查是比特幣目前面臨的最大挑戰之一。大多數Core開發人員熱衷于為新功能編寫代碼,但很少有人喜歡審查同行提交的代碼這一更平凡的任務。Chow表示,更多的貢獻者需要關注代碼審查,以應對Core的GitHub存儲庫中的300多個PR 。社區有一個Bitcoin Core PR Review Club,每周開會以幫助新的貢獻者了解審查過程。[2023/3/12 12:58:54]
在TendermintCore與Application交互的所有消息類型中,有3種主要的消息類型:
·CheckTx消息用于驗證交易。TendermintCore中的mempool通過此消息校驗交易的合法性,通過之后才會將交易廣播給其它節點。
·DeliverTx消息是應用的主要工作流程,通過此消息真正執行交易,包括驗證交易、更新應用程序的狀態。
·Commit消息通知應用程序計算當前的世界狀態,并存在下一區塊頭中。
?Tendermint共識引擎,包含區塊鏈需要大部分功能實現,主要有:
渤海銀行正式上線數字人民幣業務:金色財經報道,渤海銀行宣布正式上線數字人民幣業務,這也是該行完善數字人民幣業務運營基礎設施建設的重要舉措,新上線的數字人民幣業務為客戶提供便捷的充錢包、存銀行、轉錢、升級、收付款、交易記錄查詢等主流服務功能,將重點從豐富數幣功能、拓展數幣應用場景和融合手機銀行三個方向發力。(證券日報網)[2022/11/12 12:55:07]
·?共識算法:BFT+POS算法;
·P2P:采用Gossip算法;
·RPC:區塊鏈對外提供的API接口;
·?其它:交易緩存池、消息隊列等。
2)POS權益證明協議
接下來介紹Tendermint的POS算法,通過該POS算法可以在驗證人集合中選取出下一輪出塊的提議人。
上圖中,假設有A、B、C三個驗證人,分別抵押了1、2、3個代幣
1.第一輪由于C的抵押資產最多,所以C當選第一輪的提議人;
2.第二輪由于C在上一輪當選過提議人,所以他的vote_power變為pre_votingPower-(stake_a+stake_b)?也就是3-(1+2)==0,而B的vote_power等于pre_votingPower+stake也就是2+2==4,同理A的vote_power等于2,那么這一輪中投票權最大的是B,所以B當選提議人;
CFTC主席:CFTC是數字資產市場的合適監管機構:9月15日消息,美國商品期貨交易委員會(CFTC)主席Rostin Behnam在參議院農業委員會的聽證會上表示,委員會領導人正在推動一項為加密行業制定新規則的法案,承認CFTC的專業知識和經驗使其成為數字資產商品市場的合適監管機構。Behnam稱這將使CFTC能夠迅速采取行動建立對數字商品資產的新監管,法院、立法者和監管機構承認這些資產包括比特幣,是否包括其他加密資產仍不清楚。
委員會主席參議員 Debbie Stabenow 上個月公布了與該小組的共和黨參議員 Sen. John Boozman 合作的立法,這將使該機構能夠在監管數字資產交易方面發揮重要作用,包括授權 CFTC 監督加密現貨市場。但是,它不會讓該機構定義它將監管哪些代幣,仍然讓法院和證券交易委員會有余地來確定哪些資產將被定義為 SEC 監管的證券。[2022/9/15 6:59:19]
3.第三輪A的vote_power為3,B的vote_power為2-(2+0)==0,C的vote_power為?0+3==3,由于A排名在C的前面,所以A當選提議人;
4.同理第四輪A的vote_power為-1,B的為2,C的為6,所以C當選提議人;
O3 Swap V2發布漏洞賞金計劃:據官方消息,跨鏈DEX O3 Swap V2在區塊鏈漏洞賞金平臺Immunefi推出Bug Bounty計劃,賞金最高達40萬美元。[2022/8/25 12:47:27]
Tendermint的Pos機制有如下優點和缺點:
優點:Proposer的選擇方式是與stake相關的,所以應用層可以實現自己的共識,在應用層將計算好Validator的權重傳遞給Tendermint,Tendermint就會按照應用層需要的方式選擇Proposer。
缺點:Round-Robin策略太簡單了,容易被壞人預測到下一個Proposer是誰,于是可以提前布局對rProposer發起DDoS攻擊或別的攻擊。這里Tendermint的解決方法就是驗證人節點對外不暴露節點的IP地址。
3)BFT拜占庭容錯協議
Tendermint是一個易于理解的BFT共識協議,協議遵循一個簡單的狀態機原理:
協議中有兩個角色:
驗證人:協議中的角色或者節點,不同的驗證者在投票過程中具備不同的權力。
提議人:由驗證人產生。?驗證人對交易的區塊提議并對提議的區塊投票。區塊被提交到鏈上,且每個區塊就是一個區塊高度。但區塊也有可能提交失敗,這種情況下協議將選擇下一個驗證人在相同高度上提議一個新塊,重新開始投票。
元宇宙初創公司Translucia與軟件開發公司Two Bulls合作,撥款1億美元建設元宇宙研究與開發中心:6月23日消息,泰國元宇宙初創公司Translucia Global Innovation與澳大利亞軟件開發公司Two Bulls合作,并撥出1億美元的初始預算在墨爾本建立元界研究與開發中心(MRDC)。該項目將于今年11月進行軟啟動。MRDC不僅將專注軟件和硬件,也將在經濟系列、游戲化、能源消耗等方面進行更多探索。
Translucia是藝術和娛樂公司T&B Media Global的子公司,該公司于2021年10月推出了“Translucia Metaverse”項目,第一階段投資2.83億美元用于虛擬世界。(Cointelegraph)[2022/6/23 1:26:12]
從圖中可以看到,在propose開始階段,被選中的proposer會給全網絡廣播一個proposal。如果proposer鎖定在上一輪中的block上,那么proposer在本輪中發起的proposal會是鎖定的block,并且在proposal中加上proof-of-lock字段。
在Prevote開始階段,每個Validator會判斷自己是否鎖定在上一輪的proposal區塊上,如果鎖定在之前的proposal區塊中,那么在本輪中繼續為之前鎖定的proposal區塊簽名并廣播prevote投票。否則為當前輪中接收到的proposal區塊簽名并廣播prevote投票。如果由于某些原因當前Validator并沒有收到任何proposal區塊,那么簽名并廣播一個空的prevote投票。
在Precommit開始階段,每個Validator會判斷,如果收集到了超過2/3prevote投票,那么為這個區塊簽名并廣播precommit投票,并且當前Validator會鎖定在這個區塊上,同時釋放之前鎖定的區塊,一個Validator一次只能鎖定在一個區塊上。
如果一個Validator收集到超過2/3空區塊(nil)的prevote投票,那么釋放之前鎖定的區塊。處于鎖定狀態的Validator會為鎖定的區塊收集prevote投票,并把這些投票打成包放入proof-of-lock中,proof-of-lock會在之后的propose階段用到。如果一個Validator沒有收集到超過2/3的prevote投票,那么它不會鎖定在任何區塊上。
在precommit階段后期,如果Validator收集到超過2/3的precommit投票,那么Validator進入到commit階段。否則進入下一輪的propose階段。
commit階段分為兩個并行的步驟:
·Validator收到了被全網commit的區塊,Validator會為這個區塊廣播一個commit投票。
·Validator需要為被全網絡precommit的區塊,收集到超過2/3commit投票。
一旦兩個條件全部滿足了,節點會將commitTime設置到當前時間上,并且會進入NewHeight階段。在整個共識過程的任何階段,一旦節點收到超過2/3commit投票,那么它會立刻進入到commit階段。
上訴過程簡單來說,為了成功提交一個區塊,必須經過兩階段的投票,稱為pre-vote和pre-commit。當超過2/3的驗證人在同一輪提議中對同一個塊進行了pre-commit投票,那么這個區塊才會被提交。
由于離線或者網絡延遲等原因,可能造成提議人提議區塊失敗。這種情況在Tendermint中也是允許的,因為驗證人會在進入下一輪提議之前等待一定時間,用于接收提議人提議的區塊。
假設少于三分之一的驗證人是拜占庭節點,Tendermint能夠保證驗證人永遠不會在同一高度重復提交區塊而造成沖突。為了做到這一點,Tendermint引入了鎖定機制,一旦驗證人預投票了一個區塊,那么該驗證人就會被鎖定在這個區塊。然后該驗證人必須在預提交的區塊進行預投票。當前一輪預提議和預投票沒成功提交區塊時,該驗證人就會被解鎖,然后進行對新塊的下一輪預提交。
4)BFT?VSPBFT
通過上文我們可以看到,Tendermint共識算法和PBFT時非常相似的,可以說是PBFT的變種,那我們來比較一下:
相同點:
·?同屬BFT體系,抗1/3拜占庭節點攻擊。
·?三階段提交,第一階段廣播交易,后兩階段廣播簽名。
·?兩者都需要達到Quorum法定人數才能提交塊。
不同點:
·Tendermint與PBFT的區別主要是在超過1/3節點為拜占庭節點的情況下,當拜占庭節點數量在驗證者數量的1/3和2/3之間時,PBFT算法無法提供保證,使得攻擊者可以將任意結果返回給客戶端。而Tendermint共識模型認為必須超過2/3數量的precommit確認才能提交塊。
·?拜占庭節點概念不同,PBFT指的是節點數,而Tendermint代表的是節點的投票權力。
·PBFT需要預設一組固定的驗證人,而Tendermint是通過要求超過Quorum法定人數的驗證人員批準會員變更,從而支持驗證人的動態變化。
總結
總體來說,Cosmos中Tendermint核心模塊中POS和BFT共識算法的實現較為簡單,不像Polkadot的混合共識那么復雜,但是也是這個原因,可以成為區塊鏈快速開發的腳手架,幫助越來越多的人了解區塊鏈,熱愛上區塊鏈。
作者簡介
江哲
來自數據網格實驗室BitXHub團隊主要負責區塊鏈賬本互操作技術相關研究工作
本文來自MorningTick,作者VarshaSaraogi,由Odaily星球日報實習生Vane編譯.
1900/1/1 0:00:0012月31日,區塊鏈分析公司Elliptic美國財政部擬議的規則要求用戶在將加密貨幣發送到私人錢包時,必須遵守KYC要求,這可能最終難以奏效.
1900/1/1 0:00:002021年1月1日,自新中國成立以來第一部以法典命名的法律——《民法典》生效。與此同時,婚姻法、繼承法、民法通則、收養法、擔保法、合同法、物權法、侵權責任法、民法總則廢止.
1900/1/1 0:00:00比特幣價格最近的快速上升引起了市場的更廣范圍的關注。在今天,比特幣價格達到23318美元。比特幣的價格現在是歷史的最高點。市場中現在非常關心的一個問題是比特幣價格此后的走勢.
1900/1/1 0:00:00美國財政部長提名人、前美聯儲主席珍妮特·耶倫周四表示,加密貨幣和數字資產可能“提高金融體系的效率”.
1900/1/1 0:00:00本文來源:葉檀財經 2020年以來,數字人民幣的發行明顯加速了,央行先后在深圳、蘇州、雄安和冬奧會進行了一系列封閉測試.
1900/1/1 0:00:00