This report presents the security assessment and formal verification of the Stake Deposit Interceptor, conducted between November 24, 2024, and December 13, 2024, using manual code review and Certora Prover. The assessment identified a critical issue where a cooldown timestamp could overflow, leading to incorrect cooldown calculations and potential disruptions in staking operations.