Del paper al laboratorio
Sistemas distribuidos explicados desde el mecanismo.
Papers de consenso BFT leídos con calma: qué supone cada protocolo, qué invariante protege y cómo comprobarlo con un laboratorio reproducible.
Lecturas disponibles en tres idiomas
Estas lecturas existen en español, inglés y portugués. El resto de la biblioteca está escrita en español.
- HotStuff: QC, highQC y la regla de tres cadenasUna lectura visual y rigurosa de los certificados de quórum, la memoria highQC y la regla de commit de tres cadenas.Español
- HotStuff: cambio de vista, pacemaker y memoria seguraCómo un nuevo líder recoge QCs, elige highQC y vuelve a proponer sin borrar la memoria de seguridad del protocolo.Español
- Firmas BFT: threshold, agregación y la evidencia de AggQCCómo distinguir votos sobre el mismo mensaje, reportes de vista distintos y la prueba que un líder transporta durante un cambio de vista.Español
- Consenso BFT desde cero: réplicas, quórums y fallas bizantinasQué problema resuelve la tolerancia a fallas bizantinas, por qué aparece n ≥ 3f + 1 y cómo separar safety de liveness antes de leer HotStuff.Español
- Uno, dos y tres chains: la taxonomía de commit antes de HotStuffCuántas certificaciones consecutivas necesita un protocolo para decir “esto ya no se mueve”, y cómo esa respuesta prepara QC, highQC y Fast-HotStuff.Español
- Tendermint visto desde HotStuff: locks, unlocks y evidenciaCómo leer Tendermint con el lente de HotStuff: prevote, precommit, LockedValue, ValidRound, rotación de proposer, evidencia y slashing.Español