DropZero

Judge console

Proof cockpit

One page — live proof race, database visibility, verifier, tamper reject, measured benchmark, capsule download, derived economics, and live multi-region allocation. Every panel reads from Aurora DSQL / DynamoDB or recomputed artifacts.

Also on this page:Ledger settlement MODELEDAWS FIS resilience PLANNED
  1. Proof race — three designs, same seed, live DSQL/DynamoDB
  2. Ops — per-pool bars, OCC rate, writes/s (embedded during race)
  3. Verify — standalone verifier adjudicates capsules on screen
  4. Tamper — inject oversell / flip allocation / corrupt Merkle → INVALID
  5. Benchmark — measured headline from submission/benchmark.json
  6. Capsules — download JSON · offline node packages/dropzero-verifier/verify.mjs
  7. Economics — DSQL retry ratio from bench · illustrative $/M
  8. Multi-region — commit on us-east-1 · read on us-east-2 · dual-endpoint burst

Primary demo

Live Proof Race

LIVE

One button fires the same concurrent claim burst at all three allocation strategies on live Aurora DSQL + DynamoDB. Watch contention, oversell, and shard spread — then verify real evidence capsules on screen.

Measured benchmark

LIVE

Same seed, three designs on live Aurora DSQL + DynamoDB · artifact submission/benchmark.json

Evidence capsules

LIVE

Portable JSON from live DSQL state — verify offline with no AWS credentials.

  • DSQL kerneldsql-kernel.json

    Expected: VALID

    Download
  • Single counternaive-counter.json

    Expected: VALID (0 oversold; high OCC)

    Download
  • Region-shardedregional-reconcile.json

    Expected: INVALID (oversell)

    Download

node packages/dropzero-verifier/verify.mjs evidence/dsql-kernel.json

Economics panel loading…

Multi-region allocation

Set DSQL_ENDPOINT_REGION_A and DSQL_ENDPOINT_REGION_B to enable the live peered DSQL panel.