Function verify_range 

pub fn verify_range(
    params: &BulletproofParams,
    commitment: &BulletproofCommitment,
    proof: &BulletproofRangeProof,
) -> BulletproofResult<()>

Verify a Bulletproof range proof.

Arguments

• params - Bulletproof parameters
• commitment - Commitment to the value
• proof - The range proof to verify

Example

use chie_crypto::bulletproof::{BulletproofParams, prove_range, verify_range};

let params = BulletproofParams::new(32);
let (commitment, proof) = prove_range(&params, 1000).unwrap();
assert!(verify_range(&params, &commitment, &proof).is_ok());