Sui mengatakan di X bahwa @osec_io meninjau secara manual engine kontrak perpetual AftermathFi, sementara Certora menyelesaikan verifikasi dengan metode matematis. Menurut Odaily, kedua firma menggunakan pendekatan yang berbeda untuk meninjau basis kode yang sama. Pasar akan dibuka besok, dan kedua laporan audit akan dirilis secara publik.