Module solana_zk_token_sdk::instruction::range_proof

source ·
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§

  • 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.