🚨刚刚消息：@CertoraInc，一家加密安全和审计公司，推出了一款开源AI Composer，将形式验证直接集成到AI生成的智能合约代码中。该工具在执行之前进行数学安全检查。