The Jito Restaking Security Assessment & Formal Verification Report (V1) identified 7 high-severity and 7 medium-severity issues. Key concerns include token denomination mismatches, vault update delays, fee inaccuracies, and overflow risks.

The assessment, conducted between August 8 and September 19, 2024, utilized manual code review and the Certora Prover for formal verification.