SightSteeple：以功能性区块链共识达成“存异”之共识

经典与当代的分布式共识协议，无论是二元协定、状态机复制还是区块链共识，都要求点对点系统中所有协议参与者就完全相同的共识载荷信息达成一致。尽管这种共识模型已被广泛研究，且对大多数基于共识的去中心化应用有用，但它未能定义正确的分布式系统——这类系统通过共识协议本身强制要求基于参与者凭证的对共识载荷的特权可见性。我们引入一种称为功能性区块链共识的分布式共识新范式。功能性区块链共识允许每个区块链协议参与者根据其在区块链系统中的凭证，就交易列表的某些不同子信息达成一致，而非就整个交易列表达成一致。我们提出两种对手模型来破坏功能性区块链共识：一种是标准崩溃故障对手，另一种是新提出的理性故障对手。随后我们给出名为 SightSteeple 的区块链协议的两个版本，在上述故障模型中实现功能性区块链共识。SightSteeple 依靠标准区块链共识与功能加密等原语的新颖组合来实现其正确性目标。最后，我们讨论了基于功能性区块链共识的非对称分布式账本的实际用途，并提出了可由这一新共识范式衍生出的旁支构造。