Sui nói trên X rằng @osec_io đã tự tay rà soát công cụ hợp đồng vĩnh viễn (perpetual contract engine) của AftermathFi, trong khi Certora hoàn tất việc xác minh bằng các phương pháp toán học. Theo Odaily, cả hai công ty đã sử dụng những cách tiếp cận khác nhau để rà soát cùng một cơ sở mã (codebase). Thị trường sẽ mở vào ngày mai và cả hai báo cáo kiểm toán sẽ được công bố công khai.
