Crate wedpr_l_crypto_zkp_range_proof

Zero-knowledge proof (ZKP) functions for range proofs.

Functions

prove_value_range

Proves whether a value belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and create a commitment for the value. It returns:

prove_value_range_in_batch

Proves whether all values in the list belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and create commitments for them with provided random blinding values and blinding basepoint. It returns:

prove_value_range_with_blinding

Proves whether a value belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and create a commitment for the value with provided random blinding value. It returns:

prove_value_range_with_blinding_and_blinding_basepoint

Proves whether a value belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and create a commitment for the value with provided random blinding value and blinding basepoint. It returns:

verify_value_range

Verifies whether a value embedded in the commentment belongs to (0, 2^RANGE_SIZE_IN_BITS - 1].

verify_value_range_in_batch

Verifies whether all values embedded in the commentment list belongs to (0, 2^RANGE_SIZE_IN_BITS - 1].

verify_value_range_with_blinding_basepoint

Verifies whether a value embedded in the commentment belongs to (0, 2^RANGE_SIZE_IN_BITS - 1], and use provided blinding basepoint.