网络安全技术刘振上海交通大学计算机科学与工程系电信群楼3-509
网络安全技术 刘振 上海交通大学 计算机科学与工程系 电信群楼3-509 1
比特币的共识机制共识基本概念、共识技术发展路线及分类比特币的共识机制
比特币的共识机制 ◼ 共识基本概念、共识技术发展路线及分类 ◼ 比特币的共识机制
共识基本概念、共识技术发展路线及分类
共识基本概念、共识技术 发展路线及分类
共识的基本定义在一个分布式系统中，为了使得整个系统正常工作，一个久远而又核心的问题就是如何保证系统中所有节点的数据完全相同并且能够对发起的提案达成一致共识算法就是用来解决上述问题，从而保证分布式系统一致性的方法共识定义：--终止性(Termination）：所有正常运作的进程（节点）最终会在有限步数中结束并做出决定，算法不会无尽执行下去-一致性：所有进程必须做出相同的决定（意见一致Agreement)：如果所有进程都提议相同的初始决定值，那么所有正确进程都应选择该值（行为统一Integrity)）-有效性(Validity)：最终达成一致的决定必须是其他进程提交值中的某一个
• 在一个分布式系统中，为了使得整个系统正常工作，一个久远而又核 心的问题就是如何保证系统中所有节点的数据完全相同并且能够对发 起的提案达成一致 • 共识算法就是用来解决上述问题，从而保证分布式系统一致性的方法 • 共识定义: - 终止性(Termination)：所有正常运作的进程（节点）最终会在有限步 数中结束并做出决定, 算法不会无尽执行下去 - 一致性: 所有进程必须做出相同的决定(意见一致 Agreement)；如果所有进程都提议相 同的初始决定值，那么所有正确进程都应选择该值(行为统一Integrity) - 有效性(Validity): 最终达成一致的决定必须是其他进程提交值中的某一个 共识的基本定义
FLPimpossibility定理FLPImpossibility（FLP不可能性）是分布式领域中一个非常著名的定理，该定理由Fischer，Lynch，Patterson于1985年提出，相关论文获得了Dijkstra奖。FLP不可能定理表明：在异步通信场景（没有时钟、不能时间同步、不能使用超时、不能探测失败、消息可任意延迟、消息可乱序），即使只有一个进程失败，没有任何算法能保证非失败进程达到一致性！
• FLP Impossibility（FLP不可能性）是分布式领域中一个 非常著名的定理，该定理由Fischer, Lynch, Patterson于 1985年提出，相关论文获得了Dijkstra奖。 • FLP不可能定理表明：在异步通信场景（没有时钟、不能 时间同步、不能使用超时、不能探测失败、消息可任意延 迟、消息可乱序），即使只有一个进程失败，没有任何算 法能保证非失败进程达到一致性！ FLP impossibility定理