STARK Compliance Proofs

use ves_stark_prover::{ComplianceProver, ComplianceWitness, Policy};

// The witness holds the private amount plus the public inputs
let witness = ComplianceWitness::new(amount, public_inputs);

let policy = Policy::aml_threshold(10_000);
let prover = ComplianceProver::with_policy(policy);

let proof = prover.prove(&witness)?;
println!("proof size: {} bytes", proof.proof_bytes.len());

use ves_stark_verifier::verify_compliance_proof_auto_bound_strict;

let result = verify_compliance_proof_auto_bound_strict(
    &proof.proof_bytes,
    &public_inputs,
)?;
assert!(result.valid);

use ves_stark_client::{ProofSubmission, SequencerClient};

let client = SequencerClient::try_new("http://localhost:8080", "api_key_here")?;

// Fetch canonical public inputs for the event and validate them
let inputs = client
    .get_public_inputs_validated(event_id, "aml.threshold", 10_000)
    .await?;

let witness = ComplianceWitness::new(amount, inputs);
let proof = ComplianceProver::with_policy(Policy::aml_threshold(10_000)).prove(&witness)?;

let submission = ProofSubmission::aml_threshold(
    event_id,
    10_000,
    proof.proof_bytes,
    proof.witness_commitment,
);
client.submit_proof(submission).await?;

[dependencies]
ves-stark-prover = "0.3"
ves-stark-verifier = "0.3"
ves-stark-primitives = "0.3"