Code complexity vs audit coverage

GMX v2 (GMX Synthetics)'s assessment for RD-F-024 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

14,000+ LOC audited across 84 researcher-weeks (Guardian pre-launch) = ~167 LOC/researcher-week. Guardian also contributed 15,000+ lines of tests. 39 Certora wardens for 3-week FV. 2 Sherlock contests. 5 audit firms total. Audit effort relative to code size is exceptional.

Sources #

URL
Certora GMX Formal VerificationCertora FV - 39 wardens, Aug 7-28 2023retrieved 2026-05-05
URL
Guardian Case Studies — GMXGuardian case study - 84 researcher-weeks, 14,000+ LOC, 15,000+ test linesretrieved 2026-05-05

Methodology #

Determine whether the cyclomatic complexity or LOC-per-audit-day ratio exceeds the curator-declared credibility threshold for the audit to be meaningful.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol gmx-v2 factor RD-F-024 score green collected_at 2026-05-05 11:15:06