近日,中國科學院軟件研究所張振峰團隊聯合美國新澤西理工學院唐強團隊,在區塊鏈核心技術的拜占庭容錯(BFT)共識研究中取得重要突破,在國際上提出首個完全實用的異步共識算法“小飛象拜占庭容錯(DumboBFT)算法”(簡稱“小飛象算法”)。
在以“去中心化”為主要特征的區塊鏈技術中,共識算法為什么重要?什么是“拜占庭容錯共識算法”?“小飛象算法”又有哪些過人之處?
共識算法為什么重要?
“去中心化”是區塊鏈的特征之一。在一個去中心化的系統里,沒有負責“拍板”的角色,這就好比一個臨時組成的旅游團,有人想往東,有人想往西。
Stargate DAO成員在社區會議上討論如何處理即將收到的160萬枚ARB:3月30日消息,Stargate DAO成員在周三社區電話會議上討論如何處理160萬枚Arbitrum(ARB)代幣的預期分配,這些代幣價值不到200萬美元。LayerZero Labs的員工MaxPower表示,這些代幣尚未收到,但當收到時將必須決定是否持有、出售、部署或委托這些代幣。
一些與會者建議,DAO應該將ARB代幣分發給用戶,或將其部署為流動性激勵。與此同時,其他治理代幣持有者建議委托ARB代幣,以便Stargate DAO可以參與Arbitrum治理。
據DeFiLlama的數據,Stargate的總鎖定價值(TVL)為3.64億美元,其中近22%來自Arbitrum平臺。(CoinDesk)[2023/3/30 13:34:35]
“中心化”與“去中心化”
俄羅斯彼爾姆地區一家法院屏蔽解釋如何交易比特幣的網站:俄羅斯彼爾姆地區的一家法院決定屏蔽一些描述如何將加密貨幣兌換成法定貨幣的網站,當地檢察官聲稱,在俄羅斯傳播此類信息是違法的,違反了俄羅斯打擊犯罪收益合法化的立法,可能會促進非法洗錢行為。(Bitcoin.com)[2021/6/11 23:30:46]
再舉一個更加貼近生活的例子,在傳統的金融系統里,A向B轉賬了一筆錢,這個行為會被保存在銀行數據庫里,交易數據的真實性由銀行這樣的傳統機構保證,以他們的記錄為準。
但是在比特幣這種“去中心化”的區塊鏈系統中,可能有的節點記錄了A向B轉賬的事情,有的節點沒有記錄,那到底有沒有轉賬這回事?以誰的記錄為準?
大咖零距離 | 合約交易秘籍 如何穿越牛熊市:3月27日19:00,金色盤面邀請資深金融從業者,有超20年投資交易經驗的丁一老師做客金色財經《大咖零距離》直播間,將分享《合約交易秘籍 如何穿越牛熊市》,敬請關注,欲進群觀看直播掃描海報二維碼報名即可![2020/3/27]
很明顯,在上述兩種情況下,通過一個合適的共識機制,讓整個系統能做出統一的決定非常重要。
因此,在區塊鏈的世界里,不同的節點通過預設共識算法最終達到數據的一致性,這其實就是一種通用性規則,每個人只要按照這個規則參與運行,結果即可得到其他人的認可。
大咖零距離 | 減產在即 如何把握接下來的行情節奏:2月13日16:00,金色盤面邀請幣圈KOL幣姥爺做客金色財經《大咖零距離》直播間,將分享《減產在即,如何把握接下來的行情節奏》,敬請關注,欲進群觀看直播掃描海報二維碼報名即可![2020/2/13]
“拜占庭容錯共識算法”與拜占庭有何關系?
在實際運行中,共識算法并非無懈可擊。來自各方的挑戰經常會影響共識的達成,其中最大的挑戰還是源自“信任問題”。
1982年,圖靈獎獲得者萊斯利·蘭伯特等在論文中提出了這樣一個可能令共識算法失靈的情況假設,即“拜占庭將軍問題”。
什么是“拜占庭將軍問題”?
由此可見,拜占庭容錯共識算法是由拜占庭將軍問題衍生出來的共識算法,其目的是要解決在非信任環境下,如何達成共識。
類似的故事在中國的歷史上更為普遍,例如戰國時期的“合縱連橫”:秦國的勢力不斷強大,成為其他六國的共同威脅,于是六國“合縱”,合力抵抗強秦。與此同時,秦國也通過“連橫”分別與六國聯盟,目的是破壞六國間的“合縱”,以便孤立各國,各個擊破。
在上述背景下,無論秦國還是其他六國,均面臨所謂的“拜占庭將軍問題”——既要聯合作戰,又要防范自己被滅。那時候的古人往往通過人質或聯姻等手段建立信任,而在區塊鏈的語境中,類似的問題可以由“拜占庭容錯共識算法”來解決。
因此,作為區塊鏈的關鍵核心技術,“拜占庭容錯共識算法”是確保區塊鏈安全可靠運行、提升區塊鏈擴展能力和運行性能的核心算法,具有運行性能高、資源消耗低、易于部署等特點,得到工業界的青睞,廣泛應用于中外區塊鏈系統中。
“小飛象算法”有何過人之處?
此次研究成果主要完成人張振峰研究員在接受采訪時表示,如何設計高效的異步“拜占庭容錯共識算法”,這是密碼學和分布式計算領域的著名難題。自20世紀80年代起,包括多位圖靈獎得主在內的眾多國際著名學者先后對這一難題進行探索,2016年提出的“蜜獾算法”(HoneyBadgerBFT)是第一個接近實用的異步共識算法,已被應用于區塊鏈平臺。
張振峰指出,為設計完全實用的異步共識算法,中科院軟件所于2015年開展“小飛象算法”研究工作,該算法以獨到視角對“蜜獾算法”進行分析,揭示其性能受限的根源是大量隨機化子模塊調用導致的運行時間增加,提出全新的可證明可靠廣播原語,通過密碼學“證明”保證了交易廣播的正確完成,并給出基于門限數字簽名技術的高效構造方法,通過一種創新性的多值拜占庭共識應用,將對交易的共識轉換為對“證明”的共識,使“小飛象算法”在容忍1/3的惡意節點的同時,突破異步共識算法在性能上的設計挑戰。
目前,在遍布全球四大洲的100個共識節點的測試網絡中,“小飛象算法”的確認延遲時間為24秒、不到“蜜獾算法”的1/20,交易吞吐量為每秒近1.8萬筆、是“蜜獾算法”的9倍多。
張振峰還表示,聯合團隊完成“小飛象算法”的創造性突破,不僅解決了異步共識算法設計的理論難題,而且在性能上大幅提升并全面超越當前工業界采用的“蜜獾算法”,從而成為國際首個完全實用的異步共識算法。這項研究成果,可為中國區塊鏈基礎設施建設提供強安全、高性能、可擴展的新一代核心技術。
在過去的十年里,越來越多的人可以在金融市場上進行交易。過去投資是富人的專利,而現在任何人都可以下載一個移動金融應用,并以接近零的費用開始買賣證券.
1900/1/1 0:00:00本公眾號的文章只做研究、學習和交流使用,不具有任何的操作指導意義!幣圈唯一每天堅持視頻分析行情的公眾號!如果需要看視頻行情分析.
1900/1/1 0:00:00Filecoin是基于區塊鏈機制的分布式存儲網絡。Filecoin礦工可以為提供網絡存儲容量,通過定期生成證明來獲得Filecoin加密貨幣.
1900/1/1 0:00:00以太坊協議所面臨的一個最為長久且尚未解決的挑戰,就是由于狀態數據規模不斷增長而帶來的問題。以太坊區塊鏈上的許多操作都會給以太坊添加狀態內容,而所有全節點都必須存儲全量的狀態數據,這樣才能驗證新區.
1900/1/1 0:00:00說到“大哥”,各位小伙伴都會想到誰呢? 成龍?李宗盛? nonono,都不是。本期烤仔觀察,烤仔要為大家介紹一個新“大哥”,他就是黃立成.
1900/1/1 0:00:00春節是中國人最重要的團圓節日,先給每一位讀者拜個年,祝各位新的一年持幣暴富。 比特幣市場現狀 今年的比特幣行情實在太精彩了,國際大環境利好不斷:歐洲央行和華爾街各種利好政策、Twitter的CE.
1900/1/1 0:00:00