Top Solana Stories Of The Week: Certora CEO and founder Mooly Sagiv joins to discuss Autoprover and Formal Verification. We unpack DeFi's brutal security year — the $580K DefiTuna and ~$18M Ostium oracle exploits, the AI-discovered Zcash Orchard bug that sat hidden for four years, and whether formal verification can actually secure the industry. Then the discuss weekly headlines with SolanaFloor editor Awais. Jito launches JTX Trade and introduces JIP-38, a proposal that would route 100% of the DAO's 80% share of JTX fees into automated $JTO buybacks and burns until Q4 2027. Solana hits 300k RWA holders and takes the #1 spot with 96% of tokenized-equity volume as DTCC runs live production tokenization trades. SBI Holdings restructures an operating company into SBI Solana Global to build Japan's first onchain financial market. Claynosaurz lands on Amazon Prime Video, four years after a $1.34M mint during the FTX collapse. Pump.fun absorbs an $121M unlock while Robinhood Chain's NOXA launchpad out-earns it, and Jupiter Gacha with Collector Crypt does $3.3M in 22 hours. STORY LINKS 📍 Jito Launches JIP-38 https://solanafloor.com/news/jito-launches-jip-38 📍 Solana RWA Holders Hit 300K ATH as Network Takes No. 1 Spot https://solanafloor.com/news/solana-rwa-holders-hit-300-k-ath-as-network-takes-no-1-spot 📍 SBI and Solana Foundation Team Up to Build Japan's First Onchain Financial Market https://solanafloor.com/news/sbi-and-solana-foundation-team-up-to-build-japan-s-first-onchain-financial-market 📍 Claynosaurz Lands on Amazon Prime Video https://solanafloor.com/news/claynosaurz-lands-on-amazon-prime-video 📍 Pump.fun Faces $121M Token Unlock as Robinhood Takes Memecoin Market Share https://solanafloor.com/news/pump-fun-faces-121-m-token-unlock-as-robinhood-takes-memecoin-market-share 📍 Jupiter Gacha Launch Sparks $3.3M in Pack Openings Within First 22 Hours https://solanafloor.com/news/jupiter-gacha-launch-sparks-3-3-m-in-pack-openings-within-first-22-hours 📍 Certora — https://certora.com · Auto Prover — https://app.certora.com/