Function verify_proof

pub fn verify_proof(
    root: Field,
    nullifier_hash: Field,
    signal_hash: Field,
    external_nullifier_hash: Field,
    proof: &Proof,
    tree_depth: usize,
) -> Result<bool, ProofError>

Verifies a given semaphore proof

Errors

Returns a ProofError if verifying fails. Verification failure does not necessarily mean the proof is incorrect.