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.