跳到正文
Financial Context Wiki

拜占庭將軍問題：在矛盾訊息下達成一致

拜占庭將軍問題追問：故障參與者可能傳送矛盾資訊時，誠實參與者如何達成一致。必須分別分析一致任務、通道與驗證假設、故障上限、下界、演算法和實際部署。

更新於

僅供協定分析教育參考。解決一種拜占庭一致模型，不能證明實際網路安全、有活性、實作正確、去中心化、具備最終性或能保障資產。

直接答案

拜占庭將軍問題追問：只能透過訊息通訊的無故障參與者，如何在部分參與者可任意行動、甚至向不同接收者傳送矛盾說法時作出一致決定。軍事故事是分散式系統「互動一致性」的類比，不是歷史事件，也不是某一種區塊鏈共識演算法。

在「司令—副官」表述中，IC1 要求所有忠誠副官執行同一命令，IC2 要求司令忠誠時，每名忠誠副官執行司令的命令。只達成一致還不夠：永遠選擇撤退的規則雖能一致，卻會違背忠誠司令發出的有效進攻命令。

在論文的「口頭訊息」模型中，若叛徒最多為 m，僅當 n>3m 時問題才可解；參與者數量為整數時等價於 n>=3m+1。此模型假定忠誠者發出的訊息能被正確送達、接收者知道傳送者是誰，且能發現預期訊息缺失。「口頭」表示未經驗證的內容可被偽造成其他參與者的轉述，並不等於信使可永遠消失且無人察覺。

論文的「簽署訊息」模型加入不可偽造、任何人可驗證的簽章，因而改變容錯結論。它不會使簽署內容變真，不會保證送達、解決完全非同步終止、保護被盜金鑰，或證明現代協定安全。拜占庭將軍問題、兩軍問題或協調攻擊問題、FLP、BFT 協定、工作量證明和權益證明彼此相關，卻是不同模型或架構。

分析方法

  1. 定義一致任務。 說明參與者、輸入、輸出，以及精確的一致性、有效性和終止屬性。對司令模型，應明確寫出 IC1 與 IC2，而不是只說「達成共識」。
  2. 定義身分與通道。 說明點對點訊息是否經過驗證、可靠送達、有序、防重放且可歸責；訊息缺失能否發現；廣播是基本原語還是靠逐一傳送實作。
  3. 定義時序。 區分延遲有上界的同步、未知穩定時間後的部分同步與完全非同步。不能替一個模型加入消失的信使，卻沿用為另一模型證明的定理。
  4. 定義故障預算。 記錄參與者總數 n、拜占庭參與者上限 m、腐化是靜態或自適應，以及故障是否包含遺漏、矛盾訊息、串謀、金鑰竊取或通道故障。
  5. 遞迴追蹤資訊。 對每名忠誠參與者列出直接說法和轉述說法，包括傳送者路徑、缺失訊息預設值與確定性平手規則；比較兩名忠誠者從本地視圖可區分哪些執行。
  6. 同時核對定理與演算法。 把下界與充分性對應到精確的口頭或簽署模型、連通性和故障預算。一個門檻不等式既不是實作，也不是證明。
  7. 映射到實際部署。 核驗部署協定的 OM(m)、SM(m) 或其他機制，以及訊息網域、輪次、鎖定、憑證、成員變更、逾時、客戶端行為、最終性規則與應用確認政策。

關鍵證明技術是不可區分性。忠誠參與者只能看到自己的本地訊息；若兩次執行在它看來完全相同，卻因有效性要求不同決定，任何確定性規則都無法始終正確選擇。協定藉由增加足夠多的獨立參與者、驗證證據、時序假設、隨機性或其他結構，使必要的執行變得可區分，或改變所承諾的保證。

計算範例

1. 三名口頭訊息將軍為何不能容忍一名叛徒

設 n=3、m=1。必要條件 n>3m 變為 3>3，不成立。假設司令 A 告訴副官 B ATTACK，卻告訴副官 C RETREAT。B 無法判斷是 A 作為叛徒傳送矛盾命令，還是 C 作為叛徒謊報 A 的說法；C 面臨對稱的不確定性。

任何能在相應「忠誠 A」執行中保留忠誠司令命令的確定性選擇，都可能迫使 B 和 C 在「叛徒 A」執行中作出不同決定。轉送訊息不會創造第四個獨立來源，因此無法同時保證 IC1 與 IC2。

2. 四名口頭訊息將軍與一名叛徒

在 OM(1) 中，n=4、m=1。司令向三名副官傳送命令；每名副官把收到的值轉送給另外兩名；每名忠誠副官採用同一個多數規則與預設值。若司令忠誠並傳送 v，忠誠副官看到的值可為 v、v 和叛徒可能傳送的 x，所以選擇 v。

若司令是唯一叛徒，三名副官全都忠誠，並如實轉送各自收到的內容。因此三者重建出同一組「司令向各副官傳送的說法」，並採用相同確定性規則。他們未必找回司令的「真實意圖」，但能滿足一致性。

3. 口頭訊息的一般下界

當 n=7、m=2 時，7>6 成立，所以參與者數量符合前提；在其他假設也成立時，遞迴口頭訊息架構最多容忍兩名叛徒。對 n=6，6>6 不成立。對 n=10、m=3，10>9 成立。通過不等式只是必要條件，仍須正確實作輪次、轉送、多數、預設值和通道。

4. 簽章改變了什麼

在三名將軍的 SM(1) 範例中，叛徒司令為傳給 B 的 ATTACK 和傳給 C 的 RETREAT 分別簽署。忠誠副官轉送兩份簽署命令，所以雙方都得到同一集合 {ATTACK, RETREAT}，並採用同一個規定預設值，例如 RETREAT。司令傳送矛盾命令的行為可以歸責。

在此模型下，簽章防止忠誠參與者的命令被偽造或無痕修改。它不會揭示叛徒兩份命令中的哪一份代表「真實意圖」，不會保證及時送達，也不能阻止控制合法私鑰的攻擊者同時簽署兩份內容。

風險與審查失誤

問題與模型

  • 只複述寓言，不給出精確的一致性、有效性和終止條件。
  • 把拜占庭將軍問題當作歷史圍城、單一演算法或區塊鏈的同義詞。
  • 與兩軍問題混淆；後者關注不可靠通道上的共同知識。
  • 加入無法發現的永久訊息遺失，卻引用口頭訊息假設排除此情形的定理。
  • 把 n>3m 套到所有驗證、非同步、加權、無許可或按資源競爭的協定。
  • 把崩潰、遺漏、矛盾訊息、任意計算、通道故障與金鑰洩漏視為同一故障。
  • 假設參與者數量等於獨立實體、質押、算力或委員會權重。
  • 在有效性條件中遺漏忠誠司令與叛徒司令的差別。

演算法與實作

  • 只看最終多數，不遞迴追蹤傳送者路徑及每名忠誠參與者的本地視圖。
  • 各實作採用不同的缺失訊息預設值、平手規則、成員快照或訊息順序。
  • 接受未綁定協定、鏈、任務、高度、輪次、值、傳送者與成員時期的訊息。
  • 跨執行、輪次、分叉、網路或成員變更重放、拼接訊息。
  • 假設簽章能證明真實、新鮮、授權語境、送達、可用或金鑰被誠實保管。
  • 引用 OM(m) 或 SM(m)，卻未實作所需輪次、轉送、驗證與連通性。
  • 只測試一種叛徒位置，不測試司令、副官、串謀、遺漏和矛盾訊息情形。

部署與解釋

  • 宣稱某共識協定「解決了拜占庭問題」，卻不說明精確的安全、活性與網路假設。
  • 把對位元組達成一致當作應用執行或鏈外事實正確的證明。
  • 忽略共同客戶端、營運方、雲端服務、金鑰系統或治理造成的相關故障。
  • 在達到所需最終性條件前記入入金、鑄造跨鏈資產或結算不可逆操作。
  • 從容錯標籤推斷去中心化、資產安全、法律事實或代幣價值。

常見誤區

  • 這個問題就是 51% 攻擊。 它研究明確一致模型下的任意與矛盾行為；資源多數攻擊屬於特定協定。
  • 多數總能解決問題。 在經典口頭訊息模型中，容忍 m 名叛徒要求參與者總數超過其三倍，不只是誠實者比叛徒多一名。
  • 數位簽章證明訊息是真的。 簽章可驗證金鑰並保護完整性；惡意或已洩漏的金鑰仍能簽署虛假、矛盾內容。
  • 原始口頭訊息結果已涵蓋不可靠送達。 該結果包含明確的送達、傳送者身分和可發現遺漏假設；其他時序與通道模型需要其他結論。
  • 達成一致表示系統獲知現實真相。 除非另有驗證規則，忠誠節點也可能對無效應用輸出或錯誤外部資料達成一致。

相關主題

資料來源

導覽

搜尋知識庫...