¿Qué suposiciones sobre la sincronía de la red son necesarias para que las garantías de finalización de Babylon sigan siendo válidas?