Mixed-decimals math without explicit scaling
Marinade Finance's assessment for RD-F-017 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
Both SOL (lamports) and mSOL use 9 decimal precision — no cross-decimal arithmetic mismatch risk by design. EVM static analysis toolchain not applicable. Cannot run Slither on Rust/BPF. Gray: EVM toolchain not applicable for Solana source.
Sources #
- InternalMarinade Protocol Profile §7Profile §7 confirming mSOL uses SPL Token with 9 decimals matching SOL lamportsretrieved 2026-05-16
Methodology #
Determine whether shared numerator/denominator arithmetic operates over tokens with different decimals without WAD/RAY normalization or explicit decimal-adjustment.
See the full factor methodology and distribution across all protocols →
rubric_version v1.7.0 protocol marinade factor RD-F-017 score gray collected_at 2026-05-16 08:48:35