Formal verification coverage
SUNSwap (sun.io)'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 formal verification (Certora, Kani, Halmos) found in any sun-protocol GitHub repository. No FV report or invariant spec published anywhere.
Sources #
- InternalSUNSwap protocol profile section 800-profile.md §8 — no FV mentionedretrieved 2026-05-17
- sun-protocol GitHub organizationsun-protocol GitHub org — no FV specs in any 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 sunswap factor RD-F-009 score red collected_at 2026-05-17 14:37:31