Glossary

Canonical Protocol Terms

The public vocabulary for ZK-AI — each term has its own page. When a definition says “not X”, that exclusion is normative. Also linked from Legal and Trademarks.

3DVC: Independent certification program for operators who pass conformance testing. Shown only when certified — not automatic, not required to use receipts or Sigils. The mark attests that an operator met published protocol tests; it does not replace offline receipt validity for every deployment.
dePoD: Proof of demand produced near execution — useful, receipt-backed machine work, not clicks or idle presence. dePoD ties economic demand signals to accountable activity that can be inspected through receipts and anchors rather than vanity metrics.
DoT: Depth of Trust — how deep a proof goes, from structured claim through offline validity to on-log recognition and hybrid crypto. DoT profiles are additive: a verifier reports which conditions passed instead of collapsing everything into one badge.
DoT-4: Offline-valid receipt state. Mathematics and declared profiles check out without a network call. Sigil S4 (Proven) reflects this state — it does not imply chain witness or Verified on-log language.
DoT-5: Recognized on-log state. Governed chain evidence records when a receipt batch was witnessed through inclusion proof material. Sigil S5 (Recorded) requires this evidence — it cannot be awarded from UI copy alone.
EG: Evidence Graph — discovery and forensics for proof trails. It finds receipts, anchors, and related facts; it does not decide validity. Every discovery hit still must pass independent signature verification.
PATL: Privacy-adjacent trust — public accountability beside private activity without making private data public. PATL patterns use commitments, sealed fields, and permissioned disclosure so recognition can be public while payloads stay controlled.
Receipt: Signed ZK-SNAP record of a verifiable machine activity — portable proof that survives outside the original platform. A receipt is canonical JSON with provenance, inputs_root, timestamp, signature, profiles, and optional ext_* commitments.
Sigil: Deterministic trust mark (S0–S6) computed by verification — never awarded manually. S4 = proven offline; S5 = recorded on-log. The same receipt bytes always produce the same Sigil state for a given verifier implementation.
TCK: Conformance testing against shared goldens. Baseline interop is open; the 3DVC program suite is certification-gated. Passing baseline TCK means implementations can interoperate on receipt bytes — not that an operator earned the certification mark.
VMA: Verifiable Machine Activity — the accountable action a receipt represents. VMA is the production-time event (create, transform, approve, command, settle) bound into signed material, not a summary line in a vendor log.
ZK-SNAP: The canonical receipt format for verifiable machine activity — signed, portable, verifiable from bytes alone. ZK-SNAP is the open interchange kernel; ZK-AI Chain, Evidence Graph, and program marks are governed layers on top.
ZK-AI Chain: Governed witness layer for on-log recognition — ordering and inclusion, not a receipt database or file store. Operators anchor batch roots; verifiers use inclusion proofs to connect receipt_id to witness material without publishing private payloads on-chain.