LIT:比較各種共識算法的Finality和Liveness

原作者：靈魂機器由于FLPImposibility原理,Nocompletelyasynchronousconsensusprotocolcantolerateevenasingleunannouncedprocessdeath因此不要浪費時間為純異步網絡設計共識算法。解決辦法就是，要么加強對網絡的要求，要求網絡是Synchronous或者PartiallySynchronous的，或者放松對finality的要求，不要求Deterministicfinality，只要求Probabilisticfinality即可。兩者同時進行也可以。表1各種共識算法比較下面詳細講解一下上面表格中的內容。Finality

Finality看起來和Safety,Consistency很相似，又似乎有所不同，非常容易讓人困惑。簡單的理解，你可以認為Finality,Safety,Consistency是同義詞，即Finality=Safety=Consistency。更深入理解，我認為Finality是一個綜合體，Finality>Safety>Consistency。Consistency適用于所有分布式系統的，包括可信環境例如Hadoop和不可信環境例如Bitcoin；Safety適用于拜占庭環境下；Finality是在區塊鏈這個場景下的術語，區塊鏈是拜占庭場景下的一個子集。Consistency是CAP理論中的C，更加general,要求沒有Finality那么多。Finality包含的含義比Consistency更多更強。Finality包含了下面所有含義：所有節點的數據應是一致的。客戶端發出一個讀操作到任意一個節點，得到的結果應該是一樣的。這個就是CAP里所說的Consistency.這個術語是適用于所有的分布式系統的，包括可信環境例如Hadoop和不可信環境例如Bitcoin。所有節點要確保不進入互相沖突，分裂的狀態，即safety。這個術語是適用于Byzantinefaulttolerance這個領域的，在拜占庭這種開放環境里，有惡意節點會廣播兩個互相沖突的消息，導致全網所有節點陷入分裂狀態，達不成一直，這就破壞了Safety這個性質。所有拜占庭下的共識算法，都需要處理好惡意節點的問題，保證全網的safety。交易一旦進入區塊，應該不可撤銷，即Immutability。在區塊鏈場景下，要保證Safety，不僅需要處理好惡意節點發出雙花交易這種問題，而且還要防止惡意節點撤銷已經打包進區塊的交易。因為區塊鏈是一個單鏈表，是一個線性結構，惡意節點理論上可以從舊的一個區塊出發，分叉處一個更長的新鏈，把自己已經發出去的交易全部撤銷掉，把自己的錢再花一遍綜上，Finality=Consistency+Safety+Immutability。Liveness

Rarible推出NFT聚合器以幫助用戶比較價格:金色財經報道，NFT市場Rarible推出一個非同質代幣 (NFT) 聚合器，使用戶能夠瀏覽多個市場的列表并比較價格。該聚合器現已在Rarible的主頁上公開，它顯示一個搜索欄，允許用戶根據價格、趨勢項目、最近上市的NFT和即將結束的拍賣等過濾器瀏覽NFT。

Rarible聯合創始人Alexei Falin和Alex Salnikov表示，該工具將幫助用戶在市場和區塊鏈中找到最優惠的價格，該平臺計劃在周四公布更多消息。[2022/10/18 17:30:07]

Liveness可以認為與CAP中的Availability等價。當網絡出現partition時，比如海底光纜斷裂，將全球互聯網分割成兩個部分，整個區塊鏈系統是否能正常寫入新的交易？喜歡Finality的共識算法，這時候會選擇無限等待，新的transaction無法寫入，直到海底光纜修復，兩邊的互聯網互通；喜歡Availabilty的共識算法，這時候兩邊網絡會獨立運作，數據分家了，兩邊的全節點中的數據變得不一致。比如Tendermint就是這類，犧牲Liveness追求DeterministicFinality。假設海底光纜斷裂將網絡分為兩邊，那么每一邊都有一半的validator,于是在vote和commit階段，每一邊的所有validator,100%全部投票贊成某個proposalblock，最多只能收到50%的投票，達不到2/3，于是整個區塊鏈網絡會無限等待，直到收集到2/3投票為止。在這個等待期間，無法出下一個塊，新的交易也無法寫入，整個網絡陷入癱瘓。比特幣在碰到這種網絡分割的時候，兩部分的比特幣系統會繼續向前走，依舊可以寫入新的transaction,產生新的區塊，當海底光纜修復后，兩邊互聯網連通后，再選擇合并。在海底光纜沒斷之前，全球所有全節點的狀態是一致的，如下圖：當海底光纜斷裂后，全球網絡被分割為兩部分，兩個部分都會獨立出塊，這時候兩邊已經不一致了，但是兩邊各自是感知不到的，以為自己依舊是一條線性的區塊鏈，如下圖：左邊和右邊，雖然依舊每10分鐘挖出一個新塊，但是左邊的block07和右邊的block07，blockhash是不相等的。這時候比特幣網絡還是available的，只是Finality破壞了。當海底光纜修復后，這時候，兩邊互相同步block，會意識到出現了分叉，如下圖：現在全球所有全節點的狀態，變成上圖，有分叉了，由于兩邊的高度都是8，無法決定哪個分叉是正確的，這時候，就看礦工支持哪邊了，哪邊的算力高，哪邊先出了新塊，那么哪邊就勝出了，短的那條鏈會被拋棄，比如假設右邊搶先新出了一個塊，那么右邊勝出，左邊分叉被拋棄，所有全節點中的數據又變成一條線性區塊鏈，達成一致了，如下圖：其實即使海底光纜不斷，網絡沒有partition,也會經常發生兩個miner各自同時挖出一個新塊的情況，這時候就比拼誰運氣好，下一個新塊繼承哪一個分叉哪一個就勝出。也就說比特幣理論上永遠沒有一個確定性的一致性狀態，分叉隨時會在任意高度上出現，因此比特幣犧牲了一點Finality,換取更強的Liveness。NetworkAssumption

價格比較門戶Finder：當前市場對狗狗幣信心不足:金色財經報道，價格比較門戶網站 Finder 最近針對一個由 54 位行業專家組成的小組發起了一項狗狗幣 (DOGE) 價格預測調研，結果顯示大多數業內專家對狗狗幣的長期未來沒有信心。在“你認為 DOGE 是否會完全失去它的價值嗎？” 問題上，55% 的人說是，21% 的人認為狗狗幣會反彈，24%表示不確定。在“狗狗幣價格何時歸零？”問題上，3% 的人表示會在年內發生，12% 的人表示明年，9% 的人認為會在 2024 年發生，30% 的人表示會在 2025 年或之后。Finder 總結稱：“人們認為狗狗幣距離 To the Moon 還很遙遠，現在更擔心它會留在地球上（即歸零）。”（Bitcoin.com）[2022/7/31 2:49:12]

所有分布式共識算法都對網絡有一個隱含的假設前提。先說一下網絡的分類：同步：消息一定會在某個的時間T內被送達，這個上限(upperbound)的值T，是已知的常量，所有節點都是知道的。如果消息在T時間內沒有送達，就不對這個消息作指望了，節點認為該消息已經丟失，不會繼續等它。所有節點都有條不紊的，每經過一個時間T，就往前進一步，非常整齊。半同步：消息一定會在某個的時間T內被送達，但這個T的值，不是固定的值，而是動態變化的，例如是根據網絡狀況動態計算出來的。所有節點異步：消息會在任意時間到達，可能很快，也可能很慢，總之沒有一個明確的上限(upperbound)甚至無限期延遲，無論多晚到達，節點都要接受并處理這個消息，不能簡單的因為超時就丟棄消息比特幣對網絡的假設就是網絡是同步的，時間上限是10分鐘左右，一個Miner挖出一個block后，向全網廣播，這時候整個比特幣系統，期望就是這個block在10分鐘內會被所有在線的全節點fullnode收到，意思就是說每隔10分鐘，所有全節點都會整整齊齊地往前走一步，即往自己的區塊鏈尾部追加一個block。即使網速很快，例如3分鐘不到，這個新block已經被所有全節點收到了，比特幣還是會每隔10分鐘往前走一步(出一個新塊)。以太坊類似，不過時間上限是15秒。Tendermint在propose階段假設網絡是半同步的，因為在這一步會有一個超時時間，如果超過時間還沒收到一個proposal新塊，那么其他validator就會認為proposer節點已經掛了，于是出一個空塊，直到round-robin到下一個proposer。Tendermint在prevote和precommit都需要收集超過2/3的投票，是無限等待的，也就是在這兩個階段是假設網絡是異步的。最終，Tendermint對網絡的要求是半同步的。pBFT在pre-prepare,prepare,commit三個階段全部是異步的，既然是異步的，沒有超時機制，那怎么往前進展呢？收集到了超過2/3就能繼續往前進。不過所有節點在收到一個客戶端的請求，都會啟動一個定時器，如果在某個時間內該請求還沒有執行完畢，就會觸發ViewChange。ViewChange這個部分是半同步的。在這里可以體會到Tendermint相比pBFT的簡化之處了。Tendermint把超時機制挪動到了propose階段，如果proposer在規定時間內，廣播出了一個proposalblock，那么就前進到下一步，如果超時了，也前進到下一步，不過這個是proposalblock是一個空塊。也就是無論如何，propose階段都會往前進入到下一步。但是Tendermint的pre-prepare是異步的，有可能永遠卡主。pBFT把超時機制挪動到了ViewChange這一部分，因此pBFT就多出來一個ViewChange步驟，比Tendermint復雜了一些。Tendermint通過提交空塊和round-robin更換proposer節點,而pBFT則是通過ViewChange來更換primary節點。Tendermint消除了復雜的ViewChange這一步驟。除了消除ViewChange這一點，Tendermint還在另一個地方有所簡化，Tendermint的所有信息都存儲在blockchain里。而pBFT是1999年提出來的，那時候還沒有blockchain這個東西，因此pBFT的所有節點雖有有一致的數據，但數據是分散存放的。pBFT的每個節點的數據包括:Thestateofeachreplicaincludesthestateoftheservice,amessagelogcontainingmessagesthereplicahasaccepted,andanintegerdenotingthereplica’scurrentview.Blockchain就是一個分布式數據庫，好比在MySQL這類DBMS數據庫沒出現之前，人們都是把數據寫入文件然后存在硬盤上，發明出各種奇怪的文件格式和組織方式。有了MySQL后，管理數據就方便多了。同理，Tendermint把數據全部存入blockchain,pBFT沒有blockchain這樣一個分布式數據庫，所有節點需要自己在硬盤上管理數據，比如為了壓縮消息日志，丟棄老的消息，節省硬盤空間，引入了checkpoint的概念。Tendermint和pBFT關系類似于Raft和Paxos的關系，Tendermint是pBFT的簡化版，是針對blockchain這個場景下的簡化版pBFT下圖是Tendermint的算法流程圖：下圖是pBFT的算法流程圖：未完待續。。。參考資料

實力派 | 陳洪堅：運用區塊鏈制定貿易場景規則?中國有比較大的話語權:在今日的金色實力派上，中國絲路集團副總裁陳洪堅表示，早期我們在國際上結合區塊鏈參與金融領域的合作過程中，發現中國企業有很多的短板，規則制定的參與、控制權比起西方要弱，而且國內還沒形成共識和合力。投資微觀科技恰恰就是在這些實踐中進行了調整，中國是第一大貿易出口國和第二大貿易進口國，以貿易場景切入，運用區塊鏈進行新的規則制定、新的資源整合、新的協同機制、新生態體系構建方面，中國有比較大的話語權。目前在國際貿易領域進行區塊鏈實踐的項目全鏈條整合的很少，因為國際貿易太復雜，協調各方的難度很高，在這方面中國就體現出制度優勢。這就是我們在一帶一路實踐中發現的戰略機會，結合中國優勢進行基于國際貿易場景、運用區塊鏈結合以往數字絲路項目中采用的其他解決方案。[2020/1/17]

1999.Castro.PracticalByzantineFaultToleranceTendermint:ByzantineFaultToleranceintheAgeofBlockchainsConsensusCompare:Caspervs.TendermintAProofofStakeoverviewComparedwithtraditionalPBFT,whatadvantagedoesTendermintalgorithmhas?Synchronous,partiallysynchronousandasynchronousconsensusalgorithmsGRANDPABlockFinalityinPolkadot:AnIntroduction(Part1)FinalityinBlockchainConsensus

聲音 | F2Pool魚池聯合創始人王純：初期的比特幣社區比較純碎:1月1日20:00，張力紅人說線上對話F2Pool魚池聯合創始人王純，金色財經戰略支持直播。F2Pool魚池聯合創始人王純對比特幣初期的社區做了介紹。他表示，以前的中國比特幣社區，只是幾個qq群，大家在群里買賣幣。國外的社區就是Bitcointalk，后來慢慢的就是Reddit。因為圈子小，所以當時的社區都非常扁平，很純粹，當時比特幣還是新鮮事物，還只是流行在一些極客的圈子里。那種社區并沒有持續很久，到了2013年這個圈子就變復雜了，因為商人進來了。[2020/1/2]

聲音 | 《比較》雜志研究部主管：區塊鏈等技術或可助力全面解決因數據產生的問題:10月23日，《科技日報》發表了《比較》雜志研究部主管陳永偉題為《數據業陷生存危機 技術問題還要靠技術解決》的文章。文章表示，盡管要全面解決因數據產生的問題并不容易，但一些技術的發展已讓我們看到了希望。在眾多的技術當中，有三種技術可能是較值得重視的，其中包括區塊鏈技術。區塊鏈技術有一個重要的特征，就是可追蹤溯源，這一技術可全面記錄數據傳遞過程中的所有信息。這樣，一旦數據在傳遞過程中發生問題，就可清楚地知道問題發生在哪個環節、應由誰來承擔相關責任。據悉，《比較》雜志為吳敬璉主編，中信出版社出版，是當今中國權威的經濟學連續出版物。[2019/10/23]

Tags：TENLITALIINTKittenFinancesLittle RabbitAliens MuskCoinTiger幣虎

NEAR