pub fn verify(
proof_bytes: &[u8],
public_inputs: &CompliancePublicInputs,
witness_commitment: Vec<u64>,
) -> PyResult<VerificationResult>Expand description
Verify a STARK compliance proof
Args: proof_bytes: The raw proof bytes from prove() public_inputs: Public inputs (must match those used for proving) witness_commitment: Witness commitment from the proof (list of 4 integers)
Returns: VerificationResult indicating if proof is valid
Raises: ValueError: If public inputs, proof bytes, or witness commitment are malformed
Example: >>> result = verify(proof.proof_bytes, public_inputs, proof.witness_commitment) >>> if result.valid: … print(“Proof is valid!”)