Proactive recovery in a Byzantine-fault-tolerant system | Synapse