The Cost of Garbage Collection for State Machine Replication