Verify

Judge kit

One pasteable script for every onchain claim - Sourcify, pool, debt, proven health, NVDA bands, last borrow tx.

Pasteable

verify-claims.sh

#!/usr/bin/env bash
# BorrowDesk judge kit - paste into a shell with cast installed
set -euo pipefail
RPC="${RH_RPC_URL:-https://rpc.mainnet.chain.robinhood.com}"
MARKET="0x17452DAB5976B770107c126fBC92aD746a3C0200"
LEGACY="0x2e4E7E8145E4cCA7E0fEf4737A2489E4E27D9E8d"
USDG="0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168"
PROVEN="0x1881Dfd2b29536F054AA0b0A4966856290388Cc2"

echo "== bytecode =="
cast code "$MARKET" --rpc-url "$RPC" | head -c 24; echo

echo "== usdg =="
cast call "$MARKET" "usdg()(address)" --rpc-url "$RPC"

echo "== pool / debt =="
cast call "$MARKET" "totalUsdgLiquidity()(uint256)" --rpc-url "$RPC"
cast call "$MARKET" "totalDebt()(uint256)" --rpc-url "$RPC"

echo "== proven health (legacy market if migrated) =="
cast call "$LEGACY" \
  "accountHealth(address)(uint256,uint256,uint256,uint256,bool)" \
  "$PROVEN" --rpc-url "$RPC"

echo "== NVDA listing =="
cast call "$MARKET" \
  "markets(address)(address,uint16,uint16,uint16,bool,uint8)" \
  0xd0601CE157Db5bdC3162BbaC2a2C8aF5320D9EEC --rpc-url "$RPC"

echo "Sourcify (legacy OpenLineMarket): https://repo.sourcify.dev/4663/$LEGACY"
echo "Explorer: https://robinhoodchain.blockscout.com/address/$MARKET"
echo "Desk: /app · Share: /share?a=$PROVEN · Manifest: /deployments/robinhood.json"

Open desk Get stock → deposit Share proven line

Desk config fingerprint

bd-123b81c7

Oracle delay 4d · MAINNET · 4663 · util APR curve in V2 market

{"chainId":4663,"borrowApr":0.05,"maxOracleDelayDays":4,"listed":{"SPY":{"ltvBps":6500,"liqBps":8000,"bonusBps":500},"NVDA":{"ltvBps":6000,"liqBps":7500,"bonusBps":500},"AAPL":{"ltvBps":6000,"liqBps":7500,"bonusBps":500},"TSLA":{"ltvBps":5000,"liqBps":6500,"bonusBps":500}},"market":"0x2e4E7E8145E4cCA7E0fEf4737A2489E4E27D9E8d","usdg":"0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168","trustTier":"MAINNET · 4663","invariants":["healthy_accounts_cannot_be_seized","partial_liquidation_supported","apr_independent_of_collateral_price"]}

Claims

9 checks against chain

Market exists on Robinhood Chain 4663

Explorer →

cast code 0x17452DAB5976B770107c126fBC92aD746a3C0200 --rpc-url https://robinhood.drpc.org | head -c 20

Expect Non-empty bytecode

02
Sourcify exact match (legacy OpenLineMarket)
Sourcify →
```
open https://repo.sourcify.dev/4663/0x2e4E7E8145E4cCA7E0fEf4737A2489E4E27D9E8d
```
Expect exact_match for compiler v0.8.30

USDG is the settle asset

cast call 0x17452DAB5976B770107c126fBC92aD746a3C0200 "usdg()(address)" --rpc-url https://robinhood.drpc.org

Expect 0x5fc5360D0400a0Fd4f2af552ADD042D716F1d168

Idle pool liquidity (USDG, 6 decimals)

cast call 0x17452DAB5976B770107c126fBC92aD746a3C0200 "totalUsdgLiquidity()(uint256)" --rpc-url https://robinhood.drpc.org

Expect Non-zero idle USDG when seeded

Protocol debt

cast call 0x17452DAB5976B770107c126fBC92aD746a3C0200 "totalDebt()(uint256)" --rpc-url https://robinhood.drpc.org

Expect ≥ proven borrow; grows with interest

Proven account healthy on legacy market

Account →

cast call 0x2e4E7E8145E4cCA7E0fEf4737A2489E4E27D9E8d "accountHealth(address)(uint256,uint256,uint256,uint256,bool)" 0x1881Dfd2b29536F054AA0b0A4966856290388Cc2 --rpc-url https://robinhood.drpc.org

Expect healthy=true · debt ≈ 0.0001 USDG

NVDA market listed with LTV / liq bands

cast call 0x17452DAB5976B770107c126fBC92aD746a3C0200 "markets(address)(address,uint16,uint16,uint16,bool,uint8)" 0xd0601CE157Db5bdC3162BbaC2a2C8aF5320D9EEC --rpc-url https://robinhood.drpc.org

Expect listed=true · ltvBps=6000 · liqBps=7500 · bonusBps=500

Last proven borrow tx

Tx →

open https://robinhoodchain.blockscout.com/tx/0x92120a125454e6d097fe779643a644de60fae991522380984102d58a1334c8b2

Expect Borrow 0.001 USDG status 0x1

09
Morpho demand snapshot (research block)
```
# Re-run TORQUE research against Morpho 0x9D53d5E3bd5E8d4Cbfa6DB1ca238AEA02E651010 at block 78677903
```
Expect USDG supply ~$700.7M · stock-USDG lent ~$1.51M · 96.6% borrowed