🚨ACABOU DE CHEGAR: @CertoraInc, uma empresa de segurança e auditoria de criptomoedas, apresentou um AI Composer de código aberto que integra a verificação formal diretamente no código de contratos inteligentes gerado por IA. A ferramenta realiza verificações matemáticas de segurança antes da execução.