Expand description
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.