Crate ves_stark_verifier 

VES STARK Verifier

This crate provides STARK proof verification for VES compliance proofs. The verifier is stateless and can verify proofs using only the proof bytes and public inputs.

Usage

use ves_stark_verifier::verify_compliance_proof_auto_with_amount_binding_strict;

// Requires a canonical payload amount binding artifact for strict verification.
let result =
    verify_compliance_proof_auto_with_amount_binding_strict(&proof_bytes, &public_inputs, &binding)?;
assert!(result.valid);

Structs

ComplianceVerifier

Stateless compliance proof verifier

VerificationResult

Result of proof verification

Enums

VerifierError

Errors that can occur during proof verification

Constants

MAX_PROOF_SIZE

Maximum allowed proof size in bytes (10 MB)

PROOF_VERSION

Current proof version (internal; used for compatibility checks where applicable)

Functions

validate_hex_string

Validate a hex string field

verify_agent_authorization_proof

Verify an agent.authorization.v1 proof against a canonical authorization receipt.

verify_agent_authorization_proof_auto

Verify an agent.authorization.v1 proof using policy parameters from the public inputs and an explicit witness commitment.

verify_agent_authorization_proof_auto_bound

Verify an agent.authorization.v1 proof using policy parameters and witness commitment from the public inputs.

verify_agent_authorization_proof_auto_bound_strict

Verify an agent.authorization.v1 proof using policy parameters and witness commitment from public inputs and return an error on invalid proofs.

verify_agent_authorization_proof_auto_bound_witness_strict

Verify a witness-bound agent.authorization.v1 proof using policy parameters and witness commitment from public inputs and return an error on invalid proofs.

verify_agent_authorization_proof_auto_strict

Verify an agent.authorization.v1 proof using policy parameters from the public inputs and return an error on invalid proofs.

verify_agent_authorization_proof_auto_with_amount_binding

Verify an agent.authorization.v1 proof using policy parameters from the public inputs, a payload-derived amount binding artifact, and a canonical authorization receipt.

verify_agent_authorization_proof_auto_with_amount_binding_strict

Verify an agent.authorization.v1 proof using a payload-derived amount binding artifact and return an error on invalid proofs.

verify_agent_authorization_proof_auto_witness_strict

Verify a witness-bound agent.authorization.v1 proof using policy parameters from the public inputs and return an error on invalid proofs.

verify_agent_authorization_proof_strict

Verify an agent.authorization.v1 proof and return an error on invalid proofs.

verify_agent_authorization_proof_with_amount_binding

Verify an agent.authorization.v1 proof against an explicit policy, payload-derived amount binding artifact, and canonical authorization receipt.

verify_agent_authorization_proof_with_amount_binding_strict

Verify an agent.authorization.v1 proof against an explicit policy, payload-derived amount binding artifact, and canonical authorization receipt, and return an error on invalid proofs.

verify_agent_authorization_proof_witness_strict

Verify a witness-bound agent.authorization.v1 proof and return an error on invalid proofs.

verify_compliance_proof

Verify a compliance proof

verify_compliance_proof_auto

Verify a compliance proof using policy parameters from the public inputs.

verify_compliance_proof_auto_bound

Verify a compliance proof using policy parameters and witness commitment from the public inputs.

verify_compliance_proof_auto_bound_strict

Verify a compliance proof using policy parameters and witness commitment from public inputs and return an error on invalid proofs.

verify_compliance_proof_auto_bound_witness_strict

Verify a witness-bound compliance proof using policy parameters and witness commitment from public inputs and return an error on invalid proofs.

verify_compliance_proof_auto_strict

Verify a compliance proof using policy parameters from the public inputs and return an error on invalid proofs.

verify_compliance_proof_auto_with_amount_binding

Verify a compliance proof using policy parameters from the public inputs and a payload-derived amount binding artifact.

verify_compliance_proof_auto_with_amount_binding_strict

Verify a compliance proof using a payload-derived amount binding artifact and return an error on invalid proofs.

verify_compliance_proof_auto_witness_strict

Verify a witness-bound compliance proof using policy parameters from the public inputs and return an error on invalid proofs.

verify_compliance_proof_strict

Verify a compliance proof and return an error on invalid proofs.

verify_compliance_proof_with_amount_binding

Verify a compliance proof against an explicit policy and a payload-derived amount binding.

verify_compliance_proof_with_amount_binding_strict

Verify a compliance proof against an explicit policy and a payload-derived amount binding, and return an error on invalid proofs.

verify_compliance_proof_witness_strict

Verify a witness-bound compliance proof and return an error on invalid proofs.