Sui said on X that @osec_io manually reviewed AftermathFi's perpetual contract engine, while Certora completed verification using mathematical methods. According to Odaily, both firms used different approaches to review the same codebase. The market will open tomorrow, and both audit reports will be released publicly.