同步可靠网络环境中区块链系统状态机研究

目前区块链状态机研究较少，存在模型建立粗、逻辑不清晰、应用性不强问题。通过分析区块链底层常见的工作量证明(PoW)、权益证明(PoS)、拜占庭容错(BFT)、实用拜占庭容错(PBFT)共识机制进行状态机研究。设定区块链处于同步可靠网络环境时，从中抽象出分布式账本系统(DLT),构建并定义任一时间点时DLT的状态机模型。给出状态机的强状态无关、弱状态无关、随机态三种定义。使用状态机分别对不同的共识机制进行识别分析，分别得到PoW为随机态、BFT和PBFT为强状态无关、PoS为非弱状态无关的推论，并对其进行证明。