Agora, un marco de pruebas automatizadas desarrollado por 0G Labs en colaboración con la Universidad Nacional de Singapur, la Universidad de Pekín y la Universidad de Correos y Telecomunicaciones de Beijing, ha sido aceptado en ICML 2026. Este innovador marco integra conocimientos específicos del dominio de sistemas distribuidos con una arquitectura colaborativa de múltiples agentes para detectar vulnerabilidades en protocolos de consenso. Agora ha identificado con éxito 15 errores lógicos profundos previamente desconocidos en importantes protocolos de consenso como Raft, EPaxos, HotStuff y BullShark. Estas vulnerabilidades incluyen divergencia de ejecución, violaciones de monotonía, fallos de topología y errores en la verificación de firmas. El mecanismo de pruebas basado en hipótesis y la colaboración multiagente del marco permiten un análisis de seguridad exhaustivo, superando a los principales modelos de lenguaje grande como GPT-5.2 y Claude 4.5 en la detección de vulnerabilidades a nivel de protocolo. El diseño de Agora permite aplicaciones futuras en el control de concurrencia de bases de datos, núcleos de sistemas operativos y auditoría de contratos inteligentes en Web3.