Hot: distributedconsensus