Calibra首席研究员：LibraBFT算法可能具有安全性和活动漏洞，Twins系统可以尝试解决它

写在前面：原始作者是天秤座Calibra数字货币钱包项目的首席研究员Dahlia Malkhi。在本文中，她介绍了Calibra团队新开发的Twins拜占庭容错（BFT）系统检测方法，用于检测LibraBFT算法相关的安全性和活动漏洞。

但是，当无法检测到拜占庭节点的偏离行为时，它们很可能会成功破坏BFT协议。也就是说，最强大的拜占庭式攻击实际上是内部 攻击者以正确的格式发送消息，并且他们与其他节点的交互似乎也遵循协议 文件1 纸2

Calibra的Twins解决方案

关于有趣的拜占庭行为

n=3f+1 f 存储协议 查询协议 这里

系统生成有趣的场景

1. 我们创建了一些简单的场景，每个场景都有少量的服务器和少量的交换步骤。
2. 在每个交换步骤中，我们选择f个服务器进行排除：第一个客户端从阶段1和阶段2排除{D}，第二个客户端从阶段1排除{A}，依此类推；
3. 我们允许拜占庭服务器C返回到旧状态并以旧值进行响应；

1. 交换1：与{A，B，C}的客户端1阶段1；
2. 交换2：与{A，B，C}的客户端1阶段2；
3. 交换3：与{B，C，D}的客户端2阶段1；
4. Exchange 4（部分）：带有{A，C}的客户端2阶段2（并崩溃）；
5. 交换5：带有{B，C，D}的client-3，其C的内部状态被擦除。

总结一下

https://www.8btc.com/article/592567