01 | 拜占庭将军问题：有叛徒的情况下，如何才能达成共识？
该思维导图由 AI 生成，仅供参考
苏秦的困境
荧光笔
直线
曲线- 深入了解
- 翻译
- 解释
- 总结
本文通过生动的故事背景和具体的技术解决方案，帮助读者深入理解了拜占庭将军问题及其解决方法。文章以战国时期六国抗秦的故事为背景，通过苏秦面临的困境和二忠一叛的难题，生动地阐述了拜占庭将军问题的实际应用。在这个问题中，多个将军需要在可能存在叛徒的情况下达成共识，制定一致的作战计划。文章提出了两种解决办法，分别是口信消息型拜占庭问题之解和签名消息型拜占庭问题之解。通过这些解决方案，读者可以深入了解分布式系统面临的共识问题，以及如何应对这些挑战。文章还介绍了拜占庭容错算法和非拜占庭容错算法的应用场景，为读者提供了在实际场景选择合适的算法类型的建议。总的来说，本文对于理解拜占庭将军问题及其解决方法具有重要的参考价值。
《分布式协议与算法实战》，新⼈⾸单¥59
全部留言(83)
- 最新
- 精选
洛奇置顶看了这个专栏还有必要去看兰伯特的论文吗？作者回复: 实战，学习的最终目的，所以，我推荐，学习完后，多实战下，在实战中，加深自己对技术的理解，另外，遇到问题时，欢迎留言，咱们一起讨论。 有时间，可以读读自己感兴趣的论文，不过，在这里，我想补充的是，有时读论文是需要方法的，我来举个例子（如果没有学习本课程的话），兰伯特的Multi-Paxos，是出了名的难理解，那么，怎么学习呢？可以先研究Raft的论文，然后再去读Paxos的论文。
2020-02-13920
汤小高置顶签名那个不是很懂，老师后面答疑课能不能再详细说明下作者回复: 感谢反馈，签名消息型拜占庭问题之解，在 《加餐 | 拜占庭将军问题：如何基于签名消息实现作战计划的一致性》做了补充。
2020-02-12521
蓝魔丶首先觉得叛变对于个人来说肯定是有利可图的，没有利益的事情也就不愿意叛变，现在热门的区块链技术的先驱比特币就是采用了拜占庭容错算法POW，对于这种开放式的网络环境必须使用拜占庭容错算法，因为彼此无法建立信任关系。如果是企业内部的分布式中间件，因为只需考虑故障容错，不存在恶意节点，因为企业也不想没事找事是吧作者回复: 加一颗星:)
2020-02-11432
沉淀的梦想口信消息型的算法，按照递归一直做下去，需要 m + 1 轮，那么就要有 m! 量级消息要发送，如果 m 比较大的话，这网络通信量岂不是爆炸？作者回复: 赞！思考深入，这也是为什么会有种种的拜占庭容错算法，针对不同场景的。
2020-02-111028
cc正常的网络传输环境中，除了消息丢失和消息重复，消息出错(非恶意攻击的情况)应该也是有可能的吧？如果可能出现传输过程中的消息差错，非拜占庭式的容错是不是就不适合了？作者回复: 底层的协议和硬件，能保证消息不出错，比如IP checksum、TCP checksum等。在不存在恶意攻击的环境，非拜占庭容错，就可以了。
2020-02-12322
施耀南签名型可能的话可以具体点，不是很明白作者回复: 签名消息型拜占庭问题之解，本质上而言，表达的是，通过签名机制发现恶意行为，来避免“好人”被干扰和伤害。我讲个真实的故事，很多同学都知道，我们可以通过CA证书和SSL协议，实现文中提到的签名消息的2个特性，保证通讯消息不被恶意行为干扰，但是呢，在12年时，一些网络黑客，利用IE浏览器不检测证书签名，通过SSL中间人攻击，来截获SSL消息，获取通过HTTPS传输的金融账号的用户名和密码，但，这些人却无法对使用firefox的用户，发起攻击，为什么呢，就是因为，firefox会检查证书签名，判断消息是否是伪造的，也就是说，firefox通过签名消息，找出了“恶意消息”，避免了被攻击。
2020-02-12311
小晏子CFT：只容忍节点故障，不容热节点作恶。 BFT：容忍节点故障与作恶。 像bitcoin系统使用的必须是BFT算法，像现在在各企业微服务中使用的zookeeper等就是使用的CFT算法。作者回复: 加一颗星:)
2020-02-1428- 洛奇解法二： 当齐和楚都是叛将时，只有燕是忠将，有以下两种情形： 1、齐先发送作战信息（和楚先发送的情形是一样的）。 2、燕先发送作战信息。 情形 1 中， 如果齐->燕 为进攻， 则必有 齐->楚 为撤退，然后因为楚也是叛将，所以有 楚->燕 为 楚齐:进攻， 然后燕接收到楚的作战信息后发现齐的签名的信息被伪造了，并从接收到的伪造信息退出齐的作战信息原本应是撤退，与从齐直接接收到的作战信息相反，所以燕判断齐和楚都是叛将，然后燕就执行了默认的作战指令撤退。燕从齐直接收到撤退的作战信息后的结果也是一样。 情形 2 下，燕为发起作战信息者，所以不受两个叛将的任何影响，所以对于燕自己来说是共识是一致的。 经过以上分析，得出解法二“任何叛变行为都会被发现，也就会实现无论有多少忠诚的将军和多少叛将，忠诚的将军们总能达成一致的作战计划”，不知道我理解的对不对？
作者回复: 加一颗星:)
2020-02-1368 
陈在组织内部可信网络，或者组织与组织之间已经通过其他方式建立信任关系，使用非拜占庭容错算法。在未建立信任的组织间使用拜占庭容错算法。作者回复: 加一颗星:)
2020-02-1126
约书亚消息签名的第两个例子有点看不懂: 例2，齐和燕国通过对比楚的消息不一致就能发现问题，签名在其中的作用呢？ 同样，例1中燕能对比自身和楚发来的关于齐的计划，签名的作用呢？ 感觉这两个例子中楚都扮演着恶意i节点的作用，但似乎签名主要是解决中间人的问题(间谍)？作者回复: 签名保证的是消息和身份的不可伪造，并且可以通过验证签名真伪，发现恶意行为和恶意节点，也就是找出叛徒。 比如，例1中，燕对比消息，发现不一致，如果没有签名，它无法确定是齐叛变了，还是楚叛变了。 同理，在例2中，齐、燕发现消息不一致时，无法确认谁是叛徒。
2020-02-1176
