This report summarizes the security assessment and formal verification of the infiniFi protocol conducted from March 21 to May 20, 2025. The document details vulnerabilities identified through Certora Prover verification and manual review, highlighting key findings and recommendations for protocol robustness and secure implementation.