Expand description
§VEX Segments
Provides the data structures and JCS canonicalization for the v0.1.0 “Hardened” Commitment model.
Structs§
- Authority
Data - Authority Data (CHORA Pillar) Proves the governance decision.
- Capsule
- A Composite Evidence Capsule (The v0.1.0 “Zero-Trust Singularity” Root) Binds Intent, Authority, Identity, and Witness into a single commitment.
- Continuation
Payload - Continuation
Token - Continuation Token (Phase 2 Enforcement Primitive) A signed artifact that permits execution after an escalation.
- Crypto
Data - Crypto verification details.
- Execution
Target - Identity
Data - Identity Data (Attest Pillar) Proves the silicon source and its integrity state.
- Proving
Metadata - Metadata describing the Zero-Knowledge proving process.
- Request
Commitment - Auditability metadata to link the raw payload to the intent.
- Schema
Value - A wrapper for serde_json::Value that implements utoipa::ToSchema.
- Shadow
Public Inputs - Typed Public Inputs for Shadow Intents (Phase 2 Hardening)
- Stream
Final Proof - An Aggregate Proof for a sequence of authorized transitions. Used to prove the final state of a multi-step governed stream.
- VexReceipt
- A Spec-Grade Receipt (Phase 6 Hardening) Binds a validated Evidence Capsule to its proving context.
- Witness
Data - Witness Data (CHORA Append-Only Log) Proves the receipt issuance parameters.
Enums§
- Intent
Data - Intent Data (VEX Pillar) Proves the proposed action before execution. It supports two variants:
Constants§
- COL_
AUX_ START - COL_
CONST_ START - COL_
IS_ ACTIVE - COL_
IS_ FULL - COL_
IS_ LAST - COL_
IS_ REAL - COL_
STATE_ START - FULL_
ROUNDS_ START - FULL_
WIDTH - GOLDILOCKS_
PRIME - ME_CIRC
- MU
- PARTIAL_
ROUNDS - SHADOW_
INTENT_ DOMAIN_ TAG - TOTAL_
ROUNDS - WIDTH
Functions§
- canonical_
encode_ shadow_ intent - Computes a canonical, length-prefixed encoding for ZK commitment preimages. Format: [DOMAIN_TAG] [PROMPT_LEN:4] [PROMPT] [SALT_LEN:4] [SALT]
- get_
round_ constant - hash_
to_ m31_ chunks - Phase 4A: Canonical M31 Chunking Specification. Maps a 256-bit hash (32 bytes-LE) into 9 M31 field elements using the LE rule: chunk_i = (H >> (31 * i)) & ((1 << 31) - 1) This ensures injective and bit-exact binding for Circle STARKs.
- semantic_
commitment_ hash - Computes the semantic commitment hash for a shadow intent. Currently uses the structural permutation for ZK consistency.
- structural_
permute - Computes the structural permutation of a state (reference implementation).