Byzantine Nodes and SMR
ref https://www.youtube.com/watch?v=fJ5gCVWfCiQ
Honesty is not about intention but about behaviour. 对于一个节点，即便它没有任何不好的意图，仍然会因为外部因素，例如网络问题，产生deviation并成为一个faulty node。
Faulty类型
- Crash. 在rotating leader的情况下，如果crash的节点是leader节点，会丢失交易信息，满足consistency但不满足liveness
- Omission. 选择性的忽略消息，满足liveness但不满足consistency
- Byzantine. No assumption. Behave in inconsistent way.
更新SMR问题第四个假设 ref https://write.as/xytang/jie-jue-smrwen-ti-de-si-ge-jia-she
- Old: all nodes are honest
- New: some nodes are honest
引入一个新变量f，表示最大faulty nodes数量；一共n个节点，n-f个honest nodes。这里的tricky之处在于，哪f个节点faulty是不知道的。