BenchCore MIR Application State Replication Engine [ASRE] For benOS's Decentralized Networking Framework.