Skip to main content

prove

ves_stark

Function prove 

Source 
pub fn prove(
    amount: u64,
    public_inputs: &CompliancePublicInputs,
    policy: &Policy,
) -> PyResult<ComplianceProof>
Expand description

Generate a STARK compliance proof for the provided amount witness.

Args: amount: The amount to prove compliance for (must satisfy policy constraint) public_inputs: Public inputs including event metadata and policy info policy: The policy to prove compliance against

Returns: ComplianceProof containing proof bytes and metadata

Raises: ValueError: If inputs are invalid RuntimeError: If proof generation fails

Note: This proves a statement about the supplied amount witness. Binding that witness back to encrypted payload contents is the responsibility of the surrounding pipeline, not this library.

Example: >>> policy = Policy.aml_threshold(10000) >>> proof = prove(5000, public_inputs, policy) >>> print(f“Proof generated in {proof.proving_time_ms}ms“)