Sui sagte auf X, dass @osec_io die Perpetual-Contract-Engine von AftermathFi manuell überprüft habe, während Certora die Verifizierung mit mathematischen Methoden abgeschlossen habe. Laut Odaily nutzten beide Unternehmen unterschiedliche Ansätze, um denselben Codebestand zu prüfen. Der Markt wird morgen öffnen, und beide Prüfberichte werden öffentlich veröffentlicht.