ReserveProof: USDG & Robinhood Stock Token Reserves

ReserveProof is an open-source proof-of-reserves and proof-of-liabilities stack for custodians of USDG and Robinhood Stock Tokens. Operators publish a sorted Merkle-sum liability tree; reserves are sampled on-chain; integrators call fail-closed isSolvent(custodianId, asset) so payouts and lending can require solvency.

On Robinhood Chain mainnet (block 75,032,783, 28 Sep 2026) we measured 675.5M USDG in circulation, 50 stock/ETF tokens used as Morpho collateral ($158.3M supply), and 167 Morpho Blue markets lending USDG against them — with no reserve-proof oracle found behind those markets.

Product: any lending market adds onlySolvent(asset). For Morpho Blue, SolvencyGatedMorphoOracle wraps the existing price oracle, reverts Insolvent(reason) when the proof fails, and after a continuously poked 72h freeze returns 50% price so liquidations can clear.

ExitRight adds bonded withdrawals with on-chain settle; unpaid claims slash the bond to the user and mark EXIT_DEFAULT.

Shipped: 150 tests (Hardhat + Foundry fuzz + invariants), verified contracts on Robinhood testnet and Arbitrum Sepolia, live demo at reserveproof-teal.vercel.app (what-if simulator + /risk curator view), and npm run demo:morpho-fork against real Morpho Blue on a Robinhood mainnet fork.

Tracks: Promising Products (primary) and Overall (stretch), with Robinhood Chain deployment for reserved-seat eligibility.

- Built and verified the full contract suite on Robinhood testnet and Arbitrum Sepolia (registry, ledger, sampler, disputes, SolvencyOracle, ExitRight, GuardedLendingVault, SolvencyGatedMorphoOracle).

- 150 automated tests including fuzz and stateful invariants; Slither triage documented.

- Live Vercel demo with what-if simulator and curator /risk view; ops epoch publishing workflow.

- Morpho Blue v1.0.0 integration proven on mainnet-fork demo (borrow healthy, Insolvent on drain, discounted liquidation after 72h).

- Market-size scan of Robinhood mainnet Morpho/USDG/stock-token exposure published in docs.

- ExitRight demo claim opened and settled on-chain with explorer tx links.

Pre-seed / bootstrap. No formal fundraising round closed. Seeking Buildathon prize + grant milestones (permissionless sampling, then mainnet pilot with a partner custodian). Contracts/CLI stay MIT; revenue model is hosted operator + issuer licences + paid integrator SLA (reading the oracle stays free).