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