Existing protocols for byzantine fault tolerant distributed systems usually rely on the correct agents' ability to detect faulty agents and/or to detect the occurrence of some event or action occurring on some correct agent. In this paper, we provide sufficient conditions that allow an agent to infer the appropriate beliefs from its history, and a procedure that allows these conditions to be checked in finite time. Our results thus provide essential stepping stones for developing efficient protocols and proving them correct.
翻译:存在的byzantine容错分布式系统协议通常依赖于正确的代理能够检测到错误的代理和/或检测到某些事件或操作发生在某个正确的代理上。在本文中,我们提供了充分的条件,允许代理从其历史中推断出适当的信念,并提供一个程序,允许在有限时间内检查这些条件。因此,我们的结果为开发高效的协议和证明其正确性提供了基本的步骤。