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.

Certora Logo
logologo
Terms of UsePrivacy Policy