以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

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

Author:

Time:1900/1/1 0:00:00

作者|?YuLiebing

責編|Carol

出品|區塊鏈大本營

拜占庭將軍問題(TheByzantineGeneralsProblem)提供了對分布式共識問題的一種情景化描述,由LeslieLamport等人在1982年首次發表。論文《TheByzantineGeneralsProblem》同時提供了兩種解決拜占庭將軍問題的算法:

口信消息型解決方案(Asolutionwithoralmessage);

簽名消息型解決方案(Asolutionwithsignedmessage).

論文:

https://www-inst.eecs.berkeley.edu/~cs162/sp16/static/readings/Original_Byzantine.pdf

本文之后將詳細講述這兩種算法。事實上,拜占庭將軍問題是分布式系統領域最復雜的容錯模型,?它描述了如何在存在惡意行為(如消息篡改或偽造)的情況下使分布式系統達成一致。是我們理解分布式一致性協議和算法的重要基礎。

貝寶金融在新加坡高院進行破產保護聆訊,正式開啟庭內重組程序:4月18日消息,貝寶金融(Babel Finance)前創始人、分布式穩定幣希望創始人柔性哪個發布公開信表示,貝寶金融集團破產保護在新加坡高院進行了聆訊,正式開啟了庭內重組程序,這是自2021年退出貝寶、2022年中貝寶危機后,我決定回歸主持重組工作以來,階段性的工作結果。[2023/4/18 14:09:52]

拜占庭將軍問題描述

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

圖1.拜占庭將軍問題

拜占庭帝國(ByzantineEmpire)軍隊的幾個師駐扎在敵城外,每個師都由各自的將軍指揮。將軍們只能通過信使相互溝通。在觀察敵情之后,他們必須制定一個共同的行動計劃,如進攻(Attack)或者撤退(Retreat),且只有當半數以上的將軍共同發起進攻時才能取得勝利。然而,其中一些將軍可能是叛徒,試圖阻止忠誠的將軍達成一致的行動計劃。?更糟糕的是,負責消息傳遞的信使也可能是叛徒,他們可能篡改或偽造消息,也可能使得消息丟失。

美國國家期貨協會發布加密業務合規規則:金色財經報道,美國國家期貨協會(NFA)發布了針對NFA會員從事加密業務的合規規則,該規則對從事數字資產商品活動的NFA會員和準會員提出了反欺詐、公正公平的交易原則和監管要求。該規則的范圍目前僅限于比特幣和以太坊,要求成員密切監督他們的業務活動,并表示參與現貨加密商品活動的成員“必須對這些活動采取和實施適當的監督政策和程序”,新的合規規則定于2023年5月31日生效。

NFA是一個自監管組織,1974年,美國國會成立了商品期貨交易委員會(CFTC)并授權創建NFA,旨在為該行業提供創建自律組織的機會。NFA于1981年9月22日被CFTC正式指定為“注冊期貨協會”,于1982年開始其監管業務。[2023/4/1 13:38:40]

為了更加深入的理解拜占庭將軍問題,我們以三將軍問題為例進行說明。當三個將軍都忠誠時,可以通過投票確定一致的行動方案,圖2展示了一種場景,?即GeneralA,B通過觀察敵軍軍情并結合自身情況判斷可以發起攻擊,而GeneralC通過觀察敵軍軍情并結合自身情況判斷應當撤退。?最終三個將軍經過投票表決得到結果為進攻:撤退=2:1,?所以將一同發起進攻取得勝利。對于三個將軍,每個將軍都能執行兩種決策(進攻或撤退)的情況下,共存在6中不同的場景,圖2是其中一種,對于其他5中場景可簡單地推得,通過投票三個將軍都將達成一致的行動計劃。

美聯儲12月加息75個基點的概率為34.7%:金色財經報道,美國聯邦基金利率期貨顯示,市場定價美聯儲12月加息75個基點的概率為34.7%,明年2月加息50個基點的概率為66%,定價美聯儲將在明年6月達到5.14%的終端利率。[2022/11/4 12:15:34]

圖2.三個將軍均為忠誠的場景

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

圖3.二忠一叛的場景

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

數據:近30天幣本位BTC合約持倉量持續超60萬枚:9月13日消息,據Coinglass數據,全網近約30天幣本位BTC合約持倉量持續超60萬枚。其中Binance合約持倉量持續排名第一,OKX排名第二。[2022/9/13 13:27:01]

解決方案

LeslieLamport在論文中給出了兩種拜占庭將軍問題的解決方案,即口信消息型解決方案(Asolutionwithoralmessage)和簽名消息型解決方案(Asolutionwithsignedmessage)。

1、口信消息型解決方案

首先,對于口信消息(Oralmessage)的定義如下:

A1.任何已經發送的消息都將被正確傳達;

A2.消息的接收者知道是誰發送了消息;

A3.消息的缺席可以被檢測。

基于口信消息的定義,我們可以知,?口信消息不能被篡改但是可以被偽造。基于對圖3場景的推導,我們知道存在一個叛將時,必須再增加3個忠將才能達到最終的行動一致。為加深理解,我們將利用3個忠將1個叛將的場景對口信消息型解決方案進行推導。在口信消息型解決方案中,首先發送消息的將軍稱為指揮官,其余將軍稱為副官。對于3忠1叛的場景需要進行兩輪作戰信息協商,如果沒有收到作戰信息那么默認撤退。圖4是指揮官為忠將的場景,在第一輪作戰信息協商中,指揮官向3位副官發送了進攻的消息;在第二輪中,三位副官再次進行作戰信息協商,由于GeneralA、B為忠將,因此他們根據指揮官的消息向另外兩位副官發送了進攻的消息,而GeneralC為叛將,為了擾亂作戰計劃,他向另外兩位副官發送了撤退的消息。最終CommandingGeneral,GeneralA和B達成了一致的進攻計劃,可以取得勝利。

調查:76%的西班牙人了解加密貨幣:金色財經報道,一項調查發現,76% 的接受調查的西班牙人了解加密貨幣——幾乎三分之一的人知道該國如何監管代幣的詳細信息。

該調查還描繪了典型的國內加密投資者的熟悉畫面:大多數表示投資加密貨幣的人是受過大學教育的(幾乎一半)、中上階層(64%)、月收入超過 3,000 美元(41%)和男性(66%)。超過三分之一的人年齡在 35 至 44 歲之間,中位年齡為 38 歲零 7 個月。

幾乎一半的投資者表示他們將不到 5% 的總資本投入到加密資產中,盡管相當一部分 (4.5%) 表示他們已將一半或更多的價值投資于比特幣 (BTC ) 和其他代幣。(cryptonews)[2022/8/13 12:22:37]

圖4.指揮官為忠將的場景

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

圖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:RALERANERAGENETARAL幣sperax幣挖礦sunshineranchgenesischain

狗狗幣最新價格
AAVE:詳解 DCEP 未來使用場景——低成本的跨境支付

作者:JoyceLin,資深科技媒體人,Conflux社區代表,前CoinDeskChina執行主編,對區塊鏈行業有深入觀察.

1900/1/1 0:00:00
ETH:黃金、BTC暴跌,避險工具為何失效?

導讀 新冠肺炎席卷全球,市場避險情緒上升,但黃金和BTC價格卻出現下行,避險工具失靈。 摘要 專題:避險工具失靈。黃金價格跳水,單日下跌幅度超3.7%;BTC價格持續下行,主流通證跌幅擴大.

1900/1/1 0:00:00
DEF:揭秘DeFi守護神:DeFi保險協議

來源:Odaily星球日報?? 作者:王也 bZx?協議遭黑客攻擊事件在幣圈鬧得沸沸揚揚,導致DeFi生態出現了信任危機,悲觀者將其視為“DeFi喪鐘”.

1900/1/1 0:00:00
EDGE:實物交割的期貨促使比特幣價格進一步上漲,Bakkt期貨投資者更愿使用比特幣實物結算

據Cryptoslate2月16日報道,Skew的最新數據顯示,Bakkt的實物結算期貨交易量超過了其現金結算產品的交易量.

1900/1/1 0:00:00
數字貨幣:以太坊創始人Vitalik Buterin:不管有沒有區塊鏈,數字化都不可避免

據AMBcrypto3月6日報道,全球各國中央政府目前都在考慮建立中央銀行數字貨幣的必要性。這一切都要歸功于中國,因為中國是第一個研究并加速實現央行數字貨幣的國家.

1900/1/1 0:00:00
聯盟鏈:痛點、趨勢與競爭格局——區塊鏈電子發票五問五答

作者:宋嘉吉、孫爽? 來源:吉時通信 摘要 一問:為什么說區塊鏈電子發票是大勢所趨?1)市場低估了政府對區塊鏈的接受度.

1900/1/1 0:00:00
ads