Compound III (Comet) is a DeFi lending protocol that allows users to supply collateral assets and borrow a base token. The Comet Service Patch supplies a set of fixes and hardening measures covering six areas: extended pause, oracle paralysis prevention, collateral deactivation lifecycle, utilization cap, lender illiquidity prevention, and a test suite overhaul.

Certora's code review of these changes identified important security issues which were all resolved by the development team. The details of the methodology, findings, and responses can be found in the full report below.