RAL:一文讀懂拜占庭將軍問題

拜占庭將軍問題(TheByzantineGeneralsProblem)提供了對分布式共識問題的一種情景化描述，由LeslieLamport等人在1982年首次發表。論文《TheByzantineGeneralsProblem》同時提供了兩種解決拜占庭將軍問題的算法：口信消息型解決方案(Asolutionwithoralmessage);簽名消息型解決方案(Asolutionwithsignedmessage).論文：https://www-inst.eecs.berkeley.edu/本文之后將詳細講述這兩種算法。事實上，拜占庭將軍問題是分布式系統領域最復雜的容錯模型，它描述了如何在存在惡意行為(如消息篡改或偽造)的情況下使分布式系統達成一致。是我們理解分布式一致性協議和算法的重要基礎。拜占庭將軍問題描述

拜占庭將軍問題描述了這樣一個場景：

圖1.拜占庭將軍問題拜占庭帝國(ByzantineEmpire)軍隊的幾個師駐扎在敵城外，每個師都由各自的將軍指揮。將軍們只能通過信使相互溝通。在觀察敵情之后，他們必須制定一個共同的行動計劃，如進攻(Attack)或者撤退(Retreat)，且只有當半數以上的將軍共同發起進攻時才能取得勝利。然而,其中一些將軍可能是叛徒，試圖阻止忠誠的將軍達成一致的行動計劃。更糟糕的是，負責消息傳遞的信使也可能是叛徒，他們可能篡改或偽造消息，也可能使得消息丟失。為了更加深入的理解拜占庭將軍問題，我們以三將軍問題為例進行說明。當三個將軍都忠誠時，可以通過投票確定一致的行動方案，圖2展示了一種場景，即GeneralA，B通過觀察敵軍軍情并結合自身情況判斷可以發起攻擊，而GeneralC通過觀察敵軍軍情并結合自身情況判斷應當撤退。最終三個將軍經過投票表決得到結果為進攻：撤退=2:1，所以將一同發起進攻取得勝利。對于三個將軍，每個將軍都能執行兩種決策(進攻或撤退)的情況下,共存在6中不同的場景，圖2是其中一種，對于其他5中場景可簡單地推得，通過投票三個將軍都將達成一致的行動計劃。

Ankr將推出Ultra Sound Infrastructure，即將啟動節點合作伙伴計劃:7月25日消息，Web3基礎設施提供商Ankr發文介紹Ultra Sound Infrastructure，將很快啟動節點合作伙伴計劃，以提高超過30個區塊鏈生態系統中區塊鏈RPC連接的性能和效率，已得到微軟和騰訊云的支持。

Ankr表示，通過參與該計劃，未來的節點提供商可以通過為Ankr的RPC客戶提供付費流量來獲得穩定的收入來源。

ANKR代幣在Ultra Sound Infrastructure計劃中發揮著重要作用，不僅是RPC客戶訪問區塊鏈數據的支付方式，也將為新節點運營商合作伙伴提供付款方式。[2023/7/26 15:58:24]

圖2.三個將軍均為忠誠的場景當三個將軍中存在一個叛徒時，將可能擾亂正常的作戰計劃。圖3展示了GeneralC為叛徒的一種場景，他給GeneralA和GeneralB發送了不同的消息，在這種場景下GeneralA通過投票得到進攻：撤退=1:2，最終將作出撤退的行動計劃；GeneralB通過投票得到進攻：撤退=2:1，最終將作出進攻的行動計劃。結果只有GeneralB發起了進攻并戰敗。

Matrixport戰略主管：加密貨幣價格上漲或下跌的關鍵原因通常是監管:金色財經報道，加密服務提供商Matrixport的研究和戰略主管MarkusThielen在社交媒體上表示，大多數人認為加密貨幣價格隨機變動。其他人則認為比特幣減半周期是大幅波動的關鍵驅動因素。但加密貨幣價格上漲或下跌的關鍵原因通常是監管。比特幣起源于美國，但在亞洲得到擴展。不僅因為亞洲擁有最多的加密貨幣用戶（目前為 2.6 億，占 61%），還因為美國監管已將加密貨幣推向海外。加密貨幣就像水一樣，會以最小的阻力漂浮在管轄范圍內。加勒比地區、中東和亞洲有一些有利的監管措施。加密貨幣的歷史表明，數十億美元將流向最有利的司法管轄區。[2023/5/18 15:11:19]

圖3.二忠一叛的場景事實上，對于三個將軍中存在一個叛徒的場景，想要總能達到一致的行動方案是不可能的。詳細的證明可參看LeslieLamport的論文。此外，論文中給出了一個更加普適的結論：如果存在m個叛將，那么至少需要3m+1個將軍，才能最終達到一致的行動方案。解決方案

Iron Fish團隊公布Token經濟模型：空投給測試網參與者占比2.25%:金色財經報道，隱私網絡Iron Fish公布代幣分配方案。其中，創世塊將包含 4200 萬個代幣，它們將按如下方式分配：

Iron Fish基金會18%；空投給測試網參與者2.25%；對于未來的空投2.25%；種子前系列投資者5.1%；種子系列參與者9.9%；A輪融資投資者14.5%；顧問0.6%；核心開發團隊37.4%；IF 實驗室5%；捐贈基金5%。

對于每個內部人員，在主網上線后提供一年的鎖定期。在接下來的 12 個月內，此類代幣持有者將有資格在每個月內進行轉讓。主網預計將于 4 月 30 日啟動。活動結束后，主網上線：進行交易、啟動節點、挖礦、創建和銷毀用戶私有資產。[2023/3/29 13:33:23]

LeslieLamport在論文中給出了兩種拜占庭將軍問題的解決方案，即口信消息型解決方案(Asolutionwithoralmessage)和簽名消息型解決方案(Asolutionwithsignedmessage)。1、口信消息型解決方案首先,對于口信消息(Oralmessage)的定義如下：A1.任何已經發送的消息都將被正確傳達;A2.消息的接收者知道是誰發送了消息;A3.消息的缺席可以被檢測。基于口信消息的定義，我們可以知，口信消息不能被篡改但是可以被偽造。基于對圖3場景的推導，我們知道存在一個叛將時，必須再增加3個忠將才能達到最終的行動一致。為加深理解，我們將利用3個忠將1個叛將的場景對口信消息型解決方案進行推導。在口信消息型解決方案中，首先發送消息的將軍稱為指揮官，其余將軍稱為副官。對于3忠1叛的場景需要進行兩輪作戰信息協商，如果沒有收到作戰信息那么默認撤退。圖4是指揮官為忠將的場景，在第一輪作戰信息協商中，指揮官向3位副官發送了進攻的消息；在第二輪中，三位副官再次進行作戰信息協商，由于GeneralA、B為忠將，因此他們根據指揮官的消息向另外兩位副官發送了進攻的消息，而GeneralC為叛將，為了擾亂作戰計劃，他向另外兩位副官發送了撤退的消息。最終CommandingGeneral,GeneralA和B達成了一致的進攻計劃，可以取得勝利。

被稱為港股“元宇宙第一股”的飛天云動登陸港交所:10月19日消息，被稱為港股“元宇宙第一股”的飛天云動正式登陸港交所，開盤價報2.21港元/股，與發行價持平，總市值約37億港元，截至收盤跌至2.12港元。據界面新聞，飛天云動在招股書里提到了300多次“元宇宙”，其表示，AR/VR內容及服務市場屬于元宇宙生態系統的情景應用層，AR/VR是達致及賦能元宇宙沉浸式體驗的關鍵應用，是元宇宙開發階段的先決條件及進入門檻。

據悉，早在2017年，水木資本就投資了飛天云動，水木資本是飛天云動第一輪融資唯一的機構投資人，并在2020年對飛天云動追加了第二筆投資。飛天云動的上市為水木資本這筆早期投資帶來了超80倍的回報。[2022/10/19 17:31:38]

圖4.指揮官為忠將的場景圖5是指揮官為叛將的場景，在第一輪作戰信息協商中，指揮官向GeneralA、B發送了撤退的消息，但是為了擾亂GeneralC的決定向其發送了進攻的消息。在第二輪中，由于所有副官均為忠將，因此都將來自指揮官的消息正確地發送給其余兩位副官。最終所有忠將都能達成一致撤退的計劃。

OTC平臺Cumberland：近期數字貨幣場外交易量創今年新高:金色財經報道，雖然近期加密市場受到重創，但數字貨幣的OTC交易訂單卻出現激增。DRW子公司加密貨幣場外交易平臺Cumberland解釋說，在市場大幅波動時，場外交易往往會有更大成交量，昨天也不例外，這是Cumberland今年迄今為止最大的成交量。事實上比5月13日的交易量還高出30%。交易量通常以BTC為主，比特幣占場外交易約75%，其余大多為ETH相關交易。（Bitcoin.com）[2022/6/20 4:40:29]

圖5.指揮官為叛將的場景如上所述，對于口信消息型拜占庭將軍問題，如果叛將人數為m，將軍人數不少于3m+1，那么最終能達成一致的行動計劃。值的注意的是，在這個算法中，叛將人數m是已知的，且叛將人數m決定了遞歸的次數，即叛將數m決定了進行作戰信息協商的輪數，如果存在m個叛將，則需要進行m+1輪作戰信息協商。這也是上述存在1個叛將時需要進行兩輪作戰信息協商的原因。2、簽名消息型解決方案同樣，對簽名消息的定義是在口信消息定義的基礎上增加了如下兩條：A4.忠誠將軍的簽名無法偽造，而且對他簽名消息的內容進行任何更改都會被發現；A5.任何人都能驗證將軍簽名的真偽。基于簽名消息的定義，我們可以知道，簽名消息無法被偽造或者篡改。為了深入理解簽名消息型解決方案，我們同樣以3三將軍問題為例進行推導。圖6是忠將率先發起作戰協商的場景，GeneralA率先向GeneralB、C發送了進攻消息，一旦叛將GeneralC篡改了來自GeneralA的消息，那么GeneralB將將發現作戰信息被GeneralC篡改，GeneralB將執行GeneralA發送的消息。

圖6.忠將率先發起作戰協商圖7是叛將率先發起作戰協商的場景，叛將GeneralC率先發送了誤導的作戰信息，那么GeneralA、B將發現GeneralC發送的作戰信息不一致，因此判定其為叛將。可對其進行處理后再進行作戰信息協商。

圖7.叛將率先發起作戰協商簽名消息型解決方案可以處理任何數量叛將的場景。總結在分布式系統領域,拜占庭將軍問題中的角色與計算機世界的對應關系如下:將軍,對應計算機節點；忠誠的將軍,對應運行良好的計算機節點；叛變的將軍,被非法控制的計算機節點；信使被殺,通信故障使得消息丟失；信使被間諜替換,通信被攻擊,攻擊者篡改或偽造信息。如上文所述，拜占庭將軍問題提供了對分布式共識問題的一種情景化描述，是分布式系統領域最復雜的模型。此外,它也為我們理解和分類現有的眾多分布式一致性協議和算法提供了框架。現有的分布式一致性協議和算法主要可分為兩類：一類是故障容錯算法(CrashFaultTolerance,CFT)，即非拜占庭容錯算法，解決的是分布式系統中存在故障，但不存在惡意攻擊的場景下的共識問題。也就是說，在該場景下可能存在消息丟失，消息重復，但不存在消息被篡改或偽造的場景。一般用于局域網場景下的分布式系統，如分布式數據庫。屬于此類的常見算法有Paxos算法、Raft算法,、ZAB協議等。一類是拜占庭容錯算法，可以解決分布式系統中既存在故障，又存在惡意攻擊場景下的共識問題。一般用于互聯網場景下的分布式系統，如在數字貨幣的區塊鏈技術中。屬于此類的常見算法有PBFT算法、PoW算法。

看完本文，你對這兩種解決方案有什么看法？歡迎在評論區跟我們討論！

Tags：RALERAGENNERdecentraland幣價格FeDeral TokenDiligenceNext Generation Network

Fil