科普 | 共識算法的分類（下）_PRE:REP

——Part4?拜占庭容錯算法——

▲PBFT

實用性拜占庭容錯算法，是一種在信道可靠的情況下解決拜占庭將軍問題的實用方法。拜占庭將軍問題最早由LeslieLamport等人在1982年發表的論文提出，論文中證明了在將軍總數n大于3f，背叛者為f或者更少時，忠誠的將軍可以達成命令上的一致，即3f+1<=n，算法復雜度為O(n^f+1)。隨后MiguelCastro和BarbaraLiskov在1999年發表的論文中首次提出PBFT算法，該算法容錯數量也滿足3f+1<=n，算法復雜度降低到了O(n2)。

下面介紹PBFT算法的核心共識流程，如圖4所示。

圖4.三階段共識

在請求request階段，客戶端發起請求，主節點收到客戶端的請求后，將觸發核心共識流程。算法的核心共識流程分為三個階段：pre-prepare階段，prepare階段，commit階段。其中，節點在prepare階段和commit階段各進行了一輪投票，分別對消息的合法性與待執行進行了確認。圖中，c代表客戶端，0、1、2、3代表節點的編號，在視圖為0的情況下，節點0是主節點，節點1、2、3為從節點。打叉的3號代表拜占庭節點，這里表現的惡意行為就是對其它節點的請求無響應。

民盟中央建議加速元宇宙科普和立法:3月4日消息，民盟中央已起草了《關于“元宇宙”技術發展的提案》，并將提交全國政協十三屆五次會議。在提案中，民盟中央建議，在科普層面需加速知識傳播，法律層面則需加快立法步伐。民盟中央擬提交的提案指出，目前，在新興網絡層面，相關政策法規相對缺失。“元宇宙”在未來將會帶動形成全新的網絡形態，當遇到突發輿情，全虛擬的環境、場景將更難進行源頭追蹤、問題疏導。因此建議應盡早加快立法研究，盡快形成與技術、市場發展相適應的治理模式和法律基礎，全面提升我國社會治理的水平。建議組織相關部門，針對“元宇宙”相關需求、風險進行立法研究，并盡快發布。此前消息，民進中央擬向全國政協十三屆五次會議提交《關于積極穩妥推進元宇宙技術和產業發展的提案》。建議推進元宇宙技術產業發展，建立相關監管治理體系。（華夏時報）[2022/3/4 13:37:12]

pre-prepare階段：主節點在收到客戶端的請求后，會主動向其它節點廣播pre-prepare消息，其中，v為當前視圖，n為主節點分配的請求序號，D(m)為消息摘要，m為消息本身。從節點在收到pre-prepare消息之后，會對該消息進行合法性驗證，若通過驗證，那么該節點就會進入pre-prepared狀態，表示該請求在從節點處通過合法性驗證。否則，從節點會拒絕該請求，并觸發視圖切換流程。

TRON數字錢包科普資料《波場錢包的現在過去與未來》已上線:據最新消息顯示，由TokenPocket聯合波場TRON官方，以及 TokenPocket 社區志愿者共同撰寫的《波場錢包的現在過去與未來》已正式上線。《波場錢包的現在過去與未來》又稱為波場錢包小白書，詳細介紹了當前TRON錢包與TRON生態密切結合的實例，是目前市面上最為詳細的TRON數字錢包科普資料。波場錢包作為波場公鏈生態中極為重要的入口，是波場生態的重要構成要素。波場錢包從一開始只提供權限管理、轉賬收款、節點投票等基礎功能，到如今不僅可以為用戶提供法幣交易、閃兌和去中心化交易所等方便快捷的交易服務，還能讓用戶直接在錢包上體驗波場上DApp，挖礦、DeFi、Staking等資產增值服務。詳情見原文鏈接。[2020/8/20]

prepare階段：當從接到進入到pre-prepared狀態后，會向其它節點廣播prepare消息，其中，i為當前節點標識序號。其他節點收到消息后，如果該請求已經在當前節點進入pre-prepared狀態，并且收到2f條來自不同節點對應的prepare消息（包含自身發出的以及主節點的pre-prepared消息)，那么該請求就進入到prepared狀態。

聲音 | 上海股交所總經理：區塊鏈想要大規模發展要做好社會科普工作:金色財經報道，上海股交所總經理張云峰表示，區塊鏈當前還處于一個“概念”的階段，距離成熟應用，影響到百姓的日常生活還有很長的路要走。對于“區塊鏈”和其會帶來的社會和經濟效果，沈陽應當持審慎的態度。區塊鏈想要大規模發展，一方面要做好這項復雜技術的社會科普工作，加快社會大眾對區塊鏈的了解。另一方面，要充分發揮市場的作用，讓企業用實實在在的技術創新，賦能實體經濟的發展。[2019/11/17]

commit階段：當請求在當前節點進入prepared狀態后，本節點會向其它節點廣播commit消息。如果該請求已經在當前節點達到prepared狀態，并且收到2f+1條來自不同節點對應的commit消息（包含自身)，那么該請求就會進入到committed狀態，并可以進行執行。執行完畢后，節點會將執行結果反饋給客戶端進行后續判斷。

——Part5?新型共識算法——

▲HotStuff

動態 | 美國演說家Anthony Robbins開始科普什么是比特幣:美國演說家安東尼·羅賓（Anthony Robbins）在自己的網站上發布了一篇比特幣的科普文章，并在推特上向自己的粉絲介紹什么是比特幣，目前他的推特賬戶共有粉絲304萬人。[2019/1/1]

HotStuff是一個建立在部分同步模型上的拜占庭容錯協議。HotStuff具有線性視圖變更的特性，把輪換主節點融入了常規共識流程中，切換主節點無需增加其他協議和代價，且系統在此期間還能繼續對外提供服務。該特性解決了PBFT最棘手的視圖變更問題，包括實現復雜度高、完成時間不確定以及整個過程系統不能正常對外提供服務等。此外，HotStuff還將共識流程的通信復雜度降低至O(n)。

HotStuff的基礎共識流程圍繞一個核心的三輪共識投票展開，在該過程中，視圖以單調遞增的方式不斷切換。在每個視圖內，都有一個唯一主節點負責打包區塊、收集和轉發消息并生成QC。整個過程包括5個階段，準備階段、預提交階段、提交階段、決定階段和最終階段。主節點想要提交某個分支，需要在PREPARE、PRE-COMMIT和COMMIT這三個階段收集n-f個共識節點的帶簽名的投票消息，并利用門限簽名算法把他們合成一個證書，隨后廣播給從節點。

財政部副部長朱光耀：數字經濟還處在發展的過程中，要以科普、推動的態度來推進數字經濟發展:今日，在中國發展高層論壇2018年會上，財政部副部長朱光耀表示：“數字經濟還處在發展的過程中，要以科普、推動的態度來推進數字經濟發展。也要關注數字經濟的其他影響，包括稅收征管、反洗錢監管措施等要跟上。”[2018/3/25]

圖5.BasicHotStuff共識流程

Basic-HotStuff各個階段的流程高度相似，HotStuff作者便提出Chained-HotStuff來簡化Basic-HotStuff的消息類型，并允許Basic-HotStuff的各階段進行流水線處理。流程如圖6所示：

圖6.Chained-HotStuff是Basic-HotStuff的流水線形式，v表示視圖view，圓角矩陣表示一個node

▲HoneyBadgerBFT

FLP定理從理論上證明了在純異步環境下不可能存在一種確定性的共識協議。后世的研究者們為了繞過這個定理，不得不在兩個方向上進行妥協：要么加強對網絡的假設，要么引入隨機源。HoneyBadgerBFT協議，這是一個完全異步的共識協議，它不依賴于任何關于網絡環境的時間假設。異步共識協議則完全不需要考慮timer的設置。為了保證協議的活性，異步協議需要引入隨機源，簡單來說就是當協議無法達成共識的時候，借助上帝拋骰子的方式隨機選擇一個結果作為最終結果。

HoneyBadgerBFT通過模塊化的方式解決了拜占庭環境下的原子廣播問題，即如何保證在異步和拜占庭環境下，各個節點按相同順序收到相同的消息。HoneyBadgerBFT首先將ABC分解成一個核心模塊，異步共同子集。之后將ACS分解成了RBC(ReliableBroadcast)和ABA(AsynchronousBinaryAgreement)兩個子模塊。整體的算法分為三個步驟：

1）每個節點交易隨機選擇一些交易，所有節點的總交易個數是B。每個節點的交易進行加密生成x。

2）通過ACS協議將每個節點加密的交易進行廣播，以及形成統一交易序列。

3）解密交易生成區塊。

——Part6?總結——

上述介紹的共識機制有著各自的優缺點，對于不同的區塊鏈系統，我們需要結合實際使用場景與網絡規模，采用不同的共識算法。下面我將以表格的形式對目前各平臺使用的共識機制進行簡要的對比與總結：

作者簡介

袁超趣鏈科技基礎平臺部共識算法研究小組

參考文獻

LamportL,ShostakR,PeaseM.TheByzantinegeneralsproblem//Concurrency:theWorksofLeslieLamport.2019:203-226.

CastroM,LiskovB.PracticalByzantinefaulttolerance//OSDI.1999,99(1999):173-186.

CastroM,LiskovB.PracticalByzantinefaulttoleranceandproactiverecovery.ACMTransactionsonComputerSystems(TOCS),2002,20(4):398-461.

IttaiAbraham,GuyGueta,DahliaMalkhi,LorenzoAlvisi,RamakrishnaKotla,andJean-PhilippeMartin.Re-visitingfastpracticalbyzantinefaulttolerance.CoRR,abs/1712.01367,2017.

MillerA,?XiaY,?CromanK,etal.TheHoneyBadgerofBFTProtocols//AcmSigsacConferenceonComputer&CommunicationsSecurity.ACM,2016:31-42.

Tags：PREPARREPAREPredix NetworkSPARTA價格drep幣最新消息Stand Share

火幣APP