ReserveProof

ReserveProof · verify

Check every claim yourself

Each claim in the submission, checked live when this page opens: against the chains, the block explorers and GitHub Actions. The balance proof runs in your browser against a public RPC, not our server. Every card says how to reproduce it on your own machine.
VERIFY.md JSON feed

Checking… 0 of 10 pass so far

reading chains, explorers and GitHub…

Claim 1

Tests pass in CI

checking

Claim 2

Every contract is source-verified on both chains

checking

Claim 3

Every published proof is live and solvent

checking

Claim 4

The same mTSLA liability root is committed on both chains

checking

Claim 5

Your balance is in the book

checking
  • Your browser downloads the published Robinhood testnet books, rebuilds each Merkle-sum tree, checks it reproduces the on-chain root and total, then proves the address's leaf against that root.
Merkle-sum code Published books

Claim 6

Gated integrations answer on chain and fail closed

checking

Claim 7

An ExitRight claim was opened and settled on chain

checking

Claim 8

Proofs are re-published on schedule

checking

Claim 9

The mainnet numbers are live, not a slide

checking
  • Reading every Morpho market on mainnet…
  • Submission snapshot, block 75,032,783 (2026-09-28): 675,505,342 USDG in circulation; 50 stock tokens with $158,322,345 supply; 167 stock-collateral markets with 675,019 USDG borrowed
  • The live radar also counts USDG-collateral markets and moves as markets open, so it won't match the snapshot exactly.
Mainnet radarSnapshot JSON

Claim 10

A drained custodian freezes a real Morpho Blue market

checking

Recorded drill: 20 of 20 checks, fork of block 75,787,407, 2026-09-29 16:08 UTC

1 healthy

3/3
  • SolvencyOracle.status(TSLA) is OK (OK)
  • wrapper price == real oracle price (354.284999 USDG/TSLA)
  • borrow 2,500 USDG (~70% LTV) succeeds (borrower holds 3500.0 USDG)

2 drained

5/5
  • status reason is LIVE_SHORT (6) (LIVE_SHORT)
  • wrapper.price() reverts (Insolvent(6))
  • Morpho borrow(1 USDG) reverts (Insolvent(6))
  • Morpho indebted withdrawCollateral reverts (Insolvent(6))
  • Morpho liquidate reverts (no liquidation at a fake price) (Insolvent(6))

3 exits

3/3
  • borrower repay(100 USDG)
  • borrower supplyCollateral(1 TSLA)
  • lender withdraw(10,000 USDG)

4 keeper

4/4
  • real oracle price unchanged by the replay (354.284999 USDG/TSLA)
  • first failing poke starts the incident clock (cap at 2026-10-02T16:08:53.000Z)
  • price() still reverts at 71h (16 pokes) (Insolvent(6))
  • price() at 72h == 50% of the real oracle price (177.142499 USDG/TSLA)

5 liquidation

1/1
  • liquidator seizes 1 TSLA (received 1.0 TSLA for 164.919669 USDG)

6 restore

4/4
  • status is OK again (OK)
  • healthy poke emits FreezeCleared
  • price() back to the full real oracle price (354.284999 USDG/TSLA)
  • borrow(1 USDG) works again

Path to live

  • The mainnet deploy is scripted and resumable (npm run deploy:rhmain), against the official USDG and Robinhood's real TSLA. It hasn't run: a live pilot needs a partner custodian's real book and reserve wallet, not ours.
  • A pilot adds one SolvencyGatedMorphoOracle over a curator's chosen price oracle, a capped market, and this same drill run against that exact market before any money goes in.
  • The offer and success criteria: FOUNDER-HOUSE.md, the 90-day pilot ↗