This document describes the specification and verification of the Ajna protocol using the Certora Prover and manual code review findings. The work was undertaken from the 16th October 2023 to the 20th November 2023. The latest commit reviewed and ran through the Certora Prover was dc4984.