超速小飞象共识协议
健壮的区块链系统需要异步共识
公共账本
保证可以正确写入
保证可以正确读取
智能合约
正确执行
条件执行
拜占庭共识
有效性规定了输出具有一定意义：输出是诚实节点的输出
区块链共识
BFA是一次性共识，区块链需要的是持续运行的共识协议
交换机出错6分钟，认为Raft的不够科学
最终同步网络模型：已知分片有限，不知道什么时候可以恢复
异步网络模型：刻画了TCP的模型
性能瓶颈
确定性算法无法解决异步共识问题
蜜罐100个节点需要10分钟进行共识
小飞象主要在轮复杂度进行了优化
P2P网络中如何实现广播通信：RBC协议，最终获得相同的消息或者都不获得消息
ABA:对0/1实现共识，保证输出一定来自于至少一个诚实节点，随机化算法，并行的多个实例的停机时间影响效率
RBC结束了就投票0，未结束投票1
1个MVBA替换n个ABA，实际只需要2-3个ABA
思想是实现MVBA的输出是RBC是否完成的投票
超速小飞象
解决提到的两个问题
Totality要求一个节点收到消息，其他节点也必须要收到
PB 即发送者收到足够多的签名时即可保证f+1个诚实节点收到相同的广播消息
MVBA是导致延迟的主要原因
