Audit firm tier

BENQI'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 (Tier-1 formal verification) conducted the sAVAX StakedAvax.sol formal verification in April 2022. Zellic (Tier-1) audited the BENQI oracle contract. Both are Tier-1 firms with engagements on currently-deployed bytecode. Green: at least one Tier-1 audit of deployed code — met by both Certora and Zellic.

Sources #

Audit
Zellic BENQI Oracle AuditZellic (Tier-1) oracle auditretrieved 2026-05-16
Audit
Certora Formal Verification — BENQICertora (Tier-1) FV of StakedAvax.sol, April 2022retrieved 2026-05-16

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 benqi factor RD-F-005 score green collected_at 2026-05-16 11:02:12