This document describes the specification and verification of the Kamino Lending Protocol using the Certora Prover and the manual code review of two consecutive audits. The work was undertaken from November 4, 2024 to December 13, 2024, as well as from February 3, 2025 to February 21, 2025