Audit firm tier

dYdX v4 (dYdX Chain)'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 #

Informal Systems is the top-tier Cosmos/Go security specialist: principal CometBFT upstream security maintainers, creators of Quint/Apalache formal verification tools, recognized leader in Cosmos appchain auditing. For Cosmos-SDK appchains this is the Tier-1 equivalent of Trail of Bits or OpenZeppelin for EVM protocols.

Sources #

URL
Informal Systems — Cosmos/Go security firmInformal Systems GitHub organizationretrieved 2026-05-17
GitHub
Quint — Informal Systems TLA+/formal verification toolingInformal Systems Quint formal verification toolretrieved 2026-05-17

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 dydx-v4 factor RD-F-005 score green collected_at 2026-05-17 09:58:47