| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bulletproofs.RangeProof.Prover
Synopsis
- generateProof :: (AsInteger f, Eq f, Field f, Show f, MonadRandom m, MonadFail m) => Integer -> (Integer, Integer) -> ExceptT RangeProofError m (RangeProof f)
- generateProofUnsafe :: (AsInteger f, Eq f, Field f, Show f, MonadRandom m, MonadFail m) => Integer -> (Integer, Integer) -> m (RangeProof f)
Documentation
Arguments
| :: (AsInteger f, Eq f, Field f, Show f, MonadRandom m, MonadFail m) | |
| => Integer | Upper bound of the range we want to prove |
| -> (Integer, Integer) | Values we want to prove in range and their blinding factors |
| -> ExceptT RangeProofError m (RangeProof f) |
Prove that a value lies in a specific range
Arguments
| :: (AsInteger f, Eq f, Field f, Show f, MonadRandom m, MonadFail m) | |
| => Integer | Upper bound of the range we want to prove |
| -> (Integer, Integer) | Values we want to prove in range and their blinding factors |
| -> m (RangeProof f) |
Generate range proof from valid inputs