Topics · Protocol concept

Depth-of-Trust

A verifier can distinguish a basic valid receipt from schema-checked, constrained, policy-bound, offline-valid, on-log, or hybrid-crypto proof states.

Problem

What breaks today

A single badge hides which proof conditions have actually been satisfied.

Mechanism

How ZK-SNAP responds

Depth-of-Trust profiles are additive proof conditions layered over the receipt kernel.

Verifiable outcome

What a verifier can check

A verifier can distinguish a basic valid receipt from schema-checked, constrained, policy-bound, offline-valid, on-log, or hybrid-crypto proof states.

Related profiles and labels

Depth-of-TrustOffline-validOn-log recognition

Go deeper

Try the workflow, then read the spec.

Use Cases tells the story with cards. Proof Lab runs create and verify locally. Protocol holds the normative reference.

Protocol reference How it works Proof Lab