Module range_proof

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

• RangeProofContext
  The context data needed to verify a range-proof for a committed value in a Pedersen commitment.
• RangeProofU64Data
  The instruction data that is needed for the ProofInstruction::VerifyRangeProofU64 instruction.