Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: MonadRandom m => Integer -> Integer -> Integer -> ExceptT RangeProofError m RangeProof
- generateProofUnsafe :: MonadRandom m => Integer -> Integer -> Integer -> m RangeProof
Documentation
:: MonadRandom m | |
=> Integer | Upper bound of the range we want to prove |
-> Integer | Value we want to prove in range |
-> Integer | Blinding factor |
-> ExceptT RangeProofError m RangeProof |
Prove that a value lies in a specific range
:: MonadRandom m | |
=> Integer | Upper bound of the range we want to prove |
-> Integer | Value we want to prove in range |
-> Integer | Blinding factor |
-> m RangeProof |
Generate range proof from valid inputs