Topics · Domain workflow

Supply chain and infrastructure

A verifier can connect signed operational claims to later AnchorRecord material when on-log recognition is present.

Problem

What breaks today

A production deployment goes wrong. The team rotates keys, switches vendors, and re-issues build attestations. Six months later an auditor needs to know what was actually running, when, and signed by whom.

Mechanism

How ZK-SNAP responds

Anchored receipts keep operational claims checkable after teams, systems, or vendors change.

Verifiable outcome

What a verifier can check

A verifier can connect signed operational claims to later AnchorRecord material when on-log recognition is present.

Related profiles and labels

Evidence trailTransformation trailOn-log witness

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.