作者|?YuLiebing
责编|Carol
出品|区块链大本营
拜占庭将军问题(TheByzantineGeneralsProblem)提供了对分布式共识问题的一种情景化描述,由LeslieLamport等人在1982年首次发表。论文《TheByzantineGeneralsProblem》同时提供了两种解决拜占庭将军问题的算法:
口信消息型解决方案(Asolutionwithoralmessage);
签名消息型解决方案(Asolutionwithsignedmessage).
论文:
https://www-inst.eecs.berkeley.edu/~cs162/sp16/static/readings/Original_Byzantine.pdf
本文之后将详细讲述这两种算法。事实上,拜占庭将军问题是分布式系统领域最复杂的容错模型,?它描述了如何在存在恶意行为(如消息篡改或伪造)的情况下使分布式系统达成一致。是我们理解分布式一致性协议和算法的重要基础。
律师事务所Pomerantz已代表Core Scientific投资者对该矿企展开索赔调查:1月10日消息,律师事务所Pomerantz已代表比特币矿企Core Scientific的投资者对该矿企展开索赔调查,调查涉及Core Scientific及其某些高级职员或董事是否从事证券欺诈或其他非法商业行为。
金色财经此前报道,美国最大上市比特币矿企之一Core Scientific于2022年12月份在德克萨斯州申请第11章破产保护。该公司仍产生正现金流,并计划在偿还债务人的同??时继续开采。此外据官方数据,Core Scientific在去年11月和12月分别生产了1356和1435个自挖比特币,为托管客户提供了795枚和931枚比特币。[2023/1/10 11:03:34]
拜占庭将军问题描述
拜占庭将军问题描述了这样一个场景:
图1.拜占庭将军问题
拜占庭帝国(ByzantineEmpire)军队的几个师驻扎在敌城外,每个师都由各自的将军指挥。将军们只能通过信使相互沟通。在观察敌情之后,他们必须制定一个共同的行动计划,如进攻(Attack)或者撤退(Retreat),且只有当半数以上的将军共同发起进攻时才能取得胜利。然而,其中一些将军可能是叛徒,试图阻止忠诚的将军达成一致的行动计划。?更糟糕的是,负责消息传递的信使也可能是叛徒,他们可能篡改或伪造消息,也可能使得消息丢失。
数据:本轮Epoch周期SOL净解质押数量近1700万枚:金色财经报道,Solana Compass数据显示,Solana网络本轮Epoch周期共有18394980枚SOL解质押,新增质押1459330枚SOL,净解质押数量达16935650枚SOL(约3.28亿美元)。[2022/11/9 12:38:25]
为了更加深入的理解拜占庭将军问题,我们以三将军问题为例进行说明。当三个将军都忠诚时,可以通过投票确定一致的行动方案,图2展示了一种场景,?即GeneralA,B通过观察敌军军情并结合自身情况判断可以发起攻击,而GeneralC通过观察敌军军情并结合自身情况判断应当撤退。?最终三个将军经过投票表决得到结果为进攻:撤退=2:1,?所以将一同发起进攻取得胜利。对于三个将军,每个将军都能执行两种决策(进攻或撤退)的情况下,共存在6中不同的场景,图2是其中一种,对于其他5中场景可简单地推得,通过投票三个将军都将达成一致的行动计划。
图2.三个将军均为忠诚的场景
当三个将军中存在一个叛徒时,将可能扰乱正常的作战计划。图3展示了GeneralC为叛徒的一种场景,他给GeneralA和GeneralB发送了不同的消息,在这种场景下GeneralA通过投票得到进攻:撤退=1:2,最终将作出撤退的行动计划;GeneralB通过投票得到进攻:撤退=2:1,最终将作出进攻的行动计划。结果只有GeneralB发起了进攻并战败。
币安2022年第三季度共销毁逾206万枚BNB:金色财经报道,币安2022年第三季度(第21个季度销毁)的BNB代币销毁已完成,共销毁约2065152枚BNB,价值约5.47亿美元。最新的季度销毁包括通过Pioneer Burn Program有效销毁的4833.25BNB。[2022/10/13 14:26:31]
图3.二忠一叛的场景
事实上,对于三个将军中存在一个叛徒的场景,想要总能达到一致的行动方案是不可能的。详细的证明可参看LeslieLamport的论文。此外,论文中给出了一个更加普适的结论:如果存在m个叛将,那么至少需要3m+1个将军,才能最终达到一致的行动方案。
解决方案
LeslieLamport在论文中给出了两种拜占庭将军问题的解决方案,即口信消息型解决方案(Asolutionwithoralmessage)和签名消息型解决方案(Asolutionwithsignedmessage)。
1、口信消息型解决方案
首先,对于口信消息(Oralmessage)的定义如下:
Angle Protocol借贷模块现已上线Polygon:7月11日消息,据 Polygon 官方博客,继以太坊之后,Polygon 成为第二个部署去中心化 Stablecoin 协议 Angle Protocol 借贷模块的区块链网络,Polygon 用户现在可以获得与欧元挂钩的 agEUR Stablecoin 并能将该 Stablecoin 兑换为 wETH、USDC 或 MATIC。
Angle Protocol 是一个资本效率高、去中心化和超额抵押 Stablecoin 协议,其平台发行由欧元支持的高流动性 Stablecoin “agEUR”。[2022/7/12 2:06:34]
A1.任何已经发送的消息都将被正确传达;
A2.消息的接收者知道是谁发送了消息;
A3.消息的缺席可以被检测。
基于口信消息的定义,我们可以知,?口信消息不能被篡改但是可以被伪造。基于对图3场景的推导,我们知道存在一个叛将时,必须再增加3个忠将才能达到最终的行动一致。为加深理解,我们将利用3个忠将1个叛将的场景对口信消息型解决方案进行推导。在口信消息型解决方案中,首先发送消息的将军称为指挥官,其余将军称为副官。对于3忠1叛的场景需要进行两轮作战信息协商,如果没有收到作战信息那么默认撤退。图4是指挥官为忠将的场景,在第一轮作战信息协商中,指挥官向3位副官发送了进攻的消息;在第二轮中,三位副官再次进行作战信息协商,由于GeneralA、B为忠将,因此他们根据指挥官的消息向另外两位副官发送了进攻的消息,而GeneralC为叛将,为了扰乱作战计划,他向另外两位副官发送了撤退的消息。最终CommandingGeneral,GeneralA和B达成了一致的进攻计划,可以取得胜利。
Meta新任金融技术主管:不会“以任何方式”调整围绕NFT的计划:7月6日消息,Meta新任金融技术主管StephaneKasriel在接受采访时表示,该公司不会“以任何方式”调整其围绕NFT的计划。Kasriel表示:“Meta看到的机会是,今天正在使用我们的应用程序的数亿或数十亿人能够收集数字收藏品,以及数百万有可能创造虚拟和数字商品的创作者能够通过其平台出售这些商品。”此外,Kasriel表示,Meta正在探索如何利用NFT来销售创作者内容的“会员资格”和“订阅”,且这些内容可跨平台使用。(英国金融时报)[2022/7/6 1:54:09]
图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算法。
看完本文,你对这两种解决方案有什么看法?欢迎在评论区跟我们讨论!
文:JXkin来源:蜂巢财经编者注:原标题为《“夹心层”交易所边缘化危机》今年2月,交易所平台通证争春,配合着各个交易所公链主网的进展,OKB、HT、MX轮番登台表演.
1900/1/1 0:00:00Web3基金会宣布资助云和区块链基础设施公司SecondState,将以太坊青睐的WebAssembly虚拟机引入Polkadot生态系统.
1900/1/1 0:00:002019年6月18日,Facebook发布了Libra白皮书及源码,引起了业界的广泛关注与讨论。这里我们通过分析Libra的源码,探索Libra的各个组件,来了解一下Libra的整体设计与实现.
1900/1/1 0:00:003月4日,印度最高法院最终对印度储备银行的银行禁令进行了裁决,判决支持了加密货币交易所和项目方上诉,裁定印度储备银行在2018年4月禁止金融机构向加密货币企业提供银行服务的行为违反宪法.
1900/1/1 0:00:00作者:LiangCHE来源:比推bitpush.news印度储备银行计划就本周早些时候最高法院的加密裁决提交复审申请.
1900/1/1 0:00:00前言:在一个高度波动的加密资产市场,短期的暴涨暴跌会让人怀疑人生。可以从两个方面来解开心结:一是切换到宏观视角,比特币十多年的历程可以给人更大的视野更长远的思考模式;二是找到比特币和加密货币价值.
1900/1/1 0:00:00