SoK：基于重复共识在区块链中实现状态机复制

本文重访基于重复共识（如 Tendermint）在区块链中实现状态机复制这一普遍存在的问题。为在基于共识构建的区块链中实现状态机复制，需保证用户交易的公平性。过去多年中，关于状态机复制与共识之间关系的研究已在多种系统模型下并针对 varied 问题规范展开。我们通过提出新颖且严谨的状态机复制与重复共识抽象来系统化该工作，所基于的系统模型考量了现实区块链：其中区块可包含由一名或多名用户发出的若干交易，且区块内交易的有效性与顺序由可捕获文献中各类顺序公平性方法的外部应用相关函数决定。基于这些抽象，我们提出从状态机复制到重复共识的归约，使得用户公平性以共识模块为黑盒实现。该方法允许在基于重复共识的区块链中作为附加层置于已有共识模块之上来实现公平性。