🚨JUST IN: @CertoraInc, sebuah perusahaan keamanan dan audit kripto, telah memperkenalkan Komposer AI sumber terbuka yang mengintegrasikan verifikasi formal langsung ke dalam kode kontrak pintar yang dihasilkan AI. Alat ini menjalankan pemeriksaan keamanan matematis sebelum dieksekusi.