區(qū)塊鏈技術(shù)科普：什么是拜占庭將軍問題？
拜占庭是古代東羅馬帝國的首都，它曾經(jīng)是世界上最強(qiáng)大、最富有的城市之一。但是，由于地域廣闊，拜占庭經(jīng)常遭受外敵侵略和內(nèi)部叛亂。為了保衛(wèi)邊境，拜占庭派出了多支軍隊(duì)，由不同的將軍指揮。將軍之間如何達(dá)成信息一致性成了最大問題。
而區(qū)塊鏈與拜占庭將軍問題有著密切的聯(lián)系。區(qū)塊鏈網(wǎng)絡(luò)是一種分布式網(wǎng)絡(luò)，其節(jié)點(diǎn)就像拜占庭將軍一樣，需要在不可靠的網(wǎng)絡(luò)環(huán)境中達(dá)成交易和數(shù)據(jù)的共識。
兩軍問題
兩軍問題是拜占庭問題的一個特例。
兩軍問題及其無解性證明最早是由E.A. Akkoyunlu、K.Ekanadham和R.V.Huber于1975年在聯(lián)合發(fā)表的論文《網(wǎng)絡(luò)通信設(shè)計(jì)的約束與權(quán)衡》(Some Constraints and Trade-offs In The Design of Network Communications)中首次提出。
1978年，JimGray在《數(shù)據(jù)庫操作系統(tǒng)筆記》書中將這個問題正式命名為“兩軍問題” (Two General’s Problem)。原本是用來分析在一個不可靠的通信鏈路上試圖通過通信以達(dá)成一致是存在問題的，后來常被用于闡述分布式系統(tǒng)的一致性和共識問題。
問題定義
A國的兩支軍隊(duì)，分別由兩個將軍領(lǐng)導(dǎo)，正在準(zhǔn)備攻擊B國的一支軍隊(duì)。B國的這支軍隊(duì)被包圍在一個山谷里，A國的兩只軍隊(duì)A1和A2分別駐扎在山谷兩邊的山頭上，但從A1駐扎地到A2駐扎地，只有唯一的一條山道，且必須經(jīng)過山谷。同時，B軍的數(shù)量和作戰(zhàn)能力比A1軍和A2軍的任意一支都要強(qiáng)(A軍知道，B軍不知道)，A國的任意一支軍隊(duì)單獨(dú)去進(jìn)攻B軍，都會被B軍擊敗，從而讓B軍逃掉，但只要A1軍與A2軍聯(lián)合攻擊，就可以戰(zhàn)勝B軍。
問題：是否可以想出一種能讓A國的兩支軍隊(duì)的將軍達(dá)成同時攻擊約定的算法，該算法可包含發(fā)送和接收處理消息?
說答案：經(jīng)典的兩軍問題是無解的，不存在一個能確保A國·軍隊(duì)成功協(xié)商一致攻擊B國的協(xié)議。但在一定的容忍條件下，可以通過一種相對可靠的方式解決大多數(shù)問題，例如TCP協(xié)議中建立連接的“三次握手”機(jī)制。
拜占庭將軍問題
拜占庭將軍問題是由2013年度圖靈獎得主萊斯利·蘭波特(Leslie Lamport)在1982年發(fā)表的論文《拜占庭將軍問題》(The Byzantine Generals Problem)中首次提出。拜占庭將軍問題描述了如何在存在惡意行為(如消息被篡改)的情況下實(shí)現(xiàn)分布式系統(tǒng)的一致性。
拜占庭帝國的幾支軍隊(duì)將敵城包圍，每支軍隊(duì)都由一名將軍指揮。拜占庭的軍隊(duì)之間只能通過通信兵相互傳達(dá)消息。在觀察敵情之后后，根據(jù)敵城的軍事力量，拜占庭將軍們都得出相同的結(jié)論，只有超過半數(shù)的拜占庭軍隊(duì)共同發(fā)起進(jìn)攻，才能攻破城池，取得勝利。
因此，所有的拜占庭軍隊(duì)必須制定一個聯(lián)合行動計(jì)劃，要么共同進(jìn)攻，要么共同撤退。
但是，情報(bào)部門已經(jīng)知道這些拜占庭軍隊(duì)的將軍中存在叛徒，將試圖破壞忠誠的將軍們達(dá)成一致的聯(lián)合行動計(jì)劃。同時，雖然拜占庭軍隊(duì)的通信兵一定能不被敵方截獲且確保送達(dá)消息，但是通信兵中也可能存在叛徒，可能在傳信過程中篡改或偽造消息，也可能丟失消息。
問題求解
如果將拜占庭問題中的攻城軍隊(duì)的將軍數(shù)量對應(yīng)為分布式系統(tǒng)的節(jié)點(diǎn)數(shù)量，可以將符合拜占庭問題條件的分布式系統(tǒng)稱為”拜占庭系統(tǒng)”，
在拜占庭系統(tǒng)中任意兩個節(jié)點(diǎn)之間的通信是保證可達(dá)的，可以得出以下結(jié)論：
對于一個拜占庭系統(tǒng)，如果系統(tǒng)總節(jié)點(diǎn)數(shù)為Z，表示叛變將軍的不可靠節(jié)點(diǎn)數(shù)為X，只有當(dāng)Z≥3X+1時，可由基于拜占庭客容錯(BFT)類算法的協(xié)議保證系統(tǒng)的一致性。
在實(shí)際的系統(tǒng)中，一般把由于系統(tǒng)故障導(dǎo)致節(jié)點(diǎn)不響應(yīng)的情兄歸類為“非拜占庭錯誤(Crash Fault)”，把節(jié)點(diǎn)偽造或篡改信息進(jìn)行惡意響應(yīng)的情況歸類為“拜占庭錯誤(Byzantine Fault)”。
共識算法分類
區(qū)塊鏈系統(tǒng)是一種分布式系統(tǒng)，特別是像比特幣、以太坊等公有鏈系統(tǒng)，由大量高度分散且彼此不信任的網(wǎng)絡(luò)節(jié)點(diǎn)構(gòu)成，區(qū)塊鏈共識機(jī)制就是以共識算法為核心，確保區(qū)塊鏈系統(tǒng)就某個事物始終能達(dá)成數(shù)據(jù)一致且不產(chǎn)生分叉。
目前，根據(jù)共識算法容錯類型的不同，可以將共識算法分為非拜占庭容錯類(CFT，Crash Fault Tolerance)算法和拜占庭容錯類(BFT，ByzantineFault Tolerance)算法。
非拜占庭容錯類共識算法
對于分布式系統(tǒng)，非拜占庭容錯類共識算法能在節(jié)點(diǎn)發(fā)生系統(tǒng)故障或非計(jì)劃停機(jī)等非拜占庭錯誤時，確保整個分布式系統(tǒng)的可靠性;但是，當(dāng)系統(tǒng)中存在惡意節(jié)點(diǎn)偽造或篡改數(shù)據(jù)等行為時，非拜占庭容錯算法無法保證系統(tǒng)的可靠性。
因此，非拜占庭容錯類共識算法主要用于實(shí)現(xiàn)封閉的、系統(tǒng)節(jié)點(diǎn)都受控的企業(yè)吸分布式系統(tǒng)，如某企業(yè)構(gòu)建的內(nèi)部分布式應(yīng)用集群系統(tǒng)或分布式存儲系統(tǒng)。非拜占庭容錯類共識算法中最有代表性的包括PaxoS算法與Raft算法。
拜占庭容錯類共識算法
拜占庭容錯類共識算法能允許分布式系統(tǒng)節(jié)點(diǎn)發(fā)生任何類型的錯誤但錯誤節(jié)點(diǎn)數(shù)量不超過一定比例時，確保整個分布式系統(tǒng)的可靠性。簡單的說，只要分布式系統(tǒng)的故障 (由于非拜占庭錯誤或拜占庭錯誤導(dǎo)致)節(jié)點(diǎn)數(shù)與系統(tǒng)總節(jié)點(diǎn)數(shù)相比，小于一定比例，拜占庭容錯類共識算法就能保證分布式系統(tǒng)的可靠性。
由于像比特幣、以太坊等區(qū)塊鏈系統(tǒng)中，存在大量彼此不信任的網(wǎng)絡(luò)節(jié)點(diǎn)，不排除有惡意節(jié)點(diǎn)企圖偽造或篡改系統(tǒng)數(shù)據(jù)，因此，拜占庭容錯類共識算法是區(qū)塊鏈共識機(jī)制主要采用的共識算法。拜占庭容錯類共識算法中最有代表性的包括PBFT實(shí)用拜占庭容錯算法、PoW工作量證明算法、PoS權(quán)益證明算法等。
以上就是區(qū)塊鏈技術(shù)科普：什么是拜占庭將軍問題？的詳細(xì)內(nèi)容，更多關(guān)于拜占庭將軍問題的資料請關(guān)注腳本之家其它相關(guān)文章！
你可能感興趣的文章
-
加密貨幣空投有哪些類型？如何安全領(lǐng)取空投代幣？完整指南
隨著區(qū)塊鏈技術(shù)的不斷發(fā)展，空投（Airdrop）已成為加密項(xiàng)推廣的重要式,簡單來說，空投就是免費(fèi)發(fā)放加密貨幣，的是吸引更多戶關(guān)注項(xiàng)目并參與其中,對新來說，空投是種低檻的 …
2025-09-23 -
區(qū)塊瀏覽器怎么用？怎么查看鏈上數(shù)據(jù)和轉(zhuǎn)賬狀態(tài)？
區(qū)塊瀏覽器是一種專門用于查詢和瀏覽區(qū)塊鏈信息的工具，本質(zhì)上是區(qū)塊鏈的 “搜索引擎”, 它能實(shí)時瀏覽和查詢區(qū)塊鏈上的區(qū)塊高度、交易記錄、地址、代幣等信息，將復(fù)雜的鏈…
2025-09-23 -
2025年如何挖掘萊特幣 (LTC)幣？挖礦教程、收益分析
萊特幣誕生于 2011 年，是比特幣的一個分叉，旨在成為更輕量、更快速的支付網(wǎng)絡(luò),它采用 Scrypt 算法，這是一種不同于比特幣 SHA-256 的哈希算法，最初的設(shè)計(jì)目的是降低挖礦…
2025-09-23 -
什么是跨鏈橋？市面上有哪些跨鏈橋？一文介紹
什么是跨鏈橋？跨鏈橋在加密貨幣領(lǐng)域發(fā)揮著至關(guān)重要的作用，它實(shí)現(xiàn)了不同區(qū)塊鏈網(wǎng)絡(luò)之間的資產(chǎn)轉(zhuǎn)移,這是必要的，因?yàn)槊總€區(qū)塊鏈都按照自己的規(guī)則獨(dú)立運(yùn)行，因此無法直接在…
2025-09-23 -
DeFi 3.0是什么？DeFi 3.0 代幣、功能、工作原理介紹
去中心化金融 (DeFi) 已經(jīng)徹底改變了人們對貨幣、借貸和投資的認(rèn)知,從早期簡單的借貸協(xié)議到如今高度復(fù)雜的收益挖礦方法，DeFi 不斷發(fā)展演變,這種演變的最新階段就是人們所…
2025-09-23 -
DePINFi是什么?有哪些分類?DePINFi的趨勢的優(yōu)勢和挑戰(zhàn)介紹
DePINFi 是“去中心化物理基礎(chǔ)設(shè)施網(wǎng)絡(luò)金融”的縮寫，是去中心化物理基礎(chǔ)設(shè)施網(wǎng)絡(luò) (DePIN) 與去中心化金融 (DeFi) 的交匯點(diǎn),下面小編就為大家詳細(xì)介紹一下它吧…
2025-09-22 -
Base生態(tài)核心項(xiàng)目有哪些?一文速覽值得關(guān)注的20個Base生態(tài)項(xiàng)目
本文將推薦Base生態(tài)中值得關(guān)注的20個項(xiàng)目，通過梳理這些項(xiàng)目的市場定位和資本表現(xiàn)，來判斷Base生態(tài)的真實(shí)厚度，并進(jìn)一步揭示其未來增長的動力來源,這不僅是對Base App轉(zhuǎn)型…
2025-09-22 -
一文盤點(diǎn)Web3 AI的11個潛力項(xiàng)目：不要錯過的造富列車
Web3 AI為普通人提供了參與AI財(cái)富創(chuàng)造的機(jī)會，不同于傳統(tǒng)AI的精英化,以下是我們精選的 Web3 AI領(lǐng)域最具潛力的項(xiàng)目和方向,Web3 AI的造富列車已經(jīng)啟動，現(xiàn)在上車還來得及…
2025-09-22 -
什么是加密貨幣完全稀釋估值FDV？怎么算？為何代幣解鎖可能意味著上漲
什么是加密貨幣完全稀釋估值FDV？為何代幣解鎖可能意味著上漲？FDV 考慮的是代幣的總供應(yīng)量，而流通供應(yīng)量指的是當(dāng)前市場上實(shí)際交易的代幣,理解 FDV 有助于全面評估一個項(xiàng)…
2025-09-20 -
什么是加密貨幣市值？市值為何重要？如何影響加密貨幣價格？
市值，通常被稱為“市值”，是一個反映加密貨幣總價值的財(cái)務(wù)指標(biāo),它是通過將加密貨幣的當(dāng)前價格乘以其總流通供應(yīng)量來計(jì)算的,本文深入探討了加密貨幣市值的含義、計(jì)算方法以…
2025-09-19
