Expand description
The range proof instruction.
A range proof certifies that a committed value in a Pedersen commitment is a number from a
certain range. Currently, only 64-bit range proof VerifyRangeProofU64
is supported in the
proof program. It certifies that a committed number is an unsigned 64-bit number.
Structs§
- The context data needed to verify a range-proof for a committed value in a Pedersen commitment.
- The instruction data that is needed for the
ProofInstruction::VerifyRangeProofU64
instruction.