pub fn verify_hex(
proof_bytes: Buffer,
public_inputs: JsCompliancePublicInputs,
witness_commitment_hex: String,
) -> Result<JsVerificationResult>Expand description
Verify a STARK compliance proof using the witness commitment hex string.
This avoids u64 round-trip issues in JavaScript.
Malformed public inputs, malformed proof encodings, or witness-commitment binding
mismatches are reported as thrown errors rather than valid = false.