Paxos 与区块链

共识如何成立

Paxos 这部分从协议状态、消息交换和多数派之间的关系入手，分析哪些条件保证结果一致，哪些条件保证协议能够继续推进。

实验设计采用小规模节点和可控的消息顺序，分别改变消息延迟、乱序与节点故障，记录状态如何变化，并与协议的论证对照。

区块链中的验证与共识

区块链这部分关注交易验证、记录的组织方式和共识机制，以及它们各自依赖的密码学与信任假设。以具体协议为对象，分析节点如何判断一份记录有效、如何处理竞争的历史，以及结论在哪些条件下成立。

Paxos 的故障模型和开放区块链中的参与条件分别说明，再比较它们面对的问题与取舍。