问责安全意味着最终性
摘要：具有可证明的权威性意味着达成最终一致性,在这种情况下,只要验证者中少于一定比例是恶意的, 即使在允许暂时违反假定网络延迟界限的部分同步环境中，协议仍保持一致性。在一致性不确定性情况下，可追溯的安全性意味着一定比例的验证者可以被确定为明显违反了协议。较早的工作分别为这些属性提供了不可能性结果和协议构建。我们表明，可追溯的安全性意味着最终一致性，从而统一了之前的结果。
作者：Joachim Neu, Ertem Nusret Tas, David Tse
论文ID：2308.16902
分类：Cryptography and Security
分类简称：cs.CR
提交时间：2023-09-01