Live audit · re-checked every 2 seconds · whole exchange
Proof of Solvency
Every $H on this exchange is an integer count of micro-units. That makes the accounting a theorem instead of an approximation: the cash in every wallet plus the reserve locked in every bonding curve must equal every $H ever minted. Exactly. This page recomputes that equation against Aurora DSQL on a loop — while bots and traders hammer the engine.
auditing the ledger…
Invariant 2 · curve consistency
Each asset's stored reserve must equal the closed-form value R(s) = s·base + slope·s(s−1)/2 implied by its supply.
Why this is hard
Hundreds of trades can settle in the same instant, all mutating shared rows: wallets, supplies, reserves. With a normal eventually-consistent stack, money leaks — a few cents of drift per thousand trades. Here, Aurora DSQL's optimistic concurrency control rejects every conflicting commit, the engine retries it, and the invariant survives untouched.
Try to break it
Run npm run sim:pump against this database: 200 concurrent trades from 24 bots in seconds. Keep this page open. The drift counter stays at zero — that's the whole demo.