异构仲裁系统的仲裁包容
摘要：拜占庭准分系统在吞吐量方面优于工作证明，并且能够节约能源。此外，其现代化版本还加入了个性化和异质化的信任机制。因此，它们正逐渐成为全球金融基础设施的理想候选。然而，由于它们的准分不再是进程之间的均匀分配，支持可靠广播和共识等抽象问题的关键属性并不为人们充分理解。已经证明了准分交集和可用性是必要条件。本文证明它们并不足够。我们随后定义了准分包含的概念，并证明了三个条件的充分性：我们提出了可靠广播和共识协议，并证明了它们在提供这三个属性的准分系统中的正确性。
作者：Xiao Li, Eric Chan, Mohsen Lesani
论文ID：2304.04979
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-14