拜占庭共識已經無法滿足今天公鏈和聯盟鏈的安全需求_聯盟鏈

編者按：本文來自區塊律動BlockBeats，作者：王永革教授，Sperax首席科學家，著名華裔密碼學家，北卡羅來納大學夏洛特分校(UNC,Charlotte)計算機系終身教授，德國海德堡大學獲得博士學位，Odaily星球日報經授權轉載。自從Facebook推出聯盟鏈Libra的白皮書，并尋求在5年之后逐漸過渡到公鏈后，區塊鏈社區內很多人對聯盟鏈和公鏈的區別與相似性展開了富有卓效的討論。而針對目前公鏈和聯盟鏈在安全方面存在的一些隱慮，業內給出了一些觀點。簡單來說，聯盟鏈是permissioned區塊鏈，只有少數得到許可的節點可以決定下一個區塊的生成。而公鏈(permissionless)則是一個開放的系統，所有的節點都有機會去生成下一個節點。所以從治理機制的角度來講，兩種鏈的區別是明顯的。如果不從安全性的角度去考慮，兩種鏈的應用場景應該沒有很大的區別。可以在聯盟鏈上的開發的應用場景也可以自然的作為公鏈上的應用場景，反過來也是。今天我們主要通過兩種鏈治理機制的區別來討論為什么在目前的技術支持下，不是所有的聯盟鏈應用場景都可以作為公鏈的應用場景。同時也嘗試解釋為什么臉書不是從一開始就推出基于公鏈的Libra。在聯盟鏈里，具有投票權的節點是要經過審查許可的，其投票權也可以被收回。所以聯盟鏈并沒有達到徹底的去中心化。但正是由于這種審查許可機制的存在，有投票權的節點之間雖然存在著某種競爭關系而不能完全相互信任，但他們之間的關系也不是完全的不信任。在密碼學的研究中，我們一般用半信任的威脅模型來表達這種關系。在公鏈上，任何節點都有機會平等的參與下一個區塊的生成。為了各自利益的最大化，有投票權的節點之間不存在任何信任關系。在密碼學研究中，我們用拜占庭威脅模型來表達這種關系。

Solana游戲開發商Automata宣布大規模裁員:金色財經報道，Solana游戲開發商Automata (ATMTA) 將進行“大幅裁員”，以保持其開發Star Atlas的能力。重組后，Automata團隊將僅有 45 名員工，而 2022 年底該團隊的員工人數為 235 人。

根據 Discord 7 月 24 日發布的公告，ATMTA 首席執行官兼聯合創始人 Michael Wagner 表示，重組后的團隊將把重點轉向交付 SAGE 和新發布的 Crew 移動應用程序。與此同時，結合虛幻引擎 5 和 Solana 的軟件開發工具包 (SDK) 的開發將提高開發速度，該 SDK 是 Star Atlas 游戲的基礎。

Wagner寫道，該項目大約 33% 的收入被視為游戲內代幣 Atlas，該團隊一直在持有，但該代幣在過去一年中損失了大約 80% 的價值。[2023/7/26 15:58:20]

被人忽略的共識機制威脅模型

共識協議是區塊鏈的核心技術。共識協議決定了下一個區塊是如何生成的。換一種說法，共識協議決定了對整個系統所有交易的一種完全排序。而這種排序必須是系統所有誠實參與者之間的共識。在現實生活中，如果我們對兩個交易的前后順序沒法達成共識，那我們就沒法對整個系統產生信任。如果一個不誠實的區塊鏈節點可以通過某種方式而對這種排序進行攻擊，那將產生不可估量的災難性結果，其中最典型的例子就是「雙花攻擊」，這種攻擊模式已經在包括Zencash、EthereumClassic、BitcoinGold等區塊鏈上發生。一個安全可靠的區塊鏈共識協議應滿足一下兩個條件：1.\t安全性(Safety):誠實的節點對合法交易將達成統一的(consistent)意見2.\t活性(Liveness):一筆合法交易在合理時間長度內會被確認比特幣的共識協議是基于工作量的PoW系統。由于PoW系統存在很多挑戰，目前社區內的共識是我們將逐步推廣基于權益證明的共識協議。PoS共識協議最早在區塊鏈Peercoin里被使用。在目前所使用的PoS共識協議里，一個參與者必須滿足特定的條件才能夠生成下一個區塊。在很多情況下，可能多個參與者滿足這些條件。這些滿足條件的參與者都會去生成下一個區塊。因為區塊生成者會獲取多種利益，所以每個區塊生成者都希望自己生成的區塊是被大家接受的那個區塊。如果區塊鏈系統允許兩個參與者同時生成下一個區塊，那么將出現區塊鏈分叉的情況。為了避免區塊鏈的分叉，不論是聯盟鏈或是公鏈，一般都采用拜占庭協議來從這些候選區塊中選出下一個大家都可以接受的區塊。這就涉及到很多核心問題：1.\t一個參與者滿足什么樣的條件才可以生成下一個區塊？2.\t一個參與者在公布他有權生成下一個區塊之前，有多少人知道他的身份？3.\t拜占庭協議是如何進行的？4.\t等等。在不同的威脅模型中，對上述各個問題的解決方案是不同的。我們上面已經提到，聯盟鏈采用的是半信任的威脅模型，而公鏈采用的是拜占庭威脅模型。因為在半信任的威脅模型里安全可靠的應用場景不一定在拜占庭威脅模型里安全可靠，所以不是所有的聯盟鏈的應用場景都可以有對應的公鏈應用場景。一般來講，開發者在開發應用場景的時候，必須考慮這些應用場景在什么威脅模型里是安全的。此外，我們還需特別考慮我們的應用場景可不可以在一個具體的聯盟鏈或公鏈上運行？雖然前面講了，聯盟鏈的假定是半信任的威脅模型，這不意味著所有的聯盟鏈都在半信任的威脅模型里安全可靠。同樣的，我們講了公鏈需要在拜占庭威脅模型里安全可靠，但并不意味市場上所有的公鏈都在拜占庭威脅模型里安全可靠。讀到這里，大家可能會問：目前市場上有多少公鏈能否做到在拜占庭威脅模型中完全安全？當然大家還會問：我們目前的公鏈是否有足夠的技術支持，來保證其在拜占庭威脅模型中完全安全？我們在這篇文章以及以后的系列文章里嘗試回答這些問題。當你能猜出下一個塊誰來出的時候，那就可怕了！

Aura：redactedcartel已投票決定繼續將AURA作為一級資產:7月11日消息，Balancer生態收益治理平臺Aura發推稱，redactedcartel已投票決定繼續將AURA作為一級資產，并繼續鎖定其AURA余額。[2023/7/11 10:47:32]

我們先用一個非常初級的例子來說明理想與現實之間的差距：在基于PoS的聯盟鏈或公鏈里，如果在下一個區塊生成之前，大家能夠預測到下一個區塊將由某一個特定的參與者A來生成，那么這個區塊鏈系統將很容易被攻擊。這種情況在EOSIO-Blockchainsoftwarearchitecture區塊鏈上已經發生過數次，EOS系統的黑名單機制以及超級節點順序出塊機制，讓黑客可以在部分黑名單遺漏節點出塊期間輕松完成交易。比如，有些參與者或非參與者可能會賄賂A讓其在下一個區塊中不包括某些交易。此外，如果兩個參與者A和B都滿足下一個區塊的生成條件，A可能會對B的網絡發起DoS攻擊，從而讓B無法公布其生成的區塊。其結果很可能是A的區塊被大家接受。所以在理想的區塊鏈系統里，參與者都希望在下一個區塊生成之前，其生成者身份是不可預知的。但是市場上的很多區塊鏈系統都沒發實現我們的這種理想。也許在聯盟鏈所采用的半信任的威脅模型里，這種下一個區塊生成者身份的可預測性是可以「接受」的。但是在公鏈所采用的拜占庭模型里，這種可預測性是絕對不能接受的。在目前的一些公鏈里，有些系統采用了可驗證的隨機數生成器(VRF)來保證下一區塊生成者身份的不可預測性。而另外一些公鏈(比如Sperax)使用了基于防篡改的硬件系統來保證下一區塊生成者身份的不可預測性。所以大家在分析一個鏈是不是安全可靠的，首先大家應分析一下其系統的隨機數來源于何處，是否安全。雖然大部分聯盟鏈里沒有使用足夠的隨機數，但是我們相信即使在半信任的威脅模型里，我們還是需要保證下一區塊生成者身份的不可預測性。作為一個練習題，讀者可以自行去分析市場上所有的區塊鏈，看能不能滿足這個基本條件。

CZ：TRU與TUSD無關:3月15日消息，CZ 針對 TUSD 相關公告發布后 TRU（TrueFi）暴漲一事做出回應，TRU 應與 TUSD 無關。

此前消息，Binance 宣布更新零手續費交易對規則，將對部分 TUSD 交易對實行零手續費。TRU 隨后一小時漲幅接近 30%，短時突破 0.14 美元。[2023/3/15 13:05:43]

另一個很重要的核心問題是目前大家使用的拜占庭協議是不是在基于Internet的網絡環境里仍然是安全的？拜占庭協議是一個古老的話題。在兩千多年前的羅馬帝國的首都拜占庭，羅馬帝國的各軍隊之間都分隔很遠，將軍與將軍之間只能靠信差傳遞消息。帝國軍隊的將軍們必須全體一致決定是否攻擊某一支敵軍。但是將軍中存在叛徒。叛徒可以采取任何手段不讓忠誠的將軍們達成一個一致的決定。為了解決分布式計算里服務器之間的協調問題，圖靈獎獲得者Lamport和他的合作者在1982年左右，將拜占庭協議問題引入到計算機科學中。從此以后，一系列的分布式共識協議被設計并廣泛應用。這些協議主要被用于相對封閉的環境，所以他們都有比較強的假設。特別是很多拜占庭協議都使用了以下兩個假設：1.\t拜占庭協議所使用的通訊網絡是一個完全圖。換一種說法，拜占庭協議的所有參與者之間存在安全的點多點的通訊渠道。這種假定對聯盟鏈來說，都很難達到。對一個完全開放的公鏈，我們很懷疑這種假定仍然是成立的。2.\t拜占庭協議所使用的通訊網絡是一個同步網絡。也就是說，存在一個全局變量△。每一個協議參與者在t時刻發出的消息,一定會在t+△時刻之前到達接受節點。這兩個假設對于比較封閉的環境來說，比較容易達到。但是對于一個開放的網絡，這種假設顯然是不現實的。比如說在我們使用的Internet上，DoS攻擊是很容易展開的。所以即使基于Internet的聯盟鏈也不使用如上的假設。一般來說，Internet是一個異步網絡，常用的異步網絡是用如下的模型來刻畫的：存在一個GlobalStabilizationTime(GST)，在GST之前，任何消息可能丟失，或被重新排序。在GST之后，網絡變為同步網絡GST什么時候開始，沒人知道。所以說，我們區塊鏈所需要的拜占庭協議必須在可以丟失很多信息的異步網絡具有魯棒性。目前市場上的區塊鏈里使用最多的拜占庭協議很多是圖靈獎獲得者BARBARALISKOV和她的學生設計的PBFT(practicalBFT)及其變種。

俄羅斯聯邦金融監管局局長：俄羅斯的加密貨幣交易量接近130億美元:金色財經報道，俄羅斯聯邦金融監管局（Rosfinmonitoring）局長 Yury Chikhanchin 向俄羅斯總統弗拉基米爾·普京匯報了該機構目前的運作情況，他表示，俄羅斯加密資產的營業額正在增長，俄羅斯的加密貨幣交易量接近 130 億美元。監管機構正在監控超過 25,000 名加密貨幣交易參與者的活動。該服務還確定了大約十幾個向他們提供幫助的金融組織。[2023/3/13 12:59:29]

拜占庭協議并不能保證區塊鏈系統安全可靠

那么我們關心的問題是：這些為異步網絡設計的拜占庭協議對區塊鏈的應用來說是安全可靠的嗎？特別是，這些拜占庭協議在基于Internet的網絡環境里是安全的嗎？如果這些拜占庭協議達不到在拜占庭威脅模型里的安全性，我們很難想象大家會對這些區塊鏈系統提供的服務產生信任。如果我們仔細的去分析這些拜占庭協議，我們會發現他們都有一個基本的假設：拜占庭所使用的通訊網絡存在一個安全的廣播協議如果一個節點在時刻t廣播一條消息m，所有的節點在t+△時刻之前，會收到同樣的消息m但是我們知道，在Internet的網絡環境里，DoS(DenialofService)攻擊可以讓某些節點接受不到廣播者發送的消息的。特別是，在異步網絡的GST時刻前，DoS是允許的。所以說廣播協議在異步網絡的GST時刻前是不安全的。我們的結論是：如果DoS攻擊是可能的，那么我們沒法保證目前很多區塊鏈使用的拜占庭協議是安全的。帶著好奇心，大家可能很想知道目前的區塊鏈系統是如何實現廣播協議的？大部分的廣播協議都是基于Bracha在1987年發表的如下論文：G.Bracha."AsynchronousByzantineagreementprotocols."InformationandComputation75.2(1987):130-143.但是很遺憾，Bracha的論文有一個經常被大家忽略的假設：如果要使Bracha的廣播協議安全，其通訊網絡必須要有點對點可靠通訊渠道問題就出在這個假定。因為要保證可靠的點對點的通訊渠道，那么DoS攻擊應該是不被允許的。此外要保證網絡里可靠的點對點的通訊渠道，網絡需要有足夠的連接度。大家可以參閱以下文章關于可靠的點對點的通訊渠道以及網絡連接度之間的關系刻畫：Y.WangandY.Desmedt.Perfectlysecuremessagetransmissionrevisited.InformationTheory,IEEETran.,54(6):2582–2595,2008綜合以上討論，我們很容易得出結論：目前很多區塊鏈系統所使用的拜占庭協議并不能保證在基于Internet的網絡環境里是安全的。我們將在以后的一些列文章里逐個分析目前聯盟鏈和公鏈里普遍使用的拜占庭協議是不是在基于Internet的網絡環境里是安全的。如果這些區塊鏈系統使用的拜占庭協議達不到在拜占庭威脅模型里的安全性，我們很難想象大家會對這些區塊鏈系統提供的服務產生信任。總結一下：我們認為目前已開發的區塊鏈系統的安全性還沒有經過足夠的分析。所以我們無法來確認哪些應用場景是可以在聯盟鏈或公鏈上運行的。我們對區塊鏈系統的安全性研究還處于很初級的階段。就像上世紀八十年代我們對Internet安全性研究的理解一樣。在1988年一個MIT研究生寫的毛毛蟲Morrisworm感染了世界上當時10%的電腦。從而讓整個世界的Internet系統處于癱瘓狀態。如果我們沒有對區塊鏈系統的安全性有足夠的研究和準備，這種毛毛蟲攻擊很可能在區塊鏈系統上會上演。我們將在下幾個月的系列文章里將我們的研究逐步介紹給大家！敬請大家關注。下期文章預告：區塊鏈廣泛使用的拜占庭協議PBFT的安全性分析：PBFT被廣泛使用于聯盟鏈和一些公鏈。作者介紹王永革教授，Sperax首席科學家，著名華裔密碼學家，北卡羅來納大學夏洛特分校(UNC,Charlotte)計算機系終身教授，德國海德堡大學獲得博士學位。王教授發表了一百多篇學術論文，研究范圍包含計算復雜性理論、密碼學、容錯計算、分布式計算、基礎設施保護、安全通信、計算機和網絡安全、云安全、信息論和后量子密碼學。王教授參與標準組織制定協議，如IETF、W3C、XML安全協議、IEEE1363加密技術標準化組和SAN網絡安全標準ANSIT11小組。

跨鏈橋Stargate將建立ETH跨鏈流動性池并為其設置激勵措施:5月30日消息，跨鏈橋 Stargate SIP 7 已由社區投票通過。該提案提出在以太坊主網、Optimism 和 Arbitrum 上建立 ETH 流動性池，并為其設置激勵措施。提案通過后，項目團隊將花費數周時間進行合約部署等工作，完成后用戶可通過 Stargate 實現 ETH 的跨鏈轉賬。[2022/5/30 3:50:22]

Tags：區塊鏈聯盟鏈ERNINTER區塊鏈工程專業學什么女生好超級聯盟鏈幣怎么獲得eternalcontractInternet of Energy Network

FTX