Divide-before-multiply pattern
Falcon Finance's assessment for RD-F-016 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
No published Slither divide-before-multiply output. Closed source. Zellic found no arithmetic issues in audited scope. Post-TGE contracts unassessable.
Detail #
No Slither tool run possible (closed source). Zellic found no high-severity arithmetic issues in USDf/sUSDf. sUSDf uses OZ ERC4626 which has well-audited share math. Cannot assess post-TGE contracts or internal pricing logic for the ~30 heterogeneous collateral assets.
Sources #
- AuditZellic Falcon Finance AuditZellic: no arithmetic divide-before-multiply finding in audited scoperetrieved 2026-05-12
Methodology #
Determine whether Slither's `divide-before-multiply` detector fires on the deployed verified source.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol falcon-finance factor RD-F-016 score gray collected_at 2026-05-12 04:06:37