The Certora Prover demonstrated the implementation of the Solidity contracts is correct with respect to the formal rules written by the Certora team. In addition, the team performed a manual audit of all the Solidity contracts.