Verify a sale
Choose a sale, run the browser checks and inspect what supports its outcome. No wallet required.
Simulated evidenceLocal to this browser. No live chain or signed attestation.
All sales · Simulated
Run public checks for every settled or failed sale, one at a time.
Check results and any failed or unavailable check IDs will appear here.
Find a sale
Search this environment, or open an exact sale ID.
Sales in this environment
What these checks establish
- Public evidence, checked in your browser
- Compare the sale, frozen bid set, recorded result and attested execution. Contract invariants check public accounting; they do not reveal every bidder’s private price or prove the full private clearing computation.
- Intel attestation is a separate boundary
- This browser checks quote bindings and approved measurements. Intel’s quote signature chain is checked separately by OutLayer’s verifier, linked in the evidence when available.
- Current keys, historical execution
- Access-key checks read the accounts now. They do not prove the accounts were keyless for the whole sale. Run timestamps show when execution happened; OutLayer takes no fresh challenge nonce.
- Missing evidence stays missing
- A failed check disagrees with the evidence. Unavailable means a check could not run. Not applicable means the sale does not use it. Simulated checks describe the browser demo.