Skip to main content

verify_nullifier_proof

zync_core::nomt

Function verify_nullifier_proof 

Source 
pub fn verify_nullifier_proof(
    nullifier: &[u8; 32],
    nullifier_root: [u8; 32],
    is_spent: bool,
    path_proof_raw: &[u8],
    value_hash: [u8; 32],
) -> Result<bool, NomtVerifyError>
Expand description

Verify a nullifier proof against a nullifier root.

If is_spent is true, verifies the nullifier EXISTS in the tree. If is_spent is false, verifies the nullifier does NOT exist.

Returns Ok(true) if the proof matches the claimed spent status, Ok(false) if the proof contradicts the claim (server lied), Err if the proof is cryptographically invalid.