The Certora Prover demonstrated that the implementation of the Solana 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 Solana contracts.