Formal verification coverage

Across Protocol'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 evidence of Certora Prover, Halmos, Kani, or equivalent formal verification specifications for Across Protocol contracts found in any public audit report or GitHub repository search. No FV report URLs identified. The protocol relies on incremental OZ auditing and fuzzing (Foundry test suite present in repo).

Sources #

URL
Across Protocol contracts GitHub (no FV config found)https://github.com/across-protocol/contractsretrieved 2026-04-26

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 across-protocol factor RD-F-009 score red collected_at 2026-04-30 21:19:18