Certora conducted a manual security audit of Doppler's Solidity smart contracts from November 4 to November 11, 2024, identifying multiple vulnerabilities, including fund-draining risks, frontrunning vectors, and missing validation checks. The following report provides details of these findings and reviews.