Audit firm tier

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

Evidence summary #

Certora is Tier-1 (formal verification firm per taxonomy). Guardian Audits is established Tier-2 with large public track record. Dedaub is Tier-2. ABDK is Tier-2 mathematical audit firm. Sherlock is Tier-2 competitive platform. At minimum Certora qualifies as Tier-1.

Sources #

URL
Certora GMX Formal VerificationCertora formal verification - Tier 1 firmretrieved 2026-05-05

Methodology #

Classify each auditing firm into: Tier-1 (Trail of Bits / OpenZeppelin / ConsenSys Diligence / Certora / Sigma Prime / Spearbit / Zellic) / Tier-2 (established, named firm with public track record) / boutique / unknown.

See the full factor methodology and distribution across all protocols →

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