區塊鏈是目前全球科技的焦點領域之一。在實現區塊鏈“不可偽造”“公開透明”“集體維護”等特性的背後，大資料和演算法也發揮了重要作用。
近日，中國科學院軟體研究所張振峰團隊與新澤西理工學院唐強團隊在區塊鏈核心技術——拜占庭容錯(BFT)共識研究中取得突破，提出了首個完全實用的非同步共識演算法——小飛象拜占庭容錯(DumboBFT)演算法。
研究突破了非同步共識演算法在效能上的設計挑戰，併成為了國際首個完全實用的非同步共識演算法。
拜占庭容錯(BFT)共識演算法是區塊鏈的關鍵核心技術，是確保區塊鏈安全可靠執行、提升區塊鏈擴充套件能力和執行效能的核心演算法。
軟體所於2015年開展小飛象拜占庭容錯演算法研究工作。目前公佈的研究中，主要提出了兩種全新的可證明可靠廣播(provable reliable broadcast)原語——Dumbo1和Dumbo2，它們都具有漸近的和實際的更好的效率。特別是，Dumbo1的ACS只執行一個很小的κ(與n個ABA例項無關)，而Dumbo2的ACS進一步將其降低為常數。
實驗結果表明，研究中的協議在延遲和吞吐量上等效能都比HoneyBadgerBFT演算法提高了好幾倍，特別是當系統規模變大時。在遍佈全球四大洲的100個共識節點的測試網路中，小飛象拜占庭容錯演算法DumboBFT的確認延遲時間為24秒、不到HoneyBadgerBFT演算法的1/20，交易吞吐量為每秒近1.8萬筆、是HoneyBadgerBFT演算法的9倍多。
該演算法技術帶來了兩個主要的核心發現:1)減少ABA例項的數量顯著提高了效率;(2)更謹慎地使用多值驗證拜占庭協議(multi-value validated Byzantine agreement, MVBA)，該協議被認為是中ACS的次優方案，實際上可以導致更有效的ACS。
上述研究成果發表於網路安全旗艦會議ACM CCS(第27屆國際計算機與通訊安全大會)上，題為“Dumbo: Faster Asynchronous BFT Protocols”。
這項研究成果，可為中國區塊鏈基礎設施建設提供強安全、高效能、可擴充套件的新一代核心技術。
譯/前瞻經濟學人APP資訊組
參考資料:https://dl.acm.org/doi/10.1145/3372297.3417262