BOS共识协议ISAAC第二版本发布

我们之前的文章“BOSNet的ISAAC共识协议介绍”介绍了ISAAC的概念; 为了完善协议还有更多的挑战。其中，我们正在努力澄清网络的稳健性，并在此基础上构建基于法定人数的健壮网络拓扑。

基于“FLP不可能性定理[1]“以及SCP文档中对错误节点的理论分析，我们根据共识创建了成功和失败案例，并根据法定人数安全性，活跃性和容错性对案例进行了分类。通过分析以下案例，我们旨在丰富我们的理解，以建立更好的BOSNet。

共识协议的性质 - 使用FLP不可能性定理

为了提出一个稳健的网络，我们需要初步确定构成其各自质量的属性，包括将理论和概念纳入分布式系统。Fischer，Lynch和Patterson发表

的“FLP不可能性定理[1] ” 是分布式系统中最有影响力的结果。他们的论文“分布式一致性不可能，一个错误的流程”解决了分布式计算中的长期争议。本文的结果被广泛称为“FLP结果”，表明没有单一的分布式算法可以解决异步系统中的共识问题。

根据FLP定理，强烈的共识形式需要保证以下三个属性：

协议：所有节点输出相同的值。

有效性：值小号已经决定必须已经提出了在网络中的某个节点。

终止：所有非故障节点最终输出一个值。

DavidMazières的'互联网水平共识很实用'（ILC）的演讲综合了这三个属性，并确定共识协议同时无法同时满足以下三个属性：

安全（协议+有效性）：产生的所有产出具有相同的价值（协议），产出值等于代理人的投入（有效性）之一

活力（终止）：最终无故障的代理将输出一个值（终止）

容错：在任何时候恢复网络/代理失败的共识。失败停止协议可以处理代理崩溃。拜占庭容错协议能够处理任意代理行为。

实际上，在一个异步系统中，没有确定性共识协议能够保证安全性，活跃性和容错性的所有三个要素。继续从ISAAC第1部分或ISAAC版本开始，此版本将说明我们实际用于制定更明确的协议的各种测试用例。这些案例是我们ISAAC如何达成共识的基础; 这些测试的结果使我们能够确定要实施的属性。

在ISAAC上实施测试方案

我们审问了以下几个案例，以验证ISAAC法定人数的有效性。

常见案例：在法定交集中，共同节点的数量会影响达成共识。

深相交的法定人数：虽然法定人数可能严重相交，但仍可能发生安全失败。

具有很多额外功能的安全失败：如果额外节点（数量巨大）多于普通节点，则可能导致安全失败。

花形：此拓扑设计（如第1部分中所述）是确保法定人数安全的理想形式。

原文连接：https://boscoin.io/article/introduction-of-isaac-consensus-protocol-for-bosnet-part2/