Formal verification coverage
Lista DAO'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, Kani, or Echidna formal verification evidence found in the GitHub repo or any audit PDF summary. The protocol has 21 audits using traditional manual + automated analysis only. No /certora or /specs directory exists. Formal verification is absent.
Sources #
- GitHubLista DAO Contracts RepositoryRepository directory structure — no /certora, /specs, or FV-related directories foundretrieved 2026-05-12
- Lista DAO Audits DirectoryAudits directory — no FV report PDFs; all audits are traditional manual/automatedretrieved 2026-05-12
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 lista-dao factor RD-F-009 score red collected_at 2026-05-12 17:54:05