Formal verification coverage

Venus Protocol's assessment for RD-F-009 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No evidence of Certora, Kani, Halmos, or equivalent formal verification on Venus Protocol contracts. Cantina 2024 engagement was for Multichain Governance (audit, not FV). No FV report found in audits directory or documentation.

Sources #

GitHub
Venus audits directory listingVenus audits directory — no FV reportsretrieved 2026-04-28

Methodology #

Determine the percentage of protocol-declared critical invariants covered by a formal verification proof (Certora Prover, Kani, Halmos, or equivalent).

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol venus factor RD-F-009 score gray collected_at 2026-04-28 18:30:49