The glossary of the codebase.

The Tezos on-chain key-value store used by the registry contract to hold agent metadata commitments — lazily loaded, so lookups scale.

The elliptic-curve pairing scheme underlying tz4 accounts, chosen because principal, agent, and witness signatures combine into one verifiable artifact rather than separate checks.

The deterministic JSON serialization rule — recursively sorted keys, no floats, no undefined — that makes hashing reproducible across independent implementations.

A (size, root) pair representing the transparency log's state at a specific number of entries.

Cryptographic Power of Attorney — a signed, scoped, time-boxed, revocable delegation of authority from a principal to an agent; the protocol's sole authoritative trust primitive (TAP-3).

A declared attribute of an agent identity — self, principal, or threshold — describing who holds the signing key (TAP-1 §2).

The scope-grammar posture in which an action is out of scope unless a statement explicitly allows every dimension of it — the opposite of allow-by-exception.

The EVM-compatible Tezos Layer-2 where the planned TAP-9 STARK verifier runs first, before an app-specific rollup under Tezos X.

The deterministic, human-readable form of a CPoA record suitable for a compliance reviewer, arbitrator, or court — the hinge between cryptography and agency-law doctrine (TAP-3 §5).

The Tezos multi-asset token standard; the CPoA ledger and registry follow its interface conventions under a soulbound (non-transferable) constraint.

Where a check cannot be completed, the system denies rather than proceeds — never a silent pass-through.

The Tezos public testnet where PRAXIS contracts deploy for validation before any mainnet origination.

A proof that an earlier log checkpoint is a strict, unaltered prefix of a later one — the mechanism that detects rewritten history (the split-view defense).

A proof that a specific entry is present in a transparency log at a given checkpoint, verifiable against nothing but the published root (TAP-8).

(Planned, TAP-9) A derived value published on spend that enforces spend-once semantics without revealing which underlying record was spent.

(Planned, TAP-9) SNARK/STARK-friendly hash functions considered as a parallel ZK commitment alongside the canonical SHA-256 record hash, which is expensive inside a proof circuit.

The six-layer, CPoA-centric trust and coordination layer for AI agents (working title). Protocol for Registries, Attestation, eXchange, and Inter-agent Standards.

The person or institution granting authority in a CPoA record — the party a court or examiner would ultimately hold accountable.

The governance process by which a standard moves Draft → Stable Draft → Ratified → Deployed, via public comment and a Standards Council multisig vote.

A CPoA may be relied upon only if it is active — unrevoked, within its validity window, and signature-verified — at the exact moment of reliance. Implemented once, in assertReliable().

The closed, deterministic policy language (TAP-3 §2) expressing a CPoA's authorized actions, resources, and monetary ceilings; its closure is what makes it circuit-friendly for future ZK work.

A token permanently bound to its holder — non-transferable by contract — so that authority vests in the recorded controller and can never be seized by acquiring the token.

(Planned, TAP-9) A transparent, no-trusted-setup proving system (STARK); the constraint system expressing a computation as polynomial constraints (AIR); and the protocol proving those constraints hold (FRI).

Tezos Agent Protocol — the standards-track prefix (TAP-1 through TAP-8, with TAP-9/10 planned) under which each specification is numbered.

A Tezos account address prefix denoting a BLS12-381 account. Every PRAXIS agent identity is a native tz4 account — not a profile mapped onto a name.

(Planned, TAP-9) A credential granting a specific party — a counterparty, a compliance function, or an examiner — the ability to verify details of an otherwise confidential transaction, without granting spending authority.