Corte localizado
HotStuff: cambio de vista, pacemaker y memoria segura
Cómo un nuevo líder recoge QCs, elige highQC y vuelve a proponer sin borrar la memoria de seguridad del protocolo.
Un timeout cambia el líder, no la historia
Cuando una vista deja de progresar, cada réplica envía al siguiente líder evidencia firmada de su QC más alto. El mensaje new-view transporta memoria verificable; no es una petición para empezar desde cero.
El líder selecciona evidencia, no una rama conveniente
El nuevo líder reúne 2f + 1 mensajes, verifica firmas y elige el QC de mayor vista. La siguiente propuesta debe extender esa punta o satisfacer la regla segura frente al lock local de cada réplica.
- highQC ordena evidencia por vista, pero toda firma y pertenencia al quórum se vuelve a verificar.
- Un líder bizantino no puede convertir una punta vieja en segura solo por repetirla.
El pacemaker separa seguridad de progreso
Las reglas de voto y lock preservan safety aun con retrasos; el pacemaker coordina vistas y timeouts para recuperar liveness después de la estabilización de la red. Esa separación evita atribuir al reloj una garantía criptográfica que no posee.
Referencias
[1]
HotStuff: BFT Consensus in the Lens of BlockchainTrabajo primario para cambio de vista lineal, highQC y chained HotStuff.
[2]
LibraBFT: State Machine Replication in the Libra BlockchainDescripción operacional del pacemaker y la adaptación de HotStuff.