拜占庭容错分布式只增集合：规范与应用
分布式、并行与集群计算
2021-03-17 v1 数据结构与算法
摘要
为形式化分布式账本技术及其互连，近期一系列研究工作提出了分布式账本对象（DLO）概念，这是一种维护全序记录序列的并发对象，抽象了区块链与分布式账本。通过DLO，原子追加（Atomic Appends）问题——即需要一种能以原子方式向不同账本追加多条记录的原语——被研究为账本间的基本互连问题。本文中，我们提出分布式只增集合对象（DSO），其与DLO中维护记录序列不同，以不可变方式维护记录集合：仅提供Add与Get操作。该对象受无冲突复制数据类型中的只增集合（G-Set）数据类型启发。我们形式化规范了该对象，并提供了保障最终一致性的无共识拜占庭容错实现。随后，我们利用该拜占庭容错DSO（BDSO）实现，为原子追加及原子添加（应用于G-Set的原子追加类比问题）问题提供无共识算法解，并构建无共识单写者BDLO。我们认为BDSO的应用不限于上述问题。
引用
@article{arxiv.2103.08936,
title = {Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications},
author = {Vicent Cholvi and Antonio Fernández Anta and Chryssis Georgiou and Nicolas Nicolaou and Michel Raynal and Antonio Russo},
journal= {arXiv preprint arXiv:2103.08936},
year = {2021}
}