Selon Sui sur X, @osec_io a examiné manuellement le moteur du contrat à terme perpétuel d’AftermathFi, tandis que Certora a terminé la vérification en utilisant des méthodes mathématiques. D’après Odaily, les deux sociétés ont employé des approches différentes pour examiner la même base de code. Le marché ouvrira demain, et les deux rapports d’audit seront publiés publiquement.