Fork retains upstream audit coverage
BENQI's assessment for RD-F-131 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Core lending: Halborn May 2021 is a full fresh audit of the BENQI fork (not just relying on Compound V2 upstream audit). sAVAX: Certora April 2022 is a full fresh formal verification. Isolated Markets: claimed 'dedicated 2024 audit coverage' (BENQI references Moonwell audit heritage) — no public PDF with commit SHA accessible. Classification for Isolated Markets = upstream+delta status uncertain (no verifiable evidence of delta-coverage PDF). Yellow: adequate coverage for core lending/sAVAX; coverage gap for Isolated Markets delta.
Sources #
- DocsBENQI Risks — audit coverage claimsBENQI risks page — claims Moonwell audit heritage for Isolated Markets; no public PDF foundretrieved 2026-05-16
- Halborn BENQI May 2021 AuditHalborn May 2021 — full fresh audit of BENQI Compound V2 forkretrieved 2026-05-16
Methodology #
Determine whether the fork's deployed code is covered by either: (a) the upstream audit plus a delta-audit for fork-specific changes, or (b) a fresh independent audit of the fork.
See the full factor methodology and distribution across all protocols →