Proof: SMR Reduces to Byzantine Broadcast
ref https://www.youtube.com/watch?v=fJ5gCVWfCiQ
基于BB subroutine为SMR设计的protocol可同时满足consistency和liveness。
- rotating leaders, round-robin
- 运行BB protocol, sender = current leader, v* = 交易历史 ref https://write.as/xytang/byzantine-broadcast-problem-and-smr
- 每个节点将交易历史v1存入本地
Why correct, i.e. 同时满足consistency和liveness？
- BB agreement –> consistency 每一步所有honest存入本地的交易历史都是相同的
- BB validity –> liveness 所有honest nodes都会将交易历史存入本地