Jito Restaking V2

CertoraCode version: not recorded (see the report)

Audit · firm’s term: security assessment & formal verification · Includes formal verification

Certora reviewed Jito (Jito Restaking V2) on 11 Nov 2024: 7 findings, 0 critical; 6 marked fixed, 1 open.

No open critical findings
Open the reportOpen Jito’s security record

Report hosted on GitHub.

Trustblock does not review code.

Findings7

Statuses are the security firm’s own, from its report.

SeverityOpenAcknowledgedFixed
Critical000
High002
Medium102
Low002
HighIncorrect Asset Unstaking Logic Leads to Over-UnstakingFixed

The report gives no description here.

HighZero Supply States Can Permanently Break VRT: Token RatioFixed

The report gives no description here.

MediumInconsistent Token Program Usage and Validation Creates Potential VulnerabilitiesFixed

The report gives no description here.

MediumMissing Maximum Bounds Validation in Fee Rate ControlsFixed

The report gives no description here.

LowInconsistent Epoch Calculation MethodsFixed

The report gives no description here.

LowVaultStakerWithdrawalTicket Uses Suboptimal PDA Address VerificationFixed

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

Jito
Audits1 audit by 1 firmLast audit Jan 2025, by Certora.
Critical findingsNo open critical findingsIn that report, 6 critical findings were reported. Each is marked fixed by the firm that reported it.
Open Jito’s security record

Security firm

Certora

20 projects reviewed · 46 reports · latest Aug 2026

See Certora’s audits

Something 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