——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號代表拜占庭節點,這里表現的惡意行為就是對其它節點的請求無響應。
穩定幣crvUSD科普創新清算機制LLAMMA,可在抵押品價格下跌時逐步替換為穩定幣:1月17日消息,Curve官方科普其穩定幣crvUSD創新的清算機制LLAMMA,解釋了LLAMMA通過AMM的特性進行針對債務人更友善的清算方式,讓抵押品在價格下跌時逐漸轉移成穩定幣,讓原本要清償的債務有一定程度的穩定幣可以償還,同時在價格回穩時再逐漸把穩定幣換回抵押品,而不是直接的觸發清算導致債務人的虧損。
此前報道,2022年11月23日,去中心化交易平臺CurveFinance開發者發布Curve即將推出的去中心化Stablecoin“crvUSD”的官方代碼和白皮書。[2023/1/17 11:17:13]
pre-prepare階段:主節點在收到客戶端的請求后,會主動向其它節點廣播pre-prepare消息,其中,v為當前視圖,n為主節點分配的請求序號,D(m)為消息摘要,m為消息本身。從節點在收到pre-prepare消息之后,會對該消息進行合法性驗證,若通過驗證,那么該節點就會進入pre-prepared狀態,表示該請求在從節點處通過合法性驗證。否則,從節點會拒絕該請求,并觸發視圖切換流程。
歐易OKEx將于3月18日推出DeFi系列科普視頻:據歐易OKEx官方消息顯示,歐易OKEx將正式推出DeFi系列科普視頻《歐易DeFi20講》,本系列節目由歐易OKEx亞太區CEO馬克金主講。該視頻首期將于3月18日11:00(HKT)推出,用戶可以在歐易OKEx官方學院、金色財經觀看。
《歐易DeFi20講》主要包含DeFi入門指南、全景解讀DeFi生態及如何參與DeFi三個篇章,可以輕松使用戶了解DeFi原理,洞察DeFi價值,掌握DeFi熱點,更多詳情請關注歐易OKEx官方學院。[2021/3/18 18:55:59]
prepare階段:當從接到進入到pre-prepared狀態后,會向其它節點廣播prepare消息,其中,i為當前節點標識序號。其他節點收到消息后,如果該請求已經在當前節點進入pre-prepared狀態,并且收到2f條來自不同節點對應的prepare消息(包含自身發出的以及主節點的pre-prepared消息),那么該請求就進入到prepared狀態。
動態 | 人民日報官方微博科普區塊鏈 強調區塊鏈不等于比特幣:人民日報官方微博今早發表9圖科普區塊鏈。其中涉及區塊鏈的特點有:1、安全;2、不可篡改;3、可訪問;4、無第三方。區塊鏈對未來的影響:1、不需繁瑣個人證明;2、看病避免反復檢查;3、旅行消費更加便捷;4、交易無需第三方。同時強調,區塊鏈不等于比特幣。比特幣只是區塊鏈技術的一種應用,區塊鏈還有醫療衛生、食品安全、版權保護等諸多應用領域。[2019/10/28]
commit階段:當請求在當前節點進入prepared狀態后,本節點會向其它節點廣播commit消息。如果該請求已經在當前節點達到prepared狀態,并且收到2f+1條來自不同節點對應的commit消息(包含自身),那么該請求就會進入到committed狀態,并可以進行執行。執行完畢后,節點會將執行結果反饋給客戶端進行后續判斷。
——Part5?新型共識算法——
▲HotStuff
HotStuff是一個建立在部分同步模型上的拜占庭容錯協議。HotStuff具有線性視圖變更的特性,把輪換主節點融入了常規共識流程中,切換主節點無需增加其他協議和代價,且系統在此期間還能繼續對外提供服務。該特性解決了PBFT最棘手的視圖變更問題,包括實現復雜度高、完成時間不確定以及整個過程系統不能正常對外提供服務等。此外,HotStuff還將共識流程的通信復雜度降低至O(n)。
動態 | 區塊鏈技術入選科普雜志《科學美國人》2019十大突破性技術榜單:據新浪網今日新聞報道,美國科普雜志《科學美國人》公布 2019 十大突破性技術榜單。區塊鏈技術因在保障食品安全中的作用而上榜。 入選榜單具體原因:區塊鏈技術的發展應用將顯著改善食品污染源數據追蹤的困境。利用區塊鏈云端系統,食品制造商可以依次在計算機儲存各類過程的信息。[2019/9/29]
HotStuff的基礎共識流程圍繞一個核心的三輪共識投票展開,在該過程中,視圖以單調遞增的方式不斷切換。在每個視圖內,都有一個唯一主節點負責打包區塊、收集和轉發消息并生成QC。整個過程包括5個階段,準備階段、預提交階段、提交階段、決定階段和最終階段。主節點想要提交某個分支,需要在PREPARE、PRE-COMMIT和COMMIT這三個階段收集n-f個共識節點的帶簽名的投票消息,并利用門限簽名算法把他們合成一個證書,隨后廣播給從節點。
金色財經獨家分析 監管機構、媒體、業界提示詐騙風險 區塊鏈科普道阻且長:新華社今日發文表示,近來“區塊鏈”類詐騙案件頻發,不法分子以“投資虛擬貨幣周期短、收益高、風險低”為借口,騙取用戶信任并誘使其轉賬進行投資。無獨有偶,同日消息,騰訊手機管家安全專家也提醒此類風險,并從技術上提出防騙建議。在美國,監管機構警示加密貨幣欺詐現象普遍承諾高收益而不披露潛在風險。金色財經獨家分析,不法分子假借新技術之名進行詐騙,一方面是抓住民眾趨利的心理,一方面反映出區塊鏈科普的欠缺。區塊鏈是新興科技和底層技術并有改變社會生產關系的潛力,應該進行系統性的科普教育,當前,部分大學已經開始設置了區塊鏈課程,但對于普通民眾仍然有科普的需求,人們應該了解到系統和正確的知識,不僅要了解區塊鏈的好,也要明確局限和弊端,以在高收益的誘惑下,保持清醒客觀。[2018/4/11]
圖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.
巴比特訊,7月24日下午,“2021世界區塊鏈大會·杭州”在杭州未來科技城學術交流中心召開。本次大會由杭州時戳信息科技有限公司主辦,杭州未來科技城管委會等機構支持.
1900/1/1 0:00:00根據最近向美國證券交易委員會提交的文件,羅斯柴爾德投資公司已增持103,059股灰度比特幣信托,以及13,817股灰度以太坊信托,這使其GBTC總持有價值達到420萬美元.
1900/1/1 0:00:00以太坊自2015年7月30日創世至今已滿6周年,恰逢8月5日晚正式完成了發展史上重要的倫敦升級,PAData回顧了以太坊這6年來的市場數據、鏈上數據和網絡數據中的多個重要維度的數據.
1900/1/1 0:00:007月25日,“2021世界區塊鏈大會·杭州”在杭州未來科技城學術交流中心舉行。本次大會由杭州時戳信息科技有限公司主辦.
1900/1/1 0:00:00巴比特訊,7月24日,“2021世界區塊鏈大會·杭州”在杭州未來科技城學術交流中心開幕。本次大會由杭州時戳信息科技有限公司主辦,杭州未來科技城管委會等機構支持.
1900/1/1 0:00:00原標題:《可選用的DAOs投票機制匯總》本文通過與DAO創建者和構建者的對話,探討DAO使用的不同投票機制。一、基于代幣的法定人數投票法定人數投票要求有一定的投票者門檻,以使提案獲得通過.
1900/1/1 0:00:00