🚨JUST IN: @CertoraInc, uma empresa de segurança e auditoria de criptomoedas, lançou um Compositor de IA open source que integra a verificação formal diretamente ao código de smart contract gerado por IA. A ferramenta executa verificações matemáticas de segurança antes da execução.