🚨JUST IN: @CertoraInc, una firma de seguridad y auditoría de criptomonedas, ha introducido un Compositor de IA de código abierto que integra la verificación formal directamente en el código de contratos inteligentes generado por IA. La herramienta realiza comprobaciones matemáticas de seguridad antes de la ejecución.