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);