Glossary

Attestation — A signed statement from trusted silicon proving which code is running inside an enclave. Folded into every receipt.

Compute — Omyra's inference primitive. Private model execution inside a TEE.

Flow — The workflow primitive. Declarative YAML that wires recall, inference, and write-back into one publishable pipeline.

Groth16 / BLS12-381 — The target proof system and pairing curve: constant-size proofs (~200 bytes) verifiable in ~10 ms on one CPU core.

Nullifier — A one-time token spent on-chain to delete a memory. Spending it is a one-way door that makes the entry unrecoverable.

Poseidon — A hash function designed to be cheap inside a SNARK circuit; used for memory commitments.

Proof — Omyra's audit primitive. The chained receipt emitted per inference.

Receipt — Model hash + input hash + output hash + TEE attestation + signature. Step N embeds step N−1's proof hash, forming a tamper-evident trail.

Replay protection — A validity window bound into a proof's public inputs; outside it the proof is invalid.

Slashing — Burning part of a provider's stake for equivocation or downtime.

TEE (Trusted Execution Environment) — A hardware enclave (Intel TDX, AMD SEV-SNP) that hides data even from the operator running the machine.

Vault — Omyra's memory primitive. Encrypted on-chain under user keys, provably deletable.