Divide-before-multiply pattern
Pendle Finance's assessment for RD-F-016 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
ChainSecurity audit covered arithmetic operations and found no high-severity arithmetic issues. Pendle uses WAD-based math libraries (PMath, MarketMathCore) that enforce scaling before division. No Slither tool run available but audit proxy confirms no divide-before-multiply in pricing paths.
Sources #
- AuditChainSecurity Pendle V2 Core (arithmetic focus)ChainSecurity V2 Core — arithmetic operations scoperetrieved 2026-04-29
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 pendle factor RD-F-016 score green collected_at 2026-04-28 21:09:40