Tsampi BFT es un protocolo de replicación de estado tolerante a fallos bizantinos (BFT) sin líder y basado en rondas de voto únicas por bloque propuesto. A diferencia de otros sistemas BFT, no nombra un validador antes de crear una propuesta: cualquier validador elegible que reúna una ronda de votos para un padre exacto puede construir un Bloque Propuesto. La temporización de las propuestas se prioriza mediante una puntuación de carrera exponencial ponderada por stake, de modo que una mejor puntuación nunca aplaza la fecha límite de un proponente anterior.
El protocolo separa tres decisiones que muchos sistemas BFT combinan: quién puede proponer, qué Bloque Propuesto debe preferir un nodo y cuándo un bloque es final. Para resolverlo, introduce una cadena de votos con doble enlace: cada voto referencia tanto la causalidad de linaje del bloque (PrevVote) como el voto anterior del mismo validador (PrevSelfVote). Así, dentro de un mismo intervalo de CoveredBlock, los votos aceptados de cada validador forman una cadena cuyo objetivo mejora estrictamente en el orden determinista, sin revocaciones ni reasignaciones.
La finalidad se divide en dos cuotas de supermayoría estricta (más de dos tercios del stake). Q1 fija el QuorumBlock y Q2, deduplicada de forma independiente, fija el CoveredBlock. Con un conjunto de validadores estable y un umbral de aprobación de al menos dos tercios, el génesis alcanza QuorumBlock en el bloque 2 y CoveredBlock en el bloque 3, manteniendo un desfase de un bloque en régimen permanente. El umbral de admisión de propuestas se parametriza de forma independiente: puede ser más bajo sin rebajar el exigido para la finalidad.
El artículo formaliza el modelo (firmaturas inalterables, stake fijado por el padre, stake bizantino ≤ 1/3) y aporta pruebas verificadas por máquina de seguridad con conjunto fijo, completitud y solidez de evidencia, y seguridad condicional ante cambios de conjunto. También establece un límite de historial dependiente del número de validadores.