Crate ves_stark_primitives 

VES STARK Primitives

This crate provides the fundamental cryptographic building blocks for VES compliance proofs:

• Field arithmetic using Winterfell’s BaseElement (64-bit Goldilocks prime field)
• Rescue-Prime hash function (STARK-friendly)
• Hash-to-field conversions for 32-byte hashes
• Canonical public inputs structures

Re-exports

pub use commerce_intent::CommerceAuthorizationReceipt;

pub use commerce_intent::CommerceExecution;

pub use commerce_intent::CommerceIntent;

pub use commerce_intent::CommerceIntentError;

pub use commerce_intent::DOMAIN_COMMERCE_AUTHORIZATION_RECEIPT_HASH;

pub use commerce_intent::DOMAIN_COMMERCE_INTENT_HASH;

pub use field::felt_from_u64;

pub use field::felt_to_u64;

pub use field::Felt;

pub use field::FELT_ONE;

pub use field::FELT_ZERO;

pub use hash::felts_to_hash;

pub use hash::hash_to_felts;

pub use hash::Hash256;

pub use public_inputs::canonical_json;

pub use public_inputs::compute_bound_public_inputs_hash;

pub use public_inputs::compute_full_public_inputs_hash;

pub use public_inputs::compute_policy_hash;

pub use public_inputs::compute_public_inputs_hash;

pub use public_inputs::witness_commitment_hex_to_u64;

pub use public_inputs::witness_commitment_u64_to_hex;

pub use public_inputs::CompliancePublicInputs;

pub use public_inputs::PayloadAmountBinding;

pub use public_inputs::PolicyParams;

pub use public_inputs::PublicInputsError;

pub use public_inputs::DOMAIN_PAYLOAD_AMOUNT_BINDING_HASH;

pub use rescue::rescue_hash;

pub use rescue::rescue_hash_pair;

pub use rescue::RescueState;

Modules

commerce_intent

Canonical commerce intent and authorization receipt primitives.

field

Field arithmetic using Winterfell’s BaseElement (Goldilocks 64-bit prime field)

hash

Hash utilities for converting between 32-byte hashes and field elements

public_inputs

Canonical Public Inputs for VES Compliance Proofs

rescue

Rescue-Prime Hash Function