Code complexity vs audit coverage

Evidence summary #

27 audit engagements across 8 firms for a codebase of >20 significant contracts. Certora FV retainer produces rolling per-feature formal verification. Audit coverage density (reports per contract) is above average for this TVL tier. No evidence of significantly under-audited modules.

Sources #

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 →