BFT Protocols Under Fire
A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm