Hot: algoritmo-consensenso