BFT:科普：區塊鏈與分布式系統_MBL

編者按：本文來自登鏈社區，Odaily星球日報經授權轉載。區塊鏈技術的火熱推動了傳統分布式技術的進一步發展。從區塊鏈技術的本質來看，基本脫離不開傳統分布式系統跟密碼學的核心技術。那么區塊鏈技術真的值得去研究嗎？是區塊鏈選擇了我們，還是我們選擇了區塊鏈？本文從一個分布式系統研究者的角度來理解區塊鏈。人們常常把區塊鏈當作分布式數據庫，或者是分布式賬本，這種說法不準確，而且具有迷惑性。區塊鏈與我們常見到的分布式數據庫相比，我認為區別主要有兩個：共識算法和鏈式結構。這兩者相輔相成，共同構成了區塊鏈的獨特性。共識算法

分布式數據庫所采用的共識算法一般都是基于Paxos所衍生出來的一系列算法。這些算法的安全性仰賴于中心化的假設，即所有的節點由一個可信賴的中心管理。在這個假設下，所有節點都被認為是“誠實”的，也就是說，所有節點都竭盡全力去傳遞消息，并且消息不會被篡改。如果有少部分節點宕機，或者失聯也不會影響協議的安全性。然而區塊鏈中的共識算法沒有中心化的假設，每個節點都可以被認為是有獨立行為的，這也是區塊鏈“去中心化”的由來。協議允許一部分節點是拜占庭節點，它們可以按照自己的意愿選擇遵從或者違背協議，發送任意消息或者假裝宕機。拜占庭節點可以是被攻擊者完全控制的節點，也可以是自身軟件出現嚴重bug的節點。這類算法被稱作拜占庭容錯算法，簡稱BFT。很明顯可以看出，區塊鏈的共識算法的容錯性要遠遠高于傳統的分布式數據庫，因此往往也更低效。針對BFT共識算法的研究從很早就開始了，其中影響力最大的就是圖靈獎得主Barbara在1999OSDI年提出的PBFT(PracticalBFT)。然而由于算法的復雜性過高，很難進行大規模部署。除此之外，這類算法還要求每個節點的身份已知，也就是說，在協議初始或者新節點加入時，都需要有準入控制機制，保證節點之間可以互相驗證身份。基于以上原因，針對傳統的BFT協議的研究到了2010年也沒有很大的進展。比特幣的出現打破了人們對這一領域的認知，它使得人人都可以輕易加入到網絡中來，不需要任何準入控制機制。只要擁有至少51%算力的計算機是誠實的，整個網絡就是安全的，并且通過比特幣的獎勵機制鼓勵參與者規范自己的行為。比特幣通過極其簡單的設計就在某種程度上實現了“海納百川，一視同仁”，不得不說是一個奇跡。然而奇跡的誕生是要付出代價的。比特幣付出的代價在我看來主要有三個：極大的資源消耗。參與到網絡中的礦工需要付出龐大的硬件費用和電費。極低的性能。比特幣的網絡每秒鐘大概能處理7個交易，每個區塊的平均生成時間是10分鐘左右。交易的不確定性。即使一個區塊在比特幣網絡中被確認了，由于區塊鏈可能存在分叉fork，這個區塊仍然有被重寫的風險。只有等待一個區塊被確認若干次之后，才能使得這個區塊被重寫的風險降到足夠低。這也進一步提高了交易被確認的延遲。為了減少上述代價，有不少研究者都做出了卓越努力。例如，為了提高共識算法的性能，來自Cornell大學的研究者在2016年的NDSI提出了Bitcoin-NG。來自MIT和Stanford的研究者在2019年的CCS提出了Prism，進一步對比特幣進行擴容。此外，為了減少資源消耗，來自MIT的研究者在2017年SOSP上提出了基于Proof-of-Stake的Algorand，移除了挖礦的消耗。鏈式結構

人大附中物理老師李永樂科普拜占庭將軍問題和區塊鏈:5月14日，人大附中物理老師、科普視頻網紅李永樂在其公眾號發布視頻《拜占庭將軍問題是什么？區塊鏈如何防范惡意節點？》。李永樂老師在視頻中對拜占庭將軍問題和區塊鏈進行了講解，他表示，拜占庭將軍問題本質上指的是，在分布式計算機網絡中，如果存在故障和惡意節點，是否能夠保持正常節點的網絡一致性問題。在近40年的時間里，人們提出了許多方案解決這一問題，稱為拜占庭容錯法。例如蘭波特自己提出了口頭協議、書面協議法，后來有人提出了實用拜占庭容錯PBFT算法，在2008年，中本聰發明比特幣后，人們又設想了通過區塊鏈的方法解決這一問題。區塊鏈通過算力證明來保持賬本的一致性，也就是必須計算數學題，才能得到記賬的權力，其他人對這個記賬結果進行驗證，如果是對的，就認可你的結果。與拜占庭問題比起來，就增加了叛徒的成本。[2020/5/14]

區塊鏈帶來的另一項革新就是鏈式的結構。每個區塊都通過哈希跟前面的區塊鏈接在一起，一直追溯到初始區塊，形成一條綿延不絕的鏈。這個結構帶來的一個好處就是當一個節點確認一個區塊的時候，意味著同時確認了這個區塊所在鏈上之前的所有區塊。基于這種鏈式的結構，區塊鏈中很容易采用一種“最長鏈”原則發布新的區塊。比如在比特幣中，由于網絡問題和惡意攻擊的存在，一個礦工可能會看到多條鏈，但礦工總是傾向于在最長的一條鏈上挖礦。即使挖礦挖到一半發現了一條比所在的鏈更長的鏈出現，也要切換到更長的鏈。“最長鏈”原則并不一定是非遵守不可，它并不會對協議安全造成嚴重影響，但當所有礦工都遵守這一原則的時候，每個礦工所能期望獲得的收益最大。當然，也有例外，當一個礦工占有比較多的資源的時候，可以采取一種“自私挖礦”的策略，違背“最長鏈”原則，謀求更高的收益。區塊鏈的鏈式結構也給研究傳統BFT的研究者帶來很大啟發，很多為區塊鏈量身定做的BFT協議開始涌現。這其中最著名的要數Facebook所采用的LibraBFT共識協議。LibraBFT基于HotStuff，由來自VMware的研究者提出。HotSutff通過采用區塊鏈的鏈式結構改進了傳統BFT的性能，使得協議能夠部署在具有上百個節點的網絡中。下面我簡單說明一下這種鏈式結構的神奇之處。首先，我們想象用傳統的BFT協議實現區塊鏈。由于在傳統的BFT協議中共識是一次性的，我們需要對每個區塊單獨進行共識。例如在PBFT中，每個區塊鏈都要經歷Propose，Prepare，Precommit，Commit若干階段。每個階段都要經歷一輪投票，似乎都在做相同的事情，存在很多消息冗余。如下圖所示。

動態 | 鏈客社區聯合北京交通廣播推出區塊鏈技術科普節目:12月11日15:15—16:00，區塊鏈技術社區——鏈客區塊鏈技術社區將聯合北京交通廣播FM103.9從零開始為大眾科普解碼區塊鏈技術，蜻蜓FM及北京廣播網同期進行全球直播。首期做客嘉賓為鏈客區塊鏈技術社區創始人郄建軍和百度區塊鏈產品負責人于雅楠。[2019/12/11]

為了解決這一問題，HotStuff在PBFT的基礎上引入了鏈式結構。由于之前所說的鏈式結構的特性，一個節點對一個區塊的投票實際上是對這個區塊所在鏈上之前的所有區塊的投票。因此鏈式HotStuff縮減了不同的投票階段，只保留了統一的Propose-Vote的形式。如下圖所示。

聲音 | 上海股交所總經理：區塊鏈想要大規模發展要做好社會科普工作:金色財經報道，上海股交所總經理張云峰表示，區塊鏈當前還處于一個“概念”的階段，距離成熟應用，影響到百姓的日常生活還有很長的路要走。對于“區塊鏈”和其會帶來的社會和經濟效果，沈陽應當持審慎的態度。區塊鏈想要大規模發展，一方面要做好這項復雜技術的社會科普工作，加快社會大眾對區塊鏈的了解。另一方面，要充分發揮市場的作用，讓企業用實實在在的技術創新，賦能實體經濟的發展。[2019/11/17]

HotStuff進一步利用了鏈式結構的特點規定了投票規則以及區塊被確認的規則，從而保證協議的安全性。鏈式的結構使得BFT協議變得簡潔而優美，能夠很好地進行流程化作業，提高了協議的性能，極大降低了狀態空間。除了上述的好處之外，鏈式的結構也給協議留足了設計空間，比如激勵機制，信用管理，公平機制等，這些機制對一個多方參與的網絡來說都會起到積極作用。總結

動態 | 幣安科普MimbleWimble算法:幣安官方推特今日發布隱私算法Mimblewimble的科普貼，在下方留言區大量網友留言猜測是否是基于 Mimblewimble算法的隱私幣Grin或者Beam即將登陸幣安交易所，其中猜測Grin的呼聲更高。[2019/9/2]

在10多年前，中本聰發明比特幣，區塊鏈應運而生。現在，我們對區塊鏈的研究逐漸撥云見日，我們也應用一種客觀專業的眼光去看待這項技術。毫無疑問，區塊鏈的誕生給分布式系統的研究帶來了新的生命力。但在研究區塊鏈的時候，不能粗暴的將共識算法和鏈式結構分開去研究，因為這兩者相輔相成，共同構成區塊鏈的基本要素。

動態 | 美國演說家Anthony Robbins開始科普什么是比特幣:美國演說家安東尼·羅賓（Anthony Robbins）在自己的網站上發布了一篇比特幣的科普文章，并在推特上向自己的粉絲介紹什么是比特幣，目前他的推特賬戶共有粉絲304萬人。[2019/1/1]

Tags：區塊鏈BFT比特幣MBL有人拉你做區塊鏈bft幣多少錢一個比特幣一天跌去4000美元mbl幣最新消息

加密貨幣