Réplicas. Siete réplicas ejecutan el mismo protocolo y hasta dos pueden fallar (n = 3f + 1).
Ruta HotStuff: 47 capítulos, en orden de lectura →
Consenso BFT, blockchain y sistemas distribuidos explicados desde el mecanismo —quórums, PBFT, HotStuff, DAG-BFT— y llevados a código que puedes ejecutar.
Cómo se trabaja aquí
La investigación es el centro. El laboratorio y la operación existen para probarla, medirla o romperla.
Leemos el paper hasta su mecanismo: qué supone el modelo, qué invariante protege y qué evidencia lo sostiene.
Ruta HotStuffLa idea se vuelve código ejecutable: simulaciones, verificaciones y benchmarks que puedes correr y modificar.
lab.trautslab.dev (abre el laboratorio en otro sitio)Las mismas ideas en la operación real de activos digitales: custodia, wallets, llaves, firmas MPC y cumplimiento AML/KYT.
Ruta prácticaRutas guiadas
Cada ruta indica nivel, prerrequisitos y qué sabrás hacer al terminar. Puedes dejarla y retomarla cuando quieras.
Consenso distribuido
Entenderás qué evidencia mueve cada fase y podrás leer un paper de la familia HotStuff sin saltos de fe.
Blockchain en práctica
Podrás leer una transacción, un contrato y un evento con criterio, y diseñar depósitos y retiros que respeten finalidad, reorgs y riesgos de firma.
Plataformas
Podrás separar lo que decide el runtime de lo que hace el nodo, seguir un bloque desde la red hasta su finalidad y decidir dónde se enchufa un consenso propio.
Lo último
Sistemas distribuidosNota de investigación
Cuando una wallet es de autocustodia, algo de nuestro lado firma. Este capítulo ubica cada componente en la red, dice qué llave toca cada uno y quién puede llamarlo, y termina con una plantilla de diagrama de despliegue del firmante.
Sistemas distribuidosNota de investigación
Si muchos clientes comparten una wallet, la cadena solo sabe cuánto hay; el libro interno sabe de quién es. Este capítulo diseña ese libro: cómo se atribuye cada depósito, cuándo se acredita y cómo se concilia cada día.
Sistemas distribuidosNota de investigación
BitGo no documenta un producto llamado market maker. Qué ofrece Global Markets, cómo liquida Go Network fuera de la cadena y qué límites y conciliación exige a nuestro libro.
lab.trautslab.dev
En el laboratorio cada idea es un programa que avanzas paso a paso y ejecutas en el navegador. Empieza por cómo se forma un quorum certificate.