Jito Restaking V1
Audit · firm’s term: security assessment & formal verification · Includes formal verification
Certora reviewed Jito (Jito Restaking V1) on 19 Sep 2024: 22 findings, 0 critical; 15 marked fixed, 7 open.
Findings22
Statuses are the security firm’s own, from its report.
| Severity | Open | Acknowledged | Fixed |
|---|---|---|---|
| Critical | 0 | 0 | 0 |
| High | 0 | 0 | 4 |
| Medium | 3 | 0 | 4 |
| Low | 4 | 0 | 7 |
HighDelayed Vault Updates do not Properly Account for Multiple EpochsFixed
The report gives no description here.
HighFee Collection Inaccuracies and Inconsistencies in Vault Reward SystemFixed
The report gives no description here.
HighPremature State Transition in SlotToggle Deactivation ProcessFixed
The report gives no description here.
HighToken Denomination Mismatch in VRT Reserve CalculationFixed
The report gives no description here.
MediumFee Calculation is not in Favor of the ProtocolFixed
The report gives no description here.
MediumInconsistent and Unchecked Basis Points (BPS) ValuesFixed
The report gives no description here.
MediumInconsistent Zero-Value HandlingFixed
The report gives no description here.
MediumOverflow Risk in 64-bit CalculationsFixed
The report gives no description here.
LowAlignment Issues in Structures used with BytemuckFixed
The report gives no description here.
LowFaulty VRT Mint Parameters in Vault InitializationFixed
The report gives no description here.
Show 5 more
LowIncomplete Admin Reset in SetAdmin FunctionFixed
The report gives no description here.
LowSimplification of WithdrawAssets Instruction ImplementationFixed
The report gives no description here.
LowUnnecessary call in MintTo InstructionFixed
The report gives no description here.
LowUnrecoverable Error Handling Across the CodeFixed
The report gives no description here.
LowUnsafe Handling of Mint in WithdrawAssets InstructionFixed
The report gives no description here.
Contracts in scope
No deployed address is recorded for this audit.
The report names a repository or files. Open the report to see its scope.
Part of Jito’s security record
JitoSecurity firm
Certora20 projects reviewed · 46 reports · latest Aug 2026
See Certora’s auditsSomething wrong on this page? A missing report, a wrong date, a finding that was fixed since. Tell us and we check it against its source.
Tell us