拜占庭将军问题(The Byzantine Generals Problem)提供了对分布式共识问题的一种情景化描述,由Leslie Lamport等人在1982年首次发表。论文《The Byzantine Generals Problem 》同时提供了两种解决拜占庭将军问题的算法:
口信消息型解决方案(A solution with oral message);
签名消息型解决方案(A solution with signed message).
论文:
https://www-inst.eecs.berkeley.edu/~cs162/sp16/static/readings/Original_Byzantine.pdf
本文之后将详细讲述这两种算法。事实上,拜占庭将军问题是分布式系统领域最复杂的容错模型, 它描述了如何在存在恶意行为(如消息篡改或伪造)的情况下使分布式系统达成一致。是我们理解分布式一致性协议和算法的重要基础。
周杰伦:我的经典歌曲Demo会做成NFT拍卖:1月29日消息,周杰伦在社交媒体上发表对NFT的观点,他表示新专辑不会成为NFT,但经典歌曲的Demo更适合NFT,Demo NFT后续会由JVR旗下的MINTS薄盒团队结合国际拍卖会平台拍卖。同时他表示,除了后续将有新发展的Phanta Bear NFT,今年还将与其他品牌合作发行NFT。[2022/1/30 9:22:15]
拜占庭将军问题描述
拜占庭将军问题描述了这样一个场景:
图1. 拜占庭将军问题
拜占庭帝国(Byzantine Empire)军队的几个师驻扎在敌城外,每个师都由各自的将军指挥。将军们只能通过信使相互沟通。在观察敌情之后,他们必须制定一个共同的行动计划,如进攻(Attack)或者撤退(Retreat),且只有当半数以上的将军共同发起进攻时才能取得胜利。然而, 其中一些将军可能是叛徒,试图阻止忠诚的将军达成一致的行动计划。 更糟糕的是,负责消息传递的信使也可能是叛徒,他们可能篡改或伪造消息,也可能使得消息丢失。
iBox发行经典国画NFT,上线即售罄:据iBox官方消息,iBox联合搜云科技发行当代十大著名画家作品。此次发行的作品为荣宝斋限量精品书画作品系列,含齐白石、张大千、傅抱石、李可染、潘天寿等当代著名画家经典作品,二期上线傅抱石《待细把江山图画》,上线1分钟即售罄。
iBox是基于微信的数字藏品电商平台,也是国内最大的数字藏品发行平台,已成功发行国内首个明星周边NFT、首个电影NFT、首个教父级音乐NFT,更是连续两期盲盒上线即售罄。平台发行的“徐冰天书号”数字藏品创下了国内单价之最。[2021/8/20 22:27:22]
为了更加深入的理解拜占庭将军问题,我们以三将军问题为例进行说明。当三个将军都忠诚时,可以通过投票确定一致的行动方案,图2展示了一种场景, 即General A,B通过观察敌军军情并结合自身情况判断可以发起攻击,而General C通过观察敌军军情并结合自身情况判断应当撤退。 最终三个将军经过投票表决得到结果为进攻:撤退=2:1, 所以将一同发起进攻取得胜利。对于三个将军,每个将军都能执行两种决策(进攻或撤退)的情况下, 共存在6中不同的场景,图2是其中一种,对于其他5中场景可简单地推得,通过投票三个将军都将达成一致的行动计划。
声音 | Weiss Ratings:ETH上涨是“买谣言,卖新闻”的经典操作方式:随着以太坊君士坦丁堡硬叉的到来,市场出现了上涨,其中ETH上涨了9%。根据加密货币评级机构Weiss Ratings的说法,这种系统升级主要集中在速度,低成本和效率上,而这是“买谣言,卖新闻”的经典操作方式。[2019/1/15]
图2. 三个将军均为忠诚的场景
当三个将军中存在一个叛徒时,将可能扰乱正常的作战计划。图3展示了General C为叛徒的一种场景,他给General A和General B发送了不同的消息,在这种场景下General A通过投票得到进攻:撤退=1:2,最终将作出撤退的行动计划;General B通过投票得到进攻:撤退=2:1,最终将作出进攻的行动计划。结果只有General B发起了进攻并战败。
图3. 二忠一叛的场景
事实上,对于三个将军中存在一个叛徒的场景,想要总能达到一致的行动方案是不可能的。详细的证明可参看Leslie Lamport的论文。此外,论文中给出了一个更加普适的结论:如果存在m个叛将,那么至少需要3m+1个将军,才能最终达到一致的行动方案。
动态 | Coinbase Wallet开始支持以太坊经典:据cointelegraph消息,11月27日,美国主要加密交易基金Coinbase提供的Coinbase Wallet已经启动了对以太坊经典(ETC)的支持。[2018/11/27]
解决方案
Leslie Lamport在论文中给出了两种拜占庭将军问题的解决方案,即口信消息型解决方案(A solution with oral message)和签名消息型解决方案(A solution with signed message)。
1、口信消息型解决方案
首先, 对于口信消息(Oral message)的定义如下:
A1. 任何已经发送的消息都将被正确传达;
A2. 消息的接收者知道是谁发送了消息;
A3. 消息的缺席可以被检测。
基于口信消息的定义,我们可以知, 口信消息不能被篡改但是可以被伪造。基于对图3场景的推导,我们知道存在一个叛将时,必须再增加3个忠将才能达到最终的行动一致。为加深理解,我们将利用3个忠将1个叛将的场景对口信消息型解决方案进行推导。在口信消息型解决方案中,首先发送消息的将军称为指挥官,其余将军称为副官。对于3忠1叛的场景需要进行两轮作战信息协商,如果没有收到作战信息那么默认撤退。图4是指挥官为忠将的场景,在第一轮作战信息协商中,指挥官向3位副官发送了进攻的消息;在第二轮中,三位副官再次进行作战信息协商,由于General A、B为忠将,因此他们根据指挥官的消息向另外两位副官发送了进攻的消息,而General C为叛将,为了扰乱作战计划,他向另外两位副官发送了撤退的消息。最终Commanding General, General A和B达成了一致的进攻计划,可以取得胜利。
晚间数字货币涨幅扩大 以太经典涨幅突破15%:截止2月19日21:30,据HuobiPro交易平台数据显示,以太经典ETC现报37.32美元,涨幅15.22%。比特币现报10872.45美元,涨幅2.79%;比特币现金现报1509.97美元,涨幅1.09%;以太坊现报942.45美元,涨幅1.08%;莱特币现报222.86美元,跌幅0.51%;EOS现报9.46美元,涨幅1.17%。[2018/2/19]
图4. 指挥官为忠将的场景
图5是指挥官为叛将的场景,在第一轮作战信息协商中,指挥官向General A、B发送了撤退的消息,但是为了扰乱General C的决定向其发送了进攻的消息。在第二轮中,由于所有副官均为忠将,因此都将来自指挥官的消息正确地发送给其余两位副官。最终所有忠将都能达成一致撤退的计划。
图5. 指挥官为叛将的场景
如上所述,对于口信消息型拜占庭将军问题,如果叛将人数为m,将军人数不少于3m+1,那么最终能达成一致的行动计划。值的注意的是,在这个算法中,叛将人数m是已知的,且叛将人数m决定了递归的次数,即叛将数m决定了进行作战信息协商的轮数,如果存在m个叛将,则需要进行m+1轮作战信息协商。这也是上述存在1个叛将时需要进行两轮作战信息协商的原因。
2、签名消息型解决方案
同样,对签名消息的定义是在口信消息定义的基础上增加了如下两条:
A4. 忠诚将军的签名无法伪造,而且对他签名消息的内容进行任何更改都会被发现;
A5. 任何人都能验证将军签名的真伪。
基于签名消息的定义,我们可以知道,签名消息无法被伪造或者篡改。为了深入理解签名消息型解决方案,我们同样以3三将军问题为例进行推导。 图6是忠将率先发起作战协商的场景,General A率先向General B、C发送了进攻消息,一旦叛将General C篡改了来自General A的消息,那么General B将将发现作战信息被General C篡改,General B将执行General A发送的消息。
图6. 忠将率先发起作战协商
图7是叛将率先发起作战协商的场景,叛将General C率先发送了误导的作战信息,那么General A、B将发现General C发送的作战信息不一致,因此判定其为叛将。可对其进行处理后再进行作战信息协商。
图7. 叛将率先发起作战协商
签名消息型解决方案可以处理任何数量叛将的场景。
总 结
在分布式系统领域, 拜占庭将军问题中的角色与计算机世界的对应关系如下:
将军, 对应计算机节点;
忠诚的将军, 对应运行良好的计算机节点;
叛变的将军, 被非法控制的计算机节点;
信使被杀, 通信故障使得消息丢失;
信使被间谍替换, 通信被攻击, 攻击者篡改或伪造信息。
如上文所述,拜占庭将军问题提供了对分布式共识问题的一种情景化描述,是分布式系统领域最复杂的模型。此外, 它也为我们理解和分类现有的众多分布式一致性协议和算法提供了框架。现有的分布式一致性协议和算法主要可分为两类:
一类是故障容错算法(Crash Fault Tolerance, CFT), 即非拜占庭容错算法,解决的是分布式系统中存在故障,但不存在恶意攻击的场景下的共识问题。也就是说,在该场景下可能存在消息丢失,消息重复,但不存在消息被篡改或伪造的场景。一般用于局域网场景下的分布式系统,如分布式数据库。属于此类的常见算法有Paxos算法、Raft算法,、ZAB协议等。
一类是拜占庭容错算法,可以解决分布式系统中既存在故障,又存在恶意攻击场景下的共识问题。一般用于互联网场景下的分布式系统,如在数字货币的区块链技术中。属于此类的常见算法有PBFT算法、PoW算法。
看完本文,你对这两种解决方案有什么看法?欢迎在评论区跟我们讨论!
BTC价格刚刚出现跳水,从9900美元上方一度砸至9580美元低点在回升,再次下探测试了30日均线支撑,技术图形上,最低点也刚好触及前期6433美元一路下来的通道下边线支撑.
1900/1/1 0:00:002月19日Ton和Gram的听证会上,法官宣布保留SEC对Telegram的TON初步禁令,并向Telegram保证,该案将在4月30日之前作出判决.
1900/1/1 0:00:002020,平台币再次成为市场焦点。近期,平台币暴涨,尤其以OKB、HT、BNB为首的平台币上涨显著。热点无法粉饰的是,更多平台币们经济模型千篇一律、生态设计高度雷同、长期价值并无支撑的事实.
1900/1/1 0:00:00一、三重死叉卖出法 如图所示,哈药股份(600664)股价在长期上涨后开始缓慢下跌,几乎出现5日、10日均价线、5日、10日均量线和MACD的死亡交叉点,这是股价卖出的信号.
1900/1/1 0:00:00近几年来,加密货币圈都以一个超级热点掀起开年大幕。比如,2018年的3点钟群让业外开始关注区块链,2019年币安重启IEO在熊市里燃起一抹投资花火,而今年MXC抹茶交易所的杠杆ETF则被推至聚光.
1900/1/1 0:00:00比特币的支付需要有人记账,区块链账本是一个去中心化的账本,谁都可以参与记账。那么,为什么就有人来记比特币的账呢?既然谁都可以记账,那又以谁的账为准呢?怎么确保账目的真实性呢?首先,记账是有奖励的.
1900/1/1 0:00:00