A New Hybrid Consensus Protocol: Deterministic Proof Of Work
A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm