一文了解極簡區塊鏈共識協議Streamlet_REA:Gastream

導讀

區塊鏈作為典型的分布式系統，其共識核心的設計和實現一直困擾著開發者。如何設計一種簡單而高效的共識協議一直是學術界和工業界追求的目標。比特幣的設計雖然簡單，但性能低下且共識結果具有一定隨機性，因此不適用于企業之間業務量巨大的場景。近年來大家非常關注的聯盟鏈中應用的共識算法雖然性能接近傳統的共識算法，但協議設計相對比較復雜，實現難度較高。本文著眼于一種針對聯盟鏈設計的極簡區塊鏈協議Streamlet。具有一定區塊鏈知識背景的人只需要不到10分鐘就能理解整個共識流程，因此Streamlet不僅適用于工程化實現，而且具有非常現實的教學意義。

背景

Streamlet由Cornell大學的ElaineShi教授團隊在2020年2月的斯坦福區塊鏈大會提出，其前身是Pala。Streamlet可以算作是近五年來區塊鏈領域與傳統拜占庭共識領域的集大成之作，在包括經典PBFT，Cosmos在用的Tendermint，以太坊2.0將要用的Casper，以及Facebook推出的數字貨幣Libra所基于的HotStuff等協議中都能感受到對Streamlet的影響。盡管如同一個大雜燴，但Streamlet的目標是一種堪比比特幣的極簡區塊鏈協議。

投行Mediobanca和投資公司Founders Factory推出的工作室擬投資區塊鏈和AI等領域:金色財經報道，意大利最大投行Mediobanca Group和倫敦投資公司Founders Factory簽署合作伙伴關系，雙方共同推出新的金融科技風投工作室和加速器并獲得由Mediobanca Group提供的總計1200萬歐元支持。據悉，該金融科技風投工作室將會在未來五年投資35家專注于區塊鏈和人工智能等先進技術的金融科技公司，繼而促進金融服務市場創新，而新推出的加速器計劃則將重點投資和支持意大利和國際市場中的早期金融科技公司。（Ffnews）[2023/7/24 15:55:49]

Streamlet遵循傳統BFT協議的容錯規則，即在節點數目為n的網絡中，可以容忍最多f個拜占庭節點，需要滿足n>3f。Streamlet依賴于半同步網絡假設，即網絡在大部分情況都是好的，消息可以在一個能夠預測的延遲內傳播，但在某些情況下網絡可能會經歷一段波動期，并最終會恢復。在GST期間，網絡延遲無法預測。Streamlet和大多數協議一樣，保證協議在異步網絡下的安全性，當網絡回歸同步時可以進一步保證活性。

Streamlet

在Streamlet中，協議的運行被劃分為一個個同步的epoch，每個epoch都由哈希算法隨機分配一個leader進行“隨機選主”。每個leader在屬于自己的epoch中發布一個區塊給其它replica節點投票。投票可以被看作是投票者用自己的私鑰對區塊哈希值的簽名，并將其廣播給其它所有節點。如果一個區塊收到了來自超過2/3不同節點的投票，則被認為是“已證區塊”。由已證區塊組成的鏈被稱為“已證鏈”。接下來介紹整個propose-vote的流程中的一些細節。

幣安將支持BNB Smart Chain（BEP20）網絡升級和硬分叉:4月12日消息，據官方公告，幣安預計將于4月12日13:15暫停BNB Smart Chain（BEP20）網絡的充值、提現業務，以支持BNB Smart Chain（BEP20）將于BNB Smart Chain網絡區塊高度27,281,024（預計時間為4月12日13:30）進行的網絡升級及硬分叉。[2023/4/12 13:58:49]

發布規則。每個leader都在本地最長的已證鏈的基礎上發布新的區塊，即新區塊的prevHash指向本地最長的已證鏈末尾的區塊。投票規則。每個replica只對來自當前leader發布的第一個區塊投票，并且該區塊必須擴展自本地最長已證鏈，即該區塊的prevHash必須指向投票者本地最長的已證鏈末尾的區塊。確認規則。一個區塊在區塊鏈中被確認意味著網絡中所有誠實節點對這個區塊已經達成了共識，不會再對共識結果修改。已證區塊并不一定最終會被確認。在一個已證鏈中，當存在三個連續的已證區塊時，其中前兩個區塊以及同一鏈上之前的所有區塊都被確認。在這里，連續區塊的意思是連續的epoch。例如，在圖1中，epoch5、6、7連續產生了三個已證區塊，因此當區塊7成為已證區塊時，區塊5和6以及之前的區塊2都被確認。

報告：區塊鏈將對企業產生重大影響:金色財經報道，Ripple近期發布了一份報告，該報告匯集了來自全球各地的思想領袖，展示了區塊鏈技術的全球影響力。此外，該報告強調了能夠滲透金融業的重要性，因為其性質更為保守。

報告稱，在全球金融機構的調查中，75% 的受訪者認為區塊鏈將在未來五年內對業務產生巨大或重大的影響。來自拉丁美洲和亞太地區的領導人帶頭沖鋒，每個地區超過 80% 的受訪者表達了這種觀點。

此外，鑒于金融業傳統上的保守性質以及區塊鏈技術仍然是一項相當新的技術，這是一個了不起的共識。這種熱情在很大程度上植根于技術改變我們思考和轉移價值的方式的能力，高效、可靠且具有成本效益。[2022/7/3 1:47:12]

圖1.Streamlet安全性舉例

Streamlet協議的整個流程到這里就全部介紹完了，是不是堪比比特幣中的PoW一樣簡單？其中的發布規則和投票規則類似于比特幣中的最長鏈原則，而確認規則類似于比特幣中一般需要末尾6個區塊確認的規則。兩者看起來有很多相似之處，但算法本質卻大有徑庭。從這點看來，Streamlet吸收了區塊鏈的設計精髓并將其與傳統的BFT協議融合在一起，得到了新一代的BFT協議。那么有些讀者可能想問了，如此簡單的協議安全性如何呢？

CNBC高級經濟記者：美聯儲本周可能加息75個基點:6月14日消息，CNBC高級經濟記者Steve Liesman在一檔節目中表示，美聯儲可能本周就會加息75個基點。此前報道，市場預計美聯儲到9月將累計加息175個基點，其中至少有一次加息75個基點。[2022/6/14 4:26:11]

安全性

在區塊鏈中，協議的安全性可以簡單表述為不存在兩個同樣高度的不同區塊被確認。在這里我們簡單通過圖示來展示在異步網絡以及拜占庭攻擊的情況下Streamlet是如何保證安全性的。如上面的圖1所示，由于epochX的區塊與區塊6在同一高度，那么問題可以轉化為：是否存在區塊X且X是已證區塊？

為了證明上面的問題不存在，我們采用反證法。首先，假設存在已證區塊X，那么只存在兩種可能性，即X=4或者X≥8，這是由于同一個epoch不可能產生兩個已證區塊。下面分情況討論。

X=4。由于區塊X是已證區塊，意味著有超過2/3的節點給區塊X投票，那么可以進一步推論出超過2/3的節點在給X投票的時候已經在本地有了已證區塊3。因此，當協議運行到epoch5的時候，不可能有足夠多的節點給區塊5投票。這是由于投票規則的限制，誠實節點只給最長已證鏈上的區塊投票。這與區塊5是已證區塊的假設違背。X≥8。由于區塊7是已證區塊，意味著有超過2/3的節點給區塊7投票，那么進一步可以推測超過2/3的節點在給區塊7投票的時候已經在本地有了已證區塊6。因此，當協議運行到epochX的時候，同樣由于投票規則的限制，區塊X不可能成為已證區塊，這與假設違背。上面兩種情況已經包含了可能出現的所有情況，因此安全性得證。雖然圖1所示的情況是一個個例，但很容易對結論進行一般化證明。詳細證明可以參考原論文。

FTX 創始人SBF已在捐贈承諾平臺Giving Pledge簽署捐贈誓言:6月2日消息，FTX 創始人 SBF 已在捐贈承諾平臺 Giving Pledge 簽署捐贈誓言，承諾將大部分財富用于慈善事業。

據悉，Giving Pledge 成立于 2010 年，由微軟創始人比爾·蓋茨與投資人巴菲特共同創立，旨在鼓勵超級富豪做出更大的捐贈。迄今為止，該承諾共有來自 28 個不同國家的 230 個簽署者，包括扎克伯格、馬斯克等。（Coindesk）[2022/6/2 3:57:26]

活性

活性的含義是客戶端發送的交易最終會在區塊鏈上被確認。在傳統BFT協議中，活性的保證的其中一個前提是足夠多的誠實節點在同一epoch的時間足夠長。Streamlet為了使得協議足夠簡單，采用了同步時鐘來保證活性。例如，每個epoch被預設成固定的1秒鐘。在實際的使用中可以將每個epoch的時長根據網絡最大延遲來設置。由于以上的限制，Streamlet一般只會被部署在網絡條件較好的數據中心網絡中，否則很難找到一個合適的epoch長度，進而影響協議性能。

在Streamlet中，活性的證明被表述為在GST之后如果連續5個epoch都是誠實的leader，那么一定會有區塊被確認。由于在長時間運行中，總會出現至少一次聯系5個leader都是誠實的情況，因此活性可以得到保證。那么問題是，為什么需要5個連續的而不是3個？這里可以簡單理解為前2個epoch用來解決由于GST所造成的潛在的不一致，之后連續3個epoch則是確認規則所要求的，為了保證最終能有區塊被確認。完整的活性證明可以參考原論文。

協議對比

接下來通過對比討論目前常見的幾種BFT協議之間的差異。其中，Streamlet和HotStuff/LibraBFT都是新型的鏈式BFT，即節點的每次投票不僅是對當前區塊的投票，同時也是對這個區塊之前所有區塊的投票，因此相比于Tendermint和PBFT來說，消息的種類較少，實現起來也更簡單，也更容易優化性能。由于鏈式BFT的特性，接收到一輪2/3投票的區塊并不會被commit，因此當區塊不連續的時候會有分叉產生。

在協議同步方面，只有Streamlet采用了同步時鐘的方式。由于很難保證不同節點之間的時鐘嚴格同步，所以一般情況下每個epoch的時間會略長與網絡最高延遲，從而提高了協議的延遲。其它三種協議采用傳統的超時加倍模式，即每當一段等待時間之后沒有收到區塊，那么則將下一輪的等待時間加倍。雖然這種方式沒有額外的網絡開銷，但在某些極端情況下會使得協議長時間停滯。LibraBFT使用了消息傳遞的模式進行同步。雖然這種方式能夠快速實現同步，但也使得view-change時的消息復雜度提高到O(n^2)。

Best-case延遲是指在最好的情況下協議經過多少輪投票可以確認一個區塊。雖然Streamlet和HotStuff/LibraBFT都要求3個連續的區塊才觸發確認事件。但Streamlet可以一次確認兩個區塊，而HotStuff/LibraBFT只能一次確認一個區塊。

從消息復雜度來看，HotStuff/LibraBFT和Tendermint采用聚合簽名或者閾值簽名的技術由一個節點將來自replica的簽名聚合成一個單一簽名后再廣播給所有replica，因此消息復雜度可以達到O(n)。而Streamlet和PBFT則在投票階段使用了廣播，使得消息復雜度較高。

另外一個值得被提到的特性是view-change時的響應性。響應性指的是當view-change發生時，下一個leader是否能快速推進協議。例如，Tendermint沒有響應性，在發生view-change的時候節點需要等待一個timeout，以確保在timeout之內收到所有的有效消息。如果沒有timeout的假設，則可能會由于節點鎖在不同的階段而導致活性出現問題。HotStuff/LibraBFT和PBFT都有響應性，但代價分別是多一輪的投票以及更高的復雜度。

從上面的對比可以看出，即使共識算法經過了這么多年的發展，也沒有出現哪個協議是全能將軍。協議的設計本質就是在取舍，不僅體現在安全性和活性之爭，也包括性能、復雜度、容錯性、響應性等多種性質。某些協議的特性只有遇到合適的應用場景才能發揮價值。例如，在一些網絡環境較好的數據中心當中，選擇Streamlet可能在工程實現以及延遲上更有優勢，而在一些廣域網環境中可能選擇消息復雜度更低且具有響應性的HotStuff更好。

總結

Streamlet作為新一代BFT共識協議，很好地將區塊鏈中的鏈式結構與傳統BFT相結合，極大簡化了協議設計，不僅降低了開發者學習區塊鏈和BFT協議的門檻，也為工程師們開發區塊鏈系統提供了很好的模板。

作者簡介

蓋方宇

來自趣鏈科技基礎平臺部，區塊鏈共識算法研究小組

Tags：REASTRLETSTREAMStream2Earn波卡生態ASTR幣trustwallet什么錢包Gastream

酷幣下載