★ Audit scope mismatch
Spark Protocol's assessment for RD-F-001 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
SparkLend audited by ChainSecurity (deployment verification), Cantina, and dedaub. No formal verification (Certora/K-framework) of core lending or sUSDS logic. Audit coverage is solid but the critical ★ factor penalizes absence of formal verification.
Sources #
- Audithttps://docs.spark.fi/assets/Chainsecurity-SparkLend-Deployment-Verification.pdfretrieved 2026-04-21
Methodology #
Check whether the commit SHA cited in the audit report matches the bytecode deployed at the production proxy/implementation address.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol spark factor RD-F-001 score yellow collected_at 2026-04-27 01:00:42