Function verify_proof 

pub fn verify_proof(input: &VerifyInput) -> bool

Verify a proof using constant-time comparison.

Security Note

This function uses constant-time comparison to prevent timing attacks. The comparison time does not depend on where differences occur.

Example

use ash_core::{build_proof, verify_proof, AshMode, VerifyInput};

let expected = build_proof(
    AshMode::Balanced,
    "POST /api/profile",
    "ctx_abc123",
    None,
    r#"{"name":"John"}"#,
).unwrap();

let input = VerifyInput::new(&expected, &expected);
assert!(verify_proof(&input));