比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > XRP > Info

LibraBFT 算法的美妙之處_VIEW

Author:

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

文章標題:《LibraBFT算法簡述》文章來源:知乎專欄作者:任之劼

首先,不熟悉BFT的人可以看看我之前的三篇文章:

《區塊鏈時代的拜占庭將軍們》《區塊鏈時代的拜占庭將軍們》《區塊鏈時代的拜占庭將軍——區塊鏈共識算法的發展趨勢》

其實我是在發完第三篇之后就看到了Hotstuff,當時非常猶豫要不要把這個算法加進共識算法的發展趨勢里面,后來放棄了,因為我覺得新算法層出不窮是加不完的,當然,我現在有點后悔這個決定——要不然現在就可以拿出來吹一吹了。另外一點,也是好巧不巧的,用BLS來降低BFT的消息復雜度這個事,正好是我擴容那一系列下一篇的內容。不過那些內容在這里我準備簡述一下,然后細節可以繼續關注我的專欄。

HotstuffBFT

Hotstuff這篇論文我記得是年初的時候發在arxiv上的,一作是一位康奈爾的中國博士,然后論文會正式發表在今年的PODC上。不過,在正式發表之前,就已經被LibraBFT用了而大火了一把。

這篇我們不具體說Hotstuff的細節,而是更說一些Hotstuff的思路和貢獻。當然,我覺得對于許多區塊鏈的從業者而言,具體的細節可能并沒有這些來的有趣,同時,直接看論文的時候,其實不如這樣的思路來的清晰。

大網絡中的BFT

動態 | Libra測試網已有7個部署節點 ,記錄超51000筆交易:據Libra發布的官方博客文章,Libra項目已宣布五個月,距Libra協會會員在日內瓦簽署章程以來已近一個月。自測試網啟動以來,開發人員社區反應熱烈,在短短七個星期內錄得34個項目,包括10個錢包、11個區塊鏈瀏覽器、2個IDE、1個API和11個客戶端。自重置測試網以來,已經記錄了超過51000筆交易。目前測試網已部署的節點共7個,進程內節點6個,沒有技術團隊的進程內節點8個。對于沒有技術團隊來實現節點的組織,Libra協會正在制定一項策略,以在2020年完成Libra核心功能集后支持部署。Libra協會計劃在主網上部署100個節點。[2019/11/16]

這個其實不算是Hotstuff的貢獻,而是其實就像我在BFT第一篇就說的,是區塊鏈為BFT算法這個問題帶來的一個新的場景和挑戰。而這其中的第一個挑戰,就是把O(n^2)的消息復雜度降到O(n)。但是,本身這件事并不是Hotstuff的創新,因為基本上所有目前的BFT都有了O(n)的消息復雜度。

Hotstuff達到O(n)消息復雜度的方法其實已經是一個比較經典的方法了,就是采用聚合簽名,然后假定leader是誠實的讓leader去收集簽名。采用聚合簽名的方法其實從Byzcoin就有了,然后其實很多共識算法,不僅限于BFT算法,例如Dfinity,也在采用這類方法。這個方法我在后面的一篇擴容的部分會詳細寫到,在這里就不贅述了。

聲音 | 扎克伯格:Calibra不會與Facebook共享用戶賬戶信息或財務數據:Facebook CEO扎克伯格將于周三在美國眾議院金融服務委員會針對Libra作證。扎克伯格在其準備的證詞中提及,“我們將Calibra設為受監管的子公司,將Facebook社交數據和Calibra財務數據明確分離。除非是為了防止欺詐或犯罪活動,或者當用戶明確選擇共享數據,亦或當我們有法律義務這么做時(才會共享),否則Calibra不會與Facebook共享用戶賬戶信息或財務數據。”(jp.cointelegraph)[2019/10/23]

BFT與鏈的結合

傳統BFT達成共識的方法是兩輪共識,其中第一輪定序,第二輪commit。很多將BFT用于區塊鏈的項目仍舊采取「先做兩輪通信,然后達成共識,最后上鏈」的模式,而Hotstuff采用的是「先上鏈,在區塊中加入聚合簽名,于是,在n個區塊之后就可以視為通過了n輪的通信達成共識」。

于是,其實根本就不需要再去區分所謂prepare,commit這兩輪通信的區別了,只需要簡單地把每一輪節點的行為定義成「leader負責出塊和收集簽名」,然后「其他節點負責對leader出的塊進行簽名」,然后,只要收集到了2f1個簽名,leader就可以出一個塊,然后后面有n個塊就相當于達成了共識。

聲音 | 扎克伯格:Libra將擴大美國的金融領導地位:Facebook CEO扎克伯格將于周三在眾議院金融服務委員會針對Libra作證。根據他準備的證詞,扎克伯格表示,除非獲得所有美國監管機構的批準,否則Facebook不會在世界任何地方啟動Libra。此外,他還將對議員們表示,Libra加密貨幣“將擴大美國的金融領導地位以及美國在世界范圍內的民主價值觀和監督”。扎克伯格稱,在我們辯論這些問題時,世界其他地方都沒有在等待。中國正在迅速采取行動,在未來幾個月內提出類似的想法。扎克伯格還強調,Libra的未來現在掌握在Libra協會而不是Facebook手中。(CNBC)[2019/10/23]

這點的好處在于,O(n)的通信復雜度可以讓誠實節點知道「我知道消息m將成為共識」,但是必須要O(n^2)的通信才能讓每個誠實節點都確信「我還知道所有誠實節點也知道消息m是共識」,而通過leader收集簽名并出塊這種方法,當所有人看到區塊b的時候,誠實節點會知道「我知道b是共識」,而在看到b后一塊b'的時候,誠實節點等于知道了「所有簽名的人也都知道了b是共識」。于是,每次出塊的時候都只需要O(n)的消息復雜度,但是,在一個誠實leader和聚合簽名的幫助下,通過兩輪的O(n)消息復雜度,我們達到了之前O(n^2)的效果。

并且,這個事情和b'的共識的第一輪是同步進行的。換句話說,就是把每一輪BFT的過程也鏈起來之后,還把通信復雜度減少了一半。這一點,雖然之前也有類似的想法,但是我個人覺得Hotstuff是第一個把這個思路確切地落在算法里的,這點我覺得非常有趣,同時,也是未來的一個方向。

聲音 | David Marcus:尊重Visa和萬事達卡等到監管明確后再推進Libra的決定:在多家公司宣布退出Facebook牽頭加密貨幣Libra的管理協會后,Libra項目負責人David Marcus發推表示,尊重Visa和萬事達卡等到監管明確后再推進Libra的決定。他對根據幾家公司退出Libra項目的新聞解讀Libra的命運持謹慎態度。

Marcus說,短期而言,退出Libra項目不是很好的消息。很快會有更多消息,要保持關注。“這種規模的改變是很難的。當這么大的壓力在累積的時候,你就知道這件事有譜了。”[2019/10/12]

其實這個方法是從兩個方向逐漸靠攏的——第一是從BFT的方向,大家逐漸意識到其實鏈式結構可以省掉BFT中的很多事情,例如其實我們不需要定序,而且對于后面一個區塊達成共識實際上就相當于對于前面的區塊進行了共識,而很多BFT算法,例如:avalanche都開始注意到了這個事;而從區塊鏈共識算法,尤其是追求finality的方向來看,人們發現其實一個區塊后面跟上2f1個節點的出塊,就相當于達成了BFT,而如果通過多個人對于這些區塊簽名可以加速這個過程,像這一點,也在例如Polkadots這類的算法中有所體現。而Hotstuff可以說是這兩種思路到了這個階段最簡潔的融合。

BFT的快速響應

大網絡BFT算法在實際應用中最復雜的問題實際上是viewchange,這點我聽不止一個采用PBFT算法的人說過了。這是因為實際上在PBFT以及所有傳統BFT其實都是基于傳統的拜占庭將軍問題的,也就是說,我們會先假設leader是誠實的,然后以他為主導達成共識。

動態 | 新加坡金管局:Libra可能影響國家貨幣政策:新加坡金融管理局(MAS)主管科技的助理局長黎日臣出席財新國際圓桌新加坡場的小組討論時稱,臉書推出虛擬貨幣Libra后,當局需要評估其將如何影響一個國家的貨幣政策。他表示, 金管局正在與臉書溝通,目前要監管或明確表態反對Libra,還言之過早。黎日臣稱,新加坡鼓勵創新,但也需要將風險控制在適當的程度,“要管理風險,必須先知道有哪些風險,要知道有哪些風險,必須先足夠了解產生風險的產品本身”。(財新網)[2019/9/20]

于是,viewchange是個不得已的事情,需要所有的誠實節點先timeout,然后對于viewchange這件事達成共識,然后,他們把這個共識告訴新的leader,新的leader還要把這個消息廣播出去宣布viewchange,于是,這個viewchange的cost是O(n^3)。

這其中有兩個問題:一個是viewchange的消息復雜度,一個是viewchange必須要等到誠實節點對于viewchange達成共識之后才會發生。

Hotstuff的一個非常有趣的新意在于把傳統BFT的兩輪共識變成了三輪,然后借此把viewchange的cost變成了O(n)。這個可以這么理解:傳統的viewchange是O(n^2)消息復雜度,也就是說,所有的誠實節點在viewchange之前會確認所有的誠實節點確實都進行到下一個view,而在Hotstuff中,viewchange不需要等「我知道其他人也知道viewchange了」這件事就可以進行,于是,消息復雜度就降到了O(n),也就是說,只要誠實節點的內置timeout到了,那么就可以發viewchange給新的leader開始viewchange。

為什么需要把兩輪變成三輪呢?因為之前BFT鏈式結構的簡化中,嚴格來說這兩個通信復雜度為O(n)的區塊和PBFTO(n^2)消息復雜度的prepare和commit還是有區別的——當有兩個區塊連起來的時候,兩邊是相當的,但是其實每一個區塊的消息復雜度都只有O(n),并不說明所有誠實節點都知道「所有誠實節點都會達成共識」。

而同樣,viewchange的消息復雜度也只有O(n),于是如果一條消息剛有第一個區塊的時候viewchange了,那么誠實節點會對于第一個區塊是否達成了共識產生不一致,因為prepare和viewchange看起來都很有道理。

而把兩輪變成三輪之后我們就解決了這個問題。因為我們可以規定任何兩輪之后的東西才是共識,而如果沒有到兩輪就不算——對于prepare和viewchange都是如此。

于是,如果viewchange發生在第一輪之后,那么我們不認為之前prepare的是正確的,而viewchange也同理。相反,如果在第二輪之后發生viewchange,那么由于已經經過了兩輪,所以這條消息已經經過了定序,即便在viewchange之后也會最終達成共識。

所以總體來說,Hotstuff的核心思路如下:

采用聚合簽名的結構把每一輪的消息復雜度變成O(n);

用鏈式結構把O(n^2)的共識變成了兩輪O(n)消息復雜度的區塊提交;

在這種結構下,把viewchange的消息復雜度降到O(n),然后為了防止viewchange造成的不一致,把兩輪區塊提交變成了三輪;

整體下來,雖然前兩條也很有趣,但是最核心的優點是viewchange變得更容易了,無論是時長,消息復雜度,還是對于下一任leader的工作壓力。雖然代價是需要多一輪通信,但是這樣的延遲,無論是對于世紀中viewchange的可能延遲,還是對于習慣了區塊鏈共識算法延遲的我們而言,其實都不值一提。

LibraBFT

LibraBFT基本上就是Hotstuff,只不過在這之上做了兩點改動。

其中一點是將Hotstuff用于區塊鏈時候加上了現實考量的機制,例如引入了epoch的概念,允許共識節點替換,同時加上激勵機制和懲罰機制…

另外一點是同步性上的改進:

Hotstuff是在partialsynchrony網絡中生效的,這已經算是一個非常強的異步假設了,它和PBFT一樣,但是現在很多的區塊鏈算法都已經在用同步假設了。

而Hotstuff里的輪其實概念更像是PBFT的幾個步驟,也就是說實際上這個輪不是一個時間概念,而是和PBFT一樣,是上一個步驟結束之后自動進入的。換句話說,一個區塊出現有可能很快,但也有可能在ViewChange的時候要等很久。于是呢,LibraBFT使用了Pacemaker機制,讓每一輪的時間盡量有一個上限。

以上就是關于LibraBFT的簡介了。在我看來,Hotstuff是一個非常有趣,甚至有可能是最近對于未來區塊鏈的共識算法最有啟發性的一個算法。而Libra采用這個算法其實也很有道理,因為Hotstuff不僅有現在大部分BFT的高輸出,而且解決了大部分通行BFT的viewchange的問題,而在實踐中這卻是是非常影響BFT算法在區塊鏈環境中使用的問題。

當然,對于Libra本身,我的意見都在這個答案里了:《如何評價Facebook發布的數字貨幣Libra?》

反正,對于Facebook而言,這是個進可威脅金融業,統治區塊鏈領域,甚至和主流貨幣扳手腕;退可造噱頭,蹭熱點,漲股價,最后搞個Facebook版支付寶或者微信支付的項目,甚至,即便它被相關機構叫停,它還是能洗白之前隱私盜竊犯的形象,搖身一變變成強權和守舊的挑戰者,對于Facebook而言,它幾乎一定會成功,只不過是程度問題。

但是,無論如何,它都會對于區塊鏈領域造成深遠的影響,不是因為它做的事,不是因為它的技術,不是因為它可能的成就,而是因為它是Facebook。

因此,在以上這個意見里我沒有提到的是,我覺得無論成功與否,它對于區塊鏈整個行業造成的影響,都未必是正面的——如果它取得了巨大的成功了,以現在的路線,我們可以看到的是區塊鏈對于互聯網巨頭挑戰的失敗,以及區塊鏈領域再次被大鱷占領;如果它沒有取得巨大的成功而只是一個成功的噱頭,我們會看到其他的大鱷們站臺的無數跟風的噱頭出現,再割完一圈韭菜后翩翩離場,留下一個不再有任何生機的區塊鏈行業。

來源鏈接:zhuanlan.zhihu.com

Tags:LIBLIBRABFTVIEWLibertyLibraFaceBBFTVersoView

XRP
“有信心成為區塊鏈的支付寶”——金色財經獨家專訪SEAL創始人張宇焱_區塊鏈

隨著區塊鏈技術的迅猛發展,其速度之快與互聯網技術有并駕齊驅的勢頭,區塊鏈技術特性中的分布式存儲和數據不可篡改、可溯源等特性,都與金融行業對信息和數據安全、交易數據溯源等業務的本質需求高度契合.

1900/1/1 0:00:00
LTC\/BTC近期或將迎來一波超跌反彈_KING

LTC/BTC日線走勢看,從前期2月初開始放量站上0.0112BTC上方以來截止目前整體走勢仍處于該支撐線上方來回震蕩,期間幣價4次下探觸及該支撐線均能迎來不同幅度的反彈.

1900/1/1 0:00:00
為對抗瑞波 SWIFT區塊鏈平臺允許使用“即時”GPI支付_加密貨幣

全球銀行結算系統SWIFT宣布,將允許區塊鏈公司利用其全球支付創新(GPI)平臺進行支付。據Coindesk報道,上周晚些時候SWIFT發布報告表示:繼R3Corda平臺的概念驗證成功之后,它將.

1900/1/1 0:00:00
火星一線 | 比特幣短時突破12000美元,24小時漲超8%,續刷年內新高_比特幣

火星財經APP一線報道,比特幣今日持續走強,于8:50左右短時突破12000美元,24小時上漲8.29%,續刷年內新高.

1900/1/1 0:00:00
DeFi 是以太坊的殺手锏嗎?一項針對 Compound 的案例研究_UND

在以太坊誕生四年后,人們依然不知道智能合約最好的用例是什么。ICO的出現為融資方式帶來了革命性的改變,引爆了一輪牛市,并在2018年1月達到高峰.

1900/1/1 0:00:00
Nervos CKB 共識協議 NC-Max:突破 Nakamoto Consensus 吞吐量的極限_ACT

帶寬實際上是區塊鏈吞吐量的最大限制,在美國舊金山舉辦的ScalingBitcoinMeetup中.

1900/1/1 0:00:00
ads