Resolved-without-proof findings
Symbiotic's assessment for RD-F-003 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
ChainSecurity states only minor issues uncovered and security is high. Certora FV confirms implementation adheres to formal specifications. No public evidence of any finding marked Resolved that cannot be verified on-chain. Immutable contracts mean the deployed bytecode is the final state - any resolution is embedded at deploy.
Sources #
- AuditCertora Symbiotic Formal Verification ReportCertora report: Prover confirmed implementation adheres to formal specificationsretrieved 2026-05-16
- ChainSecurity Symbiotic Core Audit SummaryChainSecurity audit summary: only minor issues, security highretrieved 2026-05-16
Methodology #
Count the number of findings the audit report marks "Resolved" or "Fixed" where no matching on-chain bytecode change or verifiable commit can be found.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol symbiotic factor RD-F-003 score green collected_at 2026-05-16 09:25:24