XOXNO / rs-lending-xlm Star 2 Code Issues Pull requests Discussions Multi-asset lending protocol for Stellar Soroban — governance + controller + central-pool design with timelocked admin, Reflector/RedStone oracle validation, scaled-balance (RAY/WAD) accounting, e-mode risk tiers, flash loans, DeFindex strategies, and Certora formal verification. rust smart-contracts blockchain oracle wasm web3 stellar formal-verification lending defi flash-loans soroban lending-protocol money-market certora xoxno Updated Jul 11, 2026 Rust