比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

技術指南 | 軟硬協同的共識算法設計——以FastBFT為例_ENC

Author:

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

導讀

我們知道,相比公有鏈,聯盟鏈中使用的拜占庭容錯(BFT)算法能夠有效地提升區塊鏈的交易處理能力。但是,傳統的BFT算法,例如PBFT算法,為了容忍f個拜占庭錯誤節點,需要保證系統中的節點總數至少是3f+1。與之相比,RAFT等能容忍f個停機錯誤(CFT)的共識算法僅需要2f+1個節點就能正常運作。那么我們不禁會去想,能不能通過某種方法使得一個拜占庭系統也只需要總共2f+1個節點就能夠抵御拜占庭攻擊呢?

幸運的是,這樣的方法是存在的。我們可以借助可信硬件,消除拜占庭節點的二義性,從而僅需要2f+1個節點,就能有效地防止拜占庭攻擊。

本文以FastBFT為例,介紹FastBFT是如何借助可信硬件,取得比傳統BFT算法更好的性能的。

可信硬件

FastBFT算法使用的可信硬件是IntelSGX(SoftwareGuardExtensions),Intel第六代CPU之后的一組擴展指令集。目前,很多個人電腦和服務器都可以支持SGX相關的功能。在SGX的編程模型中,一個程序分為可信代碼(enclave)和不可信代碼。SGX保證了在enclave中運行的代碼和數據不能被其他程序訪問和篡改。并且,通過enclave寫入到磁盤的數據會被加密,只有該enclave能夠讀取。不可信代碼只能調用enclave提供的有限的可信函數接口來改變enclave的內部狀態,獲取enclave的內部信息。

因此,FastBFT的代碼也分為了兩部分,如下圖所示:

其中,FastBFT不可信代碼負責處理共識消息的收發,以及共識狀態的轉換。而FastBFTenclave代碼則負責處理密鑰生成,加解密,安全信道的建立以及共識狀態變量的維護。

天啟資本首席交易員TraderT:高頻交易不止于技術指標,應多觀察和思考:7月2號19:00,合約帝金牌講師、天啟資本首席交易員TraderT做客MXC抹茶社區,就個人在數字貨幣合約市場的投資心得進行分享。

TraderT表示,投資主要分為三個步驟:倉位管理;嚴格的止損;嚴格的提款本金固定及充值紀律。交易員進行一次交易的判斷流程通常是制定計劃,包括預判行情、開單計劃、止盈止損的點位、突發事件下是否入場等綜合因素。每個人都有自己的哈姆雷特,每個人對于技術分析的理解都不同。我做高頻交易的思路是,作為“Day Trader”每天需要觀察什么,做什么,如何進行高頻交易,而不是完全通過技術指標去分析。[2020/7/2]

節點類型

與PBFT算法類似,FastBFT算法也有主節點和從節點之分。不同之處在于,FastBFT算法將從節點進一步劃分為f個活躍(active)節點和f個被動(passive)節點。在常規流程中,FastBFT算法只需要f+1個活躍節點參與共識的消息收發。被動節點僅需要處理來自主節點的Reply消息,更新自身的狀態。只有在發生錯誤時,這f個被動節點才需要參與到共識流程中來。

可信變量與函數接口

在FastBFT中,每個節點的enclave都有自己的公私鑰對,并記錄了其他節點的公鑰。除此以外,每個節點還需要維護并持久化以下變量:計數器值c,view值v,活躍節點列表及會話密鑰{Si,ki}。其中c和v是共識相關的狀態變量,v值只有在viewchange的時候才會增加,當系統平穩運行時,c會不斷增加。

FastBFTenclave對外提供了以下幾個可信函數接口:be_primary,update_view,preprocessing,request_counter,verify_counter,update_counter和reset_counter。

分析 | 技術指標顯示XRP正在向0.25- 0.28美元的水平移動:加密貨幣交易員Joker日前發推稱,從艾略特波浪理論和圓底(Rounding Bottom)模式的角度來看,XRP的價格看起來不錯。后一個指標往往出現在長期下降趨勢即將結束的時候。該交易員表示,這兩種選擇都表明XRP正在向0.25- 0.28美元的水平移動。(U.Today)[2020/1/13]

▲?be_primary、update_view函數

be_primary是某個節點成為主節點之后,需要調用的enclave方法。它的作用是重置c,更新活躍節點列表,重新生成與活躍節點的會話密鑰。

update_view是從節點收到主節點當選的消息后,更新自身enclave狀態的方法。該方法接受的參數包括主節點的c、v以及加密后的會話密鑰。在證實主節點當選的消息是真實可信之后,從節點調用enclave的update_view方法,重置enclave的c和v,獲取與主節點通信的會話密鑰。

這兩個函數都是FastBFTviewchange流程中需要調用的方法,本文限于篇幅限制不予討論。

▲?preprocessing、request_counter與verify_counter函數

preprocessing是FastBFT算法為了實現高效的消息聚合,實現節點enclave之間密鑰分享(secretsharing),主節點需要調用的方法。enclave首先通過哈希函數,將c,v與一個隨機生成的原始密鑰S進行綁定,這個commitment記作h。然后,通過基于XOR的密鑰分享方案,將原始密鑰隨機拆分成f+1個子密鑰Si,S可以通過將這f+1個子密鑰進行異或操作還原出來。最后返回給主節點h,c和v,以及經過加密的,只能被對應從節點的enclave解密的。并且,為了避免每次消息聚合之前都進行密鑰分享,調用這個方法后會批量生成從c+1一直到c+m這m組消息。之后的m條共識消息都不再需要調用該方法。

聲音 | 彭博社:比特幣勢將錄得年內最差單月表現 技術指標陷入超賣:比特幣勢將錄得今年最糟糕的單月表現,不過技術信號表明其最近的下滑可能即將結束。上周末,比特幣重新測試了其五月份錄得的跳空高開缺口,隨后出現反彈,這可能表明其價格的回撤正在失去動力。隨著缺口被填補,比特幣來到了5月反彈之前的相同價格水平。這意味著比特幣可能會在6500美元左右找到支撐,比目前價格低約8%。此外,根據14天RSI指標(目前位于25),比特幣目前已嚴重超賣。一旦該指標跌至30或更低,就會被視為超賣。(彭博社)[2019/11/28]

request_counter是主節點要發起提案消息前,需要調用的方法。該方法接受一個傳入參數x。enclave首先把c+1,然后對進行簽名,返回該簽名。通過這個簽名,可以起到綁定與x的效果。

verify_counter是活躍節點收到來自主節點的PREPARE消息和COMMIT消息后,需要調用的方法。該方法傳入的參數包括主節點enclave簽名后的,以及主節點enclave的preprocessing方法生成的。從節點的enclave需要確保簽名中的c,v與解密獲取的c,v一致,并且c比本地的c大1。驗證通過后,enclave本地的c+1,返回Si,h。通過這個方法,活躍節點的c與主節點的c進行了同步。返回的Si使得之后主節點能夠恢復出原始密鑰S,h則能夠讓活躍節點確認原始密鑰S的真實性。

以上這三個函數是FastBFT常規流程中需要調用的函數,對于讀者理解FastBFT算法尤其重要。

▲?update_counter與reset_counter函數

update_counter是被動節點收到來自主節點的Reply消息后調用的方法。它作用是更新被動節點enclave的c值。

動態 | 彭博:GTI Vera技術指標自6月份以來首次發出買入信號,可能預示著新的高點:近日比特幣在全球金融市場中的避險屬性已逐步顯現。8月7日,彭博社發文稱,基于上周末的交易活動,追蹤正面和負面趨勢的GTI Vera Convergence-Divergence指標產生了新的買入信號,這是該指標自6月份以來的首次買入信號,可能預示著比特幣將達到新的高點。彭博分析師Mike McGlone表示,與其他風險資產相比,比特幣的漲勢正在上升,比特幣應該仍然是其存儲價值需求增長的主要受益者,與黃金相似。[2019/8/7]

reset_counter是節點宕機重啟后,在重新加入共識網絡前,需要調用的方法。它的作用是接收f+1個來自不同節點enclave的一致的c,v,狀態消息,同步本地enclave的c和v。

FastBFT算法的常規流程

FastBFT算法的常規流程分為:Preprocessing,Request,Prepare,Commit及Reply這五個階段。整個流程如下圖所示:

在Proprocessing階段,主節點通過調用enclave的preprocessing方法,獲取密鑰分享消息。然后將這些密鑰分享消息發送給各個活躍節點。

當主節點收到來自客戶端的請求REQUEST后,就會進入Request階段。這時,主節點需要調用enclave的request_counter方法獲取enclave對REQUEST,c+1,以及v的簽名。然后,將REQUEST及enclave簽名一起作為PREPARE消息的內容,發送給活躍節點。

聲音 | 分析師:關鍵技術指標顯示BTC首次出現2015年以來的強勁長期勢頭:據CCN消息,技術分析師Eric Thies表示,一個關鍵的技術指標可能預示著比特幣出現了自2015年以來的首次強勁長期勢頭。上一次月MACD達到交叉信號時,比特幣價格在三年內從400美元最終上漲至2萬美元。[2019/6/13]

當活躍節點收到來自主節點的PREPARE消息后,就進入了Commit階段。此時,活躍節點會將主節點enclave的簽名以及從Proprocessing階段獲取的對應的密鑰分享消息通過verify_counter方法通知enclave。enclave驗證通過后,告知活躍節點子密鑰Si和h。然后,活躍節點將Si發送回主節點。主節點收齊f+1個來自活躍節點的子密鑰Si之后,就可以重建出原始密鑰S。之后,主節點就可以執行REQUEST請求,再次調用enclave的request_counter方法,獲取enclave對REQUEST執行的結果res,c+1,以及v的簽名。然后,將一起作為COMMIT消息的內容,發送給活躍節點。

當活躍節點收到來自主節點的COMMIT消息后,就進入了Reply階段。此時,活躍節點通過對比的哈希值與之前enclave返回的哈希值h,判斷主節點是否成功地恢復出了原始密鑰。然后,活躍節點也執行REQUEST請求,判斷執行結果是否與主節點執行結果一致。之后,再調用verify_counter方法,獲取c+1對應的子密鑰Si’以及原始密鑰的綁定h’,并將Si’發送回主節點。主節點收齊f+1個來自活躍節點的子密鑰Si’之后,就可以重建出原始密鑰S’。然后將REQUEST,res,S,S’連同密鑰分享信息及之前兩個來自enclave的簽名都作為REPLY消息的內容,發送給客戶端及被動節點。被動節點收到REPLY消息后,首先驗證消息的真實性。驗證通過后,調用兩次enclave的update_counter方法更新enclave內部的c和v值。

FastBFT快在哪里

從上述的流程,我們可以總結出,FastBFT算法的“快”主要體現在以下幾個方面:通過可信硬件,減少系統的節點總數;通過輕量級的密鑰分享方案實現高效的消息聚合;通過劃分活躍節點與被動節點來減少與被動節點的通信。

首先,我們看到,在FastBFT算法中,一共只需要2f+1個節點。更少的節點數量意味著更快的響應時間。在常規流程中,主節點只需要發送f+1條消息,接收f+1條消息就可以進入到下一個階段。而在PBFT等算法中,節點需要廣播3f+1條消息,接收至少2f+1條消息才能進入到下一個階段。

其次,在PBFT等經典算法中,從節點在收到主節點的PrePrepare等消息后需要向所有節點廣播Prepare消息,消息總量為O(n^2)。而FastBFT的常規流程中,所有從節點僅需要發送子密鑰給主節點,消息總量為O(n)。這極大地減輕了網絡的壓力。

并且,在HotStuff等共識算法中,消息聚合是通過基于橢圓曲線的聚合簽名來完成的。而基于橢圓曲線的聚合簽名速度較慢,影響共識的效率。而FastBFT則使用了基于XOR的密鑰分享方案,僅需要進行f次異或操作就完成了消息聚合,極大地提升了共識的效率。值得注意的是,FastBFT能使用如此簡單的方法完成消息聚合的原因還是因為可信硬件的支持。由于密鑰拆分在enclave內部進行,拜占庭節點無法獲知原始密鑰和子密鑰,也無法進行篡改。這樣才能保證消息聚合的安全性。

最后,將節點劃分為活躍節點與被動節點之后,被動節點僅需要接收Reply消息更新自身的共識狀態,而不需要發送任何消息。這進一步地降低了網絡帶寬的消耗,降低了系統的運行成本。

總結

FastBFT作為一種基于軟硬協同設計的共識算法,很好地向大家展示了如何使用可信硬件突破傳統共識算法理論的限制。我們可以看到,基于可信硬件,FastBFT極大地降低系統的部署成本,顯著地提升共識的效率。

大家如果對于本文或者區塊鏈算法感興趣,歡迎加入交流群,添加小助手桔子微信:18458407117。

進階加餐

▲?FastBFT的正確性

由于完整的FastBFT算法還涉及異常流程viewchange,已經超出本文的介紹范圍,在此僅對FastBFT的安全性做一個簡單的論證加餐,以便讀者了解大貌。

首先,我們可以發現,每對僅能綁定一條信息。這是因為,每次主節點調用enclave的request_counter方法后,enclave中記錄的c就會加1。并且,一旦viewchange,enclave會將v加1。這樣就保證了同一對不會被重用。于是就有效地防止了拜占庭節點向不同節點發送不同的提案消息,消除了拜占庭節點的二義性。

其次,在常規流程中,c每次都會增加1,并且enclave的verify_counter方法也會判斷c是否比之前的c大1。這對共識消息的順序做了進一步的限制。

再次,我們可以看到,在FastBFT中,一個提案達成共識需要經過類似PBFT的兩輪廣播。與PBFT的區別在于FastBFT的Quorum是f+1而PBFT是2f+1。由于共識消息都有enclave的參與,拜占庭節點無法隨意構造虛假的信息,FastBFT的viewchange流程可以保證即使只有f+1個viewchange消息,也能夠恢復出達成共識的提案請求,確保該請求一定會被執行。

于是,所有正確節點都將以相同順序執行同樣的提案請求。

▲?FastBFT的其他優化

除了前面提到的優化外,FastBFT還引入了廣播樹來緩解主節點的通信壓力。如下圖所示:

當1號節點作為主節點要廣播PREPARE等消息時,只需把消息發送給2,3號節點。2,3號節點會將消息進一步轉發給4,5,6,7號節點。通過這種方法,主節點的發送消息的數量就從O(n)降低到了O(1)。

當然,此時密鑰分享、消息聚合等步驟也會有所變化,本文就不在此贅述了,感興趣的同學可以參考原論文了解相關實現。

作者簡介

汪曉可,來自趣鏈科技基礎平臺部,區塊鏈軟硬件協同設計研究小組

參考文獻

?PracticalByzantineFaultTolerance

?InSearchofanUnderstandableConsensusAlgorithm

?Onthe(Limited)PowerofNon-Equivocation

?ScalableByzantineConsensusviaHardware-assistedSecretSharing

?IntelSGXExplained.

?HotStuff:BFTConsensuswithLinearityandResponsiveness

Tags:ENCAVELAVEBFTCardenceBRAVE幣LAVE幣BFT幣

比特幣最新價格
合成資產協議Coinversation宣布參與波卡插槽拍賣!_COIN

本篇文章為Polkadot社區志愿者組織提供的第三篇文章。12月18號消息,波卡上第一個合成資產協議Coinversation正式宣布參與波卡插槽拍賣.

1900/1/1 0:00:00
濟南市發布區塊鏈發展行動計劃 望加快賦能實體經濟_區塊鏈

本文來源:證券日報,作者:邢萌據濟南市人民政府官網,日前,濟南市人民政府辦公廳正式印發《濟南市區塊鏈產業創新發展行動計劃》.

1900/1/1 0:00:00
Ripple總法律顧問:SEC精心挑選并刪減了事實_PPL

據TheDailyHodl消息,Ripple公司總法律顧問StuartAlderoty表示,美國證券交易委員會針對Ripple提起的訴訟的核心存在一個法律問題.

1900/1/1 0:00:00
研報 | 連通公鏈和聯盟鏈的研究_區塊鏈

本文為萬向區塊鏈行業研究文章之一,作者為萬向區塊鏈首席經濟學家辦公室郝凱。 摘要 本文研究公鏈和聯盟鏈之間進行連通的進展.

1900/1/1 0:00:00
北京市委書記蔡奇:把區塊鏈作為創新突破口,建設區塊鏈產業高地_人工智能

原文:識政君 1月15日下午,市委理論學習中心組學習會舉辦構建新發展格局講座,邀請北京微芯區塊鏈與邊緣計算研究院院長董進圍繞區塊鏈技術與價值作輔導報告.

1900/1/1 0:00:00
都江堰發布首批區塊鏈應用場景示范項目_ZOR

1月11日,都江堰發布首批區塊鏈應用場景示范項目。都江堰市規劃和自然資源局、都江堰市行政審批局分別頒發全國首例基于區塊鏈化數字不動產證及區塊鏈營業執照辦理的區塊鏈醫療機構執業許可證.

1900/1/1 0:00:00
ads