Tendermint visto desde HotStuff: locks, unlocks y evidencia

Un lock es memoria, no un “para siempre”

Si un validador ve suficientes prevotes por un valor, queda bloqueado y no debe votar valores conflictivos sin evidencia más fuerte. Pero un lock absoluto mataría la liveness; por eso Tendermint usa ValidRound y reglas de unlock que permiten avanzar sin abrir la puerta a dos historias.

El mismo drama con otro vocabulario

HotStuff mantiene lockedQC y propone extendiendo highQC; Tendermint usa LockedValue, LockedRound y ValidRound. Ambos negocian entre memoria de seguridad y necesidad de progreso, y ambos exigen transportar evidencia cuando cambia la ronda o la vista.

• prevote y precommit corresponden a votos y certificados.
• ValidRound cumple el papel de la evidencia que justifica una propuesta segura.

Evidencia y slashing también son parte del protocolo

La rotación de proposer permite avanzar si uno falla. Si un validador firma dos valores incompatibles, esa evidencia se propaga, se guarda durante una ventana válida y se castiga. Así el sistema no solo supone honestidad: la incentiva sin crear nuevos vectores de ataque.