拜占庭容错分布式系统中获得信念的充分条件
分布式、并行与集群计算
2023-07-12 v2 多智能体系统
摘要
现有的拜占庭容错分布式系统协议通常依赖于正确智能体检测故障智能体和/或检测某些正确智能体上某事件或动作发生的能力。本文给出了充分条件下,智能体可从其历史中推断适当信念,并给出了可在有限时间内检验这些条件的步骤。因此,我们的结果为开发高效协议并证明其正确性提供了重要的基石。
引用
@article{arxiv.2304.00389,
title = {A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems},
author = {Thomas Schlögl and Ulrich Schmid},
journal= {arXiv preprint arXiv:2304.00389},
year = {2023}
}
备注
In Proceedings TARK 2023, arXiv:2307.04005