Resolved-without-proof findings
Kamino Lend's assessment for RD-F-003 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Certora identified precision loss bug; confirmed fixed via Mul-Div pattern. OtterSec initial audit had 13 findings; individual resolution verification requires PDF parsing not completed.
Detail #
The Certora precision loss bug in exchange rate calculations was confirmed patched (Mul-Div pattern). For the OtterSec initial audit (13 findings at commit 88dfca4), and Offside Labs findings, individual resolution of each finding cannot be independently verified without parsing each PDF. This gives yellow rather than green — the most critical finding (Certora precision loss) is confirmed resolved, but full verification of all medium/high findings across all auditors is incomplete.
Sources #
- URLCertora Securing Kamino LendingCertora blog confirming precision loss fix with Mul-Div patternretrieved 2026-04-27
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 →