
Security Audit & Formal Verification
Jito Restaking-V2
November 11, 2024
The second security verification of Jito Restaking (Oct 31 – Nov 11, 2024) uncovered 5 high, 3 medium, and 2 low-severity issues. Key risks include zero supply states breaking VRT ratios, incorrect asset unstaking, inconsistent token validation, inefficient state unpacking, and suboptimal PDA verification.