Glossary · Legal
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.
See also
Reference
The Protocol page defines how terms compose into receipts, Sigils, and chain recognition.