Certora conducted a manual security audit of Gyroscope Pools smart contracts within the Ethereum ecosystem from December 12th to December 24th, 2024. The following report provides details of findings and reviews.