Verification · client-side

Verify a Glacis receipt — without trusting Glacis.

Independent, in-browser cryptographic verification of any signed evidence receipt. Ed25519 signatures, Merkle inclusion proofs, hash-chain integrity. No data leaves your browser.

Paste, upload, or drop

Drop a receipt in.

Paste a Glacis evidence receipt (JSON), upload a .json file, or share a verification link.

What this verifier checks

Six cryptographic checks. Offline.

Structural integrity

Required fields present: ID, timestamp, attestation block. The receipt parses against the OVERT 1.0 schema.

Ed25519 signatures

Operator and notary signatures verified against the public keys embedded in the receipt. Web Crypto, in your browser.

Composite hash binding

Five attestation signals (binary, network, epoch, context, composite) bind together via SHA-256. Any change breaks the chain.

Merkle inclusion proof

Proves the receipt is in the Glacis transparency log without downloading the entire log. Verified leaf-to-root.

Hash-chain reference

Each receipt links to its predecessor via SHA-256. Insertion, deletion, or modification breaks the chain.

Temporal validity

Timestamp is well-formed, in the past, and after the schema epoch. Future-dated receipts fail.

Related

Read the spec.

OVERT 1.0
The open standard for runtime evidence receipts — schema, signing rules, verification logic.
READ →
Sample receipt
Inspect a real Glacis receipt with annotations explaining every field.
EXPLORE →
Evidence packs
How signed receipts assemble into review-ready packs for customers, auditors, and regulators.
READ →