La plataforma de pruebas Antithesis ha identificado errores en todas las implementaciones del protocolo de consenso Raft que ha analizado, entre ellas HashiCorp Raft, Aeron Cluster, OpenRaft y MicroRaft. Los fallos detectados violan la principal invariante del algoritmo, conocida como seguridad de la máquina de estados o entrega en orden total, y pueden provocar desde la corrupción silenciosa de datos hasta incidentes graves en sistemas distribuidos en producción.
Según la empresa, pese a que Raft dispone de una especificación formal en TLA+, una guía de implementación detallada y años de pruebas en producción, los errores persisten. Antithesis sostiene que ni la verificación formal ni las pruebas unitarias tradicionales bastan: las especificaciones no contemplan casos como la instalación de instantáneas, la sustitución de réplicas o la corrupción de paquetes, y los programadores, humanos o modelos de lenguaje, introducen desviaciones inevitables al traducir el modelo al código.
La compañía subraya que la detección de estos fallos no requirió conocimientos avanzados de sistemas distribuidos: bastó con una carga de trabajo de replicación de máquina de estados ejecutada en el entorno de simulación determinista de Antithesis, sometida a inyección agresiva de fallos. La empresa ha enviado los informes de errores a los proyectos afectados y enmarca los hallazgos como una reflexión sobre la dificultad de construir sistemas distribuidos correctos y la necesidad de mejores herramientas de prueba.