Fragmetric v1
Audit · firm’s term: security assessment & formal verification · Includes formal verification
Certora reviewed Fragmetric Restaking Program (Fragmetric v1) on 21 Oct 2024: 6 findings, 1 critical; 2 marked fixed, 4 open.
1 open critical finding
Open the reportOpen Fragmetric Restaking Program’s security record
Report hosted on GitHub.
Trustblock does not review code.
Findings9
Statuses are the security firm’s own, from its report.
| Severity | Open | Acknowledged | Fixed |
|---|---|---|---|
| Critical | 1 | 0 | 0 |
| High | 1 | 0 | 0 |
| Medium | 0 | 0 | 1 |
| Low | 2 | 0 | 1 |
CriticalWithdrawals are not working for deposited tokensOpen
The report gives no description here.
HighfragSOL token cannot be transferredOpen
The report gives no description here.
LowClaiming of rewards for users not implementedOpen
The report gives no description here.
LowPossible to DOS deposits with repeated deposits/withdrawalsOpen
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 Fragmetric Restaking Program’s security record
Fragmetric Restaking ProgramAudits4 audits by 2 firmsLast audit Oct 2025, by Quantstamp.
Critical findings1 open critical findingReported in “Fragmetric v1” by Certora, Oct 2024. Not marked fixed in that report.
Open Fragmetric Restaking Program’s security recordSecurity firm
Certora29 projects reviewed · 56 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