Formal verification coverage
Hyperliquid'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 formal verification (Certora, Halmos, Kani, or equivalent) has been applied to Bridge2 or any Hyperliquid contract. No FV report referenced in the audit docs or GitHub. Web search found no Certora/Halmos/Mythril application to Hyperliquid.
Sources #
- DocsHyperliquid audits pageHyperliquid audits page — only Zellic and Cyfrin listed, 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 hyperliquid factor RD-F-009 score gray collected_at 2026-04-28 13:58:49