The Certora team performed a manual audit of all contracts in the scope. During the audit, the team discovered bugs in the contract code, as listed on the report.

In addition to the manual audit, the Certora team wrote formal rules and verified them using the Certora Prover.