Crate ves_stark 

Python bindings for VES STARK proof system

This crate provides Python bindings for generating and verifying STARK compliance proofs using PyO3.

Structs

ComplianceProof

Result of proof generation

CompliancePublicInputs

Public inputs for compliance proof generation/verification

Policy

Policy type for compliance proofs

VerificationResult

Result of proof verification

Functions

compute_policy_hash

Compute the policy hash for given policy ID and parameters

create_payload_amount_binding

Create a canonical payload amount binding for the supplied public inputs and extracted amount.

prove

Generate a STARK compliance proof for the provided amount witness.

verify

Verify a STARK compliance proof

verify_agent_authorization

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

verify_agent_authorization_with_amount_binding

Verify an agent.authorization.v1 proof against both a canonical payload amount binding and a canonical authorization receipt.

verify_with_amount_binding

Verify a STARK compliance proof against a canonical payload amount binding.