Formal verification coverage

stHYPE (Valantis Labs)'s assessment for RD-F-009 — scored red on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No Certora, Halmos, or Kani formal verification work found for stHYPE contracts. ValantisLabs GitHub does not contain a Certora specs directory. No FV report linked from docs.valantis.xyz/resources/audits. Six audit engagements are traditional code reviews, not formal verification. 0% FV coverage = red.

Sources #

Docs
Valantis audit listings — no FV engagementdocs.valantis.xyz/resources/audits — no FV report listedretrieved 2026-05-17
GitHub
ValantisLabs GitHub org — no FV work foundgithub.com/ValantisLabs — no certora/ or FV specs directory in any public reporetrieved 2026-05-17

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 staked-hype factor RD-F-009 score red collected_at 2026-05-17 13:02:38