This document details the specifications and verification of Token Extensions using the Certora Prover. The work was conducted from January 2, 2024, to May 15, 2024. This report provides an overview of the findings and reviews.