Fragmetric v1

CertoraCode version: not recorded (see the report)

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.

SeverityOpenAcknowledgedFixed
Critical100
High100
Medium001
Low201

Marked Informational by the firm. Not counted as findings.

InformationalIncorrect function name is_contribution_accrual_rate_valid{}Acknowledged

The report gives no description here.

InformationalIncorrect function naming mock_transfer_hook_from_xx functionsAcknowledged

The report gives no description here.

InformationalUsing spot prices for price sourcesAcknowledged

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 Program
Audits4 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 record

Security firm

Certora

29 projects reviewed · 56 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