✨ CÁTEDRA HOTSTUFF 2.0|77 Entregas de Consenso BFT & Agentes IA→

Del paper al laboratorio: sistemas distribuidos con evidencia reproducible.

TrautsLab conecta la teoría académica de consensos (HotStuff, ResilientDB, DAG-BFT) con simulaciones, benchmarks e infraestructura auditable. El proveedor es una herramienta del experimento, nunca el tema central.

Explorar Cátedra HotStuff→Explorar laboratorios
hotstuff_replica.ts
// 1. Instanciar cluster BFT con quorum n >= 3f + 1
const cluster = new HotStuffCluster({ n: 4, f: 1 });

// 2. Propuesta de lider con certificado parentQC
const proposal = await cluster.leader.proposeBlock({
  view: 12,
  parentQC: highQC,
  payload: ['tx1', 'tx2', 'tx3'],
});

// 3. Regla de 3 cadenas: prepare -> precommit -> commit
const prepareQC   = await cluster.votePrepare(proposal);
const precommitQC = await cluster.votePrecommit(prepareQC); // lock
const commitQC    = await cluster.voteCommit(precommitQC);  // decide

console.log('Status:', commitQC.isFinalized); // true
Verificacion formal:Safety & Liveness TLA+ OK

Cátedra Canónica

77 Capítulos

HotStuff: de cero a estado del arte

Quórum Mínimo

n ≥ 3f + 1

Invariante de tolerancia bizantina

Garantía de Liveness

Pacemaker O(n)

Sincronía parcial tras GST

Motores en C++

ResilientDB

Implementación de alta frecuencia

TRES PILARES DE INVESTIGACIÓN

Fundamentos, Arquitectura y Producción

Un mapa modular para dominar desde los conceptos teóricos fundamentales de fallas bizantinas hasta motores distribuidos de alto rendimiento.

01

Fundamentos & Consenso BFT

PBFT, SMR, quórums de 2f+1, teorema FLP, sincronía parcial y la regla de 3 cadenas de HotStuff explicados paso a paso.

02

Arquitectura & Escalabilidad

Pipelining lineal, Fast-HotStuff AggQC, desacoplamiento con mempools DAG (Narwhal/Tusk, Bullshark y Mysticeti).

03

Producción & Agentes IA

Motores C++ (ResilientDB), verificación formal TLA+, slashing, firmas BLS e integración de consenso con Agentes IA.

RUTAS GUIADAS

Selecciona tu ruta de aprendizaje

Cada ruta define el nivel de entrada, los prerrequisitos y los resultados concretos que sabrás construir al completar la serie.

Consenso distribuido77 capítulos · 15 disponibles

HotStuff

Entenderás qué evidencia mueve cada fase y podrás leer un paper de la familia HotStuff sin saltos de fe.

Nivel
De fundamentos a avanzado
Para quién
Ingeniería distribuida, ciberseguridad y matemática aplicada
Ver ruta
Infraestructura como código7 lecturas

Terraform

Podrás diseñar un laboratorio repetible, revisar su plan y recuperar su estado sin convertir IaC en una caja negra.

Nivel
Fundamentos a intermedio
Para quién
Cloud, platform engineering y laboratorios técnicos
Ver ruta

PUBLICACIONES DESTACADAS

Investigaciones recientes

Ver todas las publicaciones →
Terraform en CI/CD: planes revisables y credenciales que caducan
TerraformEngineering guide

Terraform en CI/CD: planes revisables y credenciales que caducan

Arquitectura segura de CI/CD para Terraform/OpenTofu: plan de PR, apply protegido, OIDC, credenciales efímeras, concurrencia y artefactos sensibles.

6 min
Terraform operacional: drift, import y recuperación con evidencia
TerraformEngineering guide

Terraform operacional: drift, import y recuperación con evidencia

Cómo diagnosticar y recuperar drift en Terraform/OpenTofu distinguiendo configuración, state y objetos remotos; import, refresh-only y cirugía segura.

6 min
Módulos Terraform: composición, contratos y límites que sí explican
TerraformEngineering guide

Módulos Terraform: composición, contratos y límites que sí explican

Diseño de módulos Terraform/OpenTofu como contratos: inputs, outputs, providers, invariantes, compatibilidad y composición sin cajas negras.

6 min