The Certora audited Mayan protocol, conducted from March 3rd to March 10th, 2025, provides an in-depth specification review and manual code assessment of the FastMCTP contract. The following report provides details of the findings and reviews.