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 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.

翻译：现有的拜占庭容错分布式系统协议通常依赖于正确节点检测故障节点和/或检测某些正确节点上发生的事件或行为的能力。在本文中，我们提出了使节点能够从其历史记录中推断出适当信念的充分条件，以及一种允许在有限时间内检查这些条件的程序。因此，我们的研究结果为开发高效协议并证明其正确性提供了重要的基础。