🚨剛剛消息：@CertoraInc，一家加密貨幣安全和審計公司，推出了一個開源的AI Composer，將形式驗證直接整合到AI生成的智能合約代碼中。該工具在執行之前進行數學安全檢查。