当前位置:首页 > 区块链技术 > 拜占庭将军问题介绍

区块链技术科普:什么是拜占庭将军问题?

2024-07-30 15:23:42 | 来源: | 作者:佚名
区块链与拜占庭将军问题有着密切的联系,区块链网络是一种分布式网络,其节点就像拜占庭将军一样,需要在不可靠的网络环境中达成交易和数据的共识,那么,什么是拜占庭将军问题?下文将为大家详细介绍

拜占庭是古代东罗马帝国的首都,它曾经是世界上最强大、最富有的城市之一。但是,由于地域广阔,拜占庭经常遭受外敌侵略和内部叛乱。为了保卫边境,拜占庭派出了多支军队,由不同的将军指挥。将军之间如何达成信息一致性成了最大问题。

而区块链与拜占庭将军问题有着密切的联系。区块链网络是一种分布式网络,其节点就像拜占庭将军一样,需要在不可靠的网络环境中达成交易和数据的共识。

两军问题

两军问题是拜占庭问题的一个特例。

两军问题及其无解性证明最早是由E.A. Akkoyunlu、K.Ekanadham和R.V.Huber于1975年在联合发表的论文《网络通信设计的约束与权衡》(Some Constraints and Trade-offs In The Design of Network Communications)中首次提出。

1978年,JimGray在《数据库操作系统笔记》书中将这个问题正式命名为“两军问题” (Two General’s Problem)。原本是用来分析在一个不可靠的通信链路上试图通过通信以达成一致是存在问题的,后来常被用于阐述分布式系统的一致性和共识问题。

问题定义

A国的两支军队,分别由两个将军领导,正在准备攻击B国的一支军队。B国的这支军队被包围在一个山谷里,A国的两只军队A1和A2分别驻扎在山谷两边的山头上,但从A1驻扎地到A2驻扎地,只有唯一的一条山道,且必须经过山谷。同时,B军的数量和作战能力比A1军和A2军的任意一支都要强(A军知道,B军不知道),A国的任意一支军队单独去进攻B军,都会被B军击败,从而让B军逃掉,但只要A1军与A2军联合攻击,就可以战胜B军。

问题:是否可以想出一种能让A国的两支军队的将军达成同时攻击约定的算法,该算法可包含发送和接收处理消息?

说答案:经典的两军问题是无解的,不存在一个能确保A国·军队成功协商一致攻击B国的协议。但在一定的容忍条件下,可以通过一种相对可靠的方式解决大多数问题,例如TCP协议中建立连接的“三次握手”机制。

拜占庭将军问题

拜占庭将军问题是由2013年度图灵奖得主莱斯利·兰波特(Leslie Lamport)在1982年发表的论文《拜占庭将军问题》(The Byzantine Generals Problem)中首次提出。拜占庭将军问题描述了如何在存在恶意行为(如消息被篡改)的情况下实现分布式系统的一致性。

拜占庭帝国的几支军队将敌城包围,每支军队都由一名将军指挥。拜占庭的军队之间只能通过通信兵相互传达消息。在观察敌情之后后,根据敌城的军事力量,拜占庭将军们都得出相同的结论,只有超过半数的拜占庭军队共同发起进攻,才能攻破城池,取得胜利。

因此,所有的拜占庭军队必须制定一个联合行动计划,要么共同进攻,要么共同撤退。

但是,情报部门已经知道这些拜占庭军队的将军中存在叛徒,将试图破坏忠诚的将军们达成一致的联合行动计划。同时,虽然拜占庭军队的通信兵一定能不被敌方截获且确保送达消息,但是通信兵中也可能存在叛徒,可能在传信过程中篡改或伪造消息,也可能丢失消息。

问题求解

如果将拜占庭问题中的攻城军队的将军数量对应为分布式系统的节点数量,可以将符合拜占庭问题条件的分布式系统称为”拜占庭系统”,

在拜占庭系统中任意两个节点之间的通信是保证可达的,可以得出以下结论:

对于一个拜占庭系统,如果系统总节点数为Z,表示叛变将军的不可靠节点数为X,只有当Z≥3X+1时,可由基于拜占庭客容错(BFT)类算法的协议保证系统的一致性。

在实际的系统中,一般把由于系统故障导致节点不响应的情兄归类为“非拜占庭错误(Crash Fault)”,把节点伪造或篡改信息进行恶意响应的情况归类为“拜占庭错误(Byzantine Fault)”。

共识算法分类

区块链系统是一种分布式系统,特别是像比特币、以太坊等公有链系统,由大量高度分散且彼此不信任的网络节点构成,区块链共识机制就是以共识算法为核心,确保区块链系统就某个事物始终能达成数据一致且不产生分叉。

目前,根据共识算法容错类型的不同,可以将共识算法分为非拜占庭容错类(CFT,Crash Fault Tolerance)算法和拜占庭容错类(BFT,ByzantineFault Tolerance)算法。

非拜占庭容错类共识算法

对于分布式系统,非拜占庭容错类共识算法能在节点发生系统故障或非计划停机等非拜占庭错误时,确保整个分布式系统的可靠性;但是,当系统中存在恶意节点伪造或篡改数据等行为时,非拜占庭容错算法无法保证系统的可靠性。

因此,非拜占庭容错类共识算法主要用于实现封闭的、系统节点都受控的企业吸分布式系统,如某企业构建的内部分布式应用集群系统或分布式存储系统。非拜占庭容错类共识算法中最有代表性的包括PaxoS算法与Raft算法。

拜占庭容错类共识算法

拜占庭容错类共识算法能允许分布式系统节点发生任何类型的错误但错误节点数量不超过一定比例时,确保整个分布式系统的可靠性。简单的说,只要分布式系统的故障 (由于非拜占庭错误或拜占庭错误导致)节点数与系统总节点数相比,小于一定比例,拜占庭容错类共识算法就能保证分布式系统的可靠性。

由于像比特币、以太坊等区块链系统中,存在大量彼此不信任的网络节点,不排除有恶意节点企图伪造或篡改系统数据,因此,拜占庭容错类共识算法是区块链共识机制主要采用的共识算法。拜占庭容错类共识算法中最有代表性的包括PBFT实用拜占庭容错算法、PoW工作量证明算法、PoS权益证明算法等。

以上就是区块链技术科普:什么是拜占庭将军问题?的详细内容,更多关于拜占庭将军问题的资料请关注脚本之家其它相关文章!

免责声明:本文只为提供市场讯息,所有内容及观点仅供参考,不构成投资建议,不代表本站观点和立场。投资者应自行决策与交易,对投资者交易形成的直接或间接损失,作者及本站将不承担任何责任。!
Tag:拜占庭将军   问题  

你可能感兴趣的文章

币圈快讯

  • MSTR CEO Phong Le:将优先提升股价BTC上涨将助力

    2026-08-18 19:20
    MSTR首席执行官Phong Le针对一位关注普通股股东的担忧作出回应。他表示,"为了让普通股表现优于市场,我们必须提高基点,这需要$STRC的运作。我们目前的主要关注点是将其恢复到平价。"他补充道,"如果你相信比特币,并且由于其所有特性开始上涨,$MSTR将会表现优于市场。"他强调,"创造价值和提高$MSTR的价格是我们的首要任务。"
  • 疑似Ethena团队关联钱包向FalconX转入1.7亿枚ENA价值约1409万美元

    2026-08-18 19:19
    据onchain lens报道,一个疑似与Ethena团队关联的钱包向FalconX转入1.7亿枚ENA,按实时价格计算价值约1409万美元。该钱包最初于去年从Ethena的Gnosis Safe多签地址接收ENA。
  • 新兴市场股指结束四连涨美元略微走强

    2026-08-18 19:18
    新兴市场股票基准指数结束了连续四天的上涨势头,货币指数也从历史高位回落。全球债券抛售加上油价上涨,令市场风险情绪承压。MSCI新兴市场股票指数下跌0.7%,主要受三星电子和台积电股价下跌拖累。新兴市场货币指数下跌0.1%,美元四天来首次走强。荷兰国际集团全球市场主管克里斯·特纳表示,美国长债市场的大规模抛售通常对新兴市场货币和整体风险而言都是坏消息。
  • Kraken在欧洲推出美国股票交易支持7000多只股票

    2026-08-18 19:18
    Kraken宣布在欧洲经济区(EEA)推出美国股票交易,用户可访问超过7000只美国上市股票和700多只代币化股票(xstocks)。此次扩展基于Kraken之前在德国、法国和荷兰的股票交易推出。Kraken更新的支持页面显示,西班牙、意大利、爱尔兰、瑞典、奥地利、葡萄牙和挪威等国的客户均可享受该服务。符合条件的客户可以通过Kraken Pro和标准Kraken应用进行交易,且股票交易对符合条件的客户免佣金,但可能仍需支付点差、外汇费用等。Kraken计划在未来几个月内将其传统和代币化股票产品扩展到更多市场。
  • 韩国限制Polymarket接入成为30多个国家之一

    2026-08-18 19:17
    韩国已下令封锁对流行预测市场Polymarket的国内访问,成为30多个国家中最新一个限制该平台的地区,原因是担忧赌博问题。韩国媒体和通信标准委员会批准了这一举措,认为Polymarket促进了赌博,违反了该国刑法及国家体育促进法。该委员会表示,这些市场的结构鼓励投机行为,用户的收益和损失取决于超出其控制范围的事件。Polymarket已移除韩语服务,不支持韩元支付,并使用非托管的点对点交易和智能合约。委员会在7月开始审查该平台,因应国家警察局和国家赌博控制委员会的请求,警方已对当地Polymarket用户涉嫌非法赌博展开调查。
  • 查看更多