Bulletproofs.RangeProof.Prover

Documentation

generateProof

Arguments

:: (KnownNat p, MonadRandom m)

=> Integer

Upper bound of the range we want to prove

-> (PrimeField p, PrimeField p)

Values we want to prove in range and their blinding factors

-> ExceptT (RangeProofError (PrimeField p)) m (RangeProof (PrimeField p))

Prove that a value lies in a specific range

generateProofUnsafe

Arguments

:: (KnownNat p, MonadRandom m)

=> Integer

Upper bound of the range we want to prove

-> (PrimeField p, PrimeField p)

Values we want to prove in range and their blinding factors

-> m (RangeProof (PrimeField p))

Generate range proof from valid inputs