This document describes the specification and verification of the Curve Crypto
Pools using the Certora Prover and manual code review findings. The work was undertaken from 11th November 2023 to 4th February 2024. The latest commit reviewed manually and run through the Certora Prover is 6d9d4f5487