★ Oracle source = spot DEX pool (no TWAP)
Marinade Finance's assessment for RD-F-053 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.
Evidence summary #
[★ CRITICAL — GREEN] mSOL value is computed entirely from on-chain stake-pool state. calc.rs confirms value_from_shares() uses the formula: shares = amount_value * (total_shares / total_value), i.e., price = total_value / total_shares. No DEX pool price read, no external feed, no TWAP call anywhere in the program. Cargo.toml for the marinade-finance program contains only anchor-lang 0.27.0, anchor-spl 0.27.0, and solana-security-txt 1.1.1. Zero oracle package dependencies. Backend-Design.md confirms: Marinade Liquidity Pool always operates swaps with the exact mSOL price derived from stake pool state. This is the canonical safe LST pricing model — F053 does not fire.
Sources #
- GitHubMarinade marinade-finance Cargo.toml — dependency manifestCargo.toml marinade-finance: deps anchor-lang 0.27.0, anchor-spl 0.27.0, solana-security-txt 1.1.1 only; no Chainlink/Pyth/oracle dependencyretrieved 2026-05-16
- Marinade calc.rs — mSOL exchange rate formula source codecalc.rs value_from_shares and shares_from_value: formula is total_value/total_shares from stake pool state; no DEX pool read or oracle importretrieved 2026-05-16
- Marinade Backend-Design.md — mSOL price mechanismBackend-Design.md: Marinade Liquidity pool always operates swaps with the exact mSOL price; update_price crank registers rewards via stake lamport accountingretrieved 2026-05-16
Methodology #
Determine whether the primary oracle for any asset/market reads spot price from a single DEX pool without a TWAP window or secondary source.
See the full factor methodology and distribution across all protocols →