The Certora Prover demonstrated that the implementation of the Solana contracts is correct with respect to the formal rules written by the Certora team. The detailed findings and Solana responses can be found in the full report below.