Audit count

BENQI's assessment for RD-F-004 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

7 distinct audit firms confirmed: Halborn (x3 engagements), Certora (x2), Dedaub, Code4rena/Moonwell community contest, Cyfrin, Zellic, Chaos Labs. Well above the green threshold of ≥2 distinct firms.

Sources #

Audit
Certora BENQI sAVAX Formal VerificationCertora FV sAVAX (Tier-1 firm, April 2022)retrieved 2026-05-16
Audit
Zellic BENQI Oracle Audit ReportZellic oracle audit PDFretrieved 2026-05-16
Docs
BENQI Risks & AuditsBENQI risks page listing all audit engagements across 7+ firmsretrieved 2026-05-16

Methodology #

Count the number of distinct audit firms whose reports cover any portion of the currently-deployed bytecode.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol benqi factor RD-F-004 score green collected_at 2026-05-16 11:02:12