In the midst of chaos

一种Byzantine问题的通用解决方案，但实际不常用，因为依赖synchronous model以及慢

当honest non-senders识别出sender发送不一致的消息，就会认定这是个Byzantine sender并一致忽略

节点如何被convince？ref https://photos.app.goo.gl/6C9vRFcAQEDWuuq99

最后protocol be like https://photos.app.goo.gl/9G8wiXqVEv3e7xgw7

• 每增加一个faulty节点，就增加一轮交叉验证，一共f+1轮
• 如果一个节点被convince超过一个v，则认为是Byzantine sender