proof explorer · public · zero auth
The pipeline, made visible.
Active proof generations stream live. Each verification opens a drilldown with the full public input, proof bytes, Bubblegum path, and a one-click in-browser verifier. You don't have to trust Atlas's API — you trust the math.
active sessions · 3 running
prover · prover.iad.01 · — elapsed
- ingest
ingest
- p99 ≤
- 1.5s
- commits
- quorum_inputs_root
Phase 02 §3 — quorum read budget
- features
features
- p99 ≤
- 250ms
- commits
- features_commitment
Phase 03 §4 — deterministic feature pipeline
- consensus
consensus
- p99 ≤
- 250ms
- commits
- ensemble_commitment
Phase 01 §5 — 7-agent consensus
- allocate
allocate
- p99 ≤
- 100ms
- commits
- target_ratios
Phase 01 §6 — bounded LIE allocator
- explain
explain
- p99 ≤
- 50ms
- commits
- explanation_hash
Phase 01 §7 — canonical explanation
- prove
prove
- p99 ≤
- 75s
- commits
- proof_root
Phase 01 §10 — SP1 proof gen p99 75s
- verify
verify
- p99 ≤
- 150ms
- commits
- settlement_postcondition
Phase 01 §13 — verifier p99 280k CU
- settle
settle
- p99 ≤
- 4.0s
- commits
- bundle_signature
Phase 07 §10 — bundle land p99 4s
prover · prover.fra.07 · — elapsed
- ingest
ingest
- p99 ≤
- 1.5s
- commits
- quorum_inputs_root
Phase 02 §3 — quorum read budget
- features
features
- p99 ≤
- 250ms
- commits
- features_commitment
Phase 03 §4 — deterministic feature pipeline
- consensus
consensus
- p99 ≤
- 250ms
- commits
- ensemble_commitment
Phase 01 §5 — 7-agent consensus
- allocate
allocate
- p99 ≤
- 100ms
- commits
- target_ratios
Phase 01 §6 — bounded LIE allocator
- explain
explain
- p99 ≤
- 50ms
- commits
- explanation_hash
Phase 01 §7 — canonical explanation
- prove
prove
- p99 ≤
- 75s
- commits
- proof_root
Phase 01 §10 — SP1 proof gen p99 75s
- verify
verify
- p99 ≤
- 150ms
- commits
- settlement_postcondition
Phase 01 §13 — verifier p99 280k CU
- settle
settle
- p99 ≤
- 4.0s
- commits
- bundle_signature
Phase 07 §10 — bundle land p99 4s
prover · prover.sfo.03 · — elapsed
- ingest
ingest
- p99 ≤
- 1.5s
- commits
- quorum_inputs_root
Phase 02 §3 — quorum read budget
- features
features
- p99 ≤
- 250ms
- commits
- features_commitment
Phase 03 §4 — deterministic feature pipeline
- consensus
consensus
- p99 ≤
- 250ms
- commits
- ensemble_commitment
Phase 01 §5 — 7-agent consensus
- allocate
allocate
- p99 ≤
- 100ms
- commits
- target_ratios
Phase 01 §6 — bounded LIE allocator
- explain
explain
- p99 ≤
- 50ms
- commits
- explanation_hash
Phase 01 §7 — canonical explanation
- prove
prove
- p99 ≤
- 75s
- commits
- proof_root
Phase 01 §10 — SP1 proof gen p99 75s
- verify
verify
- p99 ≤
- 150ms
- commits
- settlement_postcondition
Phase 01 §13 — verifier p99 280k CU
- settle
settle
- p99 ≤
- 4.0s
- commits
- bundle_signature
Phase 07 §10 — bundle land p99 4s
recent verifications
| vault | slot | public input | CU | outcome |
|---|---|---|---|---|
| ab12cd…0000 | 245,000,000 | a1b2c3…0000 | 240k | pass |
| 01a02b…0000 | 245,000,480 | e5f607…0001 | 239k | pass |
| ff10ee…0000 | 245,000,960 | 9081a2…0002 | 237k | pass |
| deadbe…0000 | 245,001,440 | a1b2c3…0003 | 236k | pass |
| ab12cd…0000 | 245,001,920 | e5f607…0004 | 234k | pass |
| 01a02b…0000 | 245,002,400 | 9081a2…0005 | 233k | pass |
| ff10ee…0000 | 245,002,880 | a1b2c3…0006 | 231k | fail |
| deadbe…0000 | 245,003,360 | e5f607…0007 | 230k | pass |
Click any row in the verifications list to inspect its proof and run the in-browser verifier.