Resolved-without-proof findings
Beefy Finance'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 #
Zellic CLM audit (2024-02-28) found 1 critical (TWAP tick-math), 2 high, 2 medium, 5 low, 1 informational. Profiler context: critical was fixed pre-deployment. Cyfrin CLM audit (2024-04-06) found 1 critical, 1 high, 4 medium including missing TWAP check on owner functions and unlimited router approvals not cleared on update. Resolution not independently verified via on-chain bytecode diff (PDF not accessible). Yellow pending curator verification.
Sources #
- AuditZellic CLM Audit 2024-02-28Zellic CLM audit 2024-02-28 — 1 critical (tick math), 2 high, 2 medium findingsretrieved 2026-05-16
- Sherlock CLM Contest JudgingSherlock CLM judging repo — 16 high + 38 medium findings across CLM contestretrieved 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 →