Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: MonadRandom m => Integer -> [(Fr, Fr)] -> ExceptT (RangeProofError Fr) m (RangeProof Fr PA)
- generateProofUnsafe :: forall m. MonadRandom m => Integer -> [(Fr, Fr)] -> m (RangeProof Fr PA)
Documentation
:: MonadRandom m | |
=> Integer | Upper bound of the range we want to prove |
-> [(Fr, Fr)] | Values we want to prove in range and their blinding factors |
-> ExceptT (RangeProofError Fr) m (RangeProof Fr PA) |
Prove that a list of values lies in a specific range
:: MonadRandom m | |
=> Integer | Upper bound of the range we want to prove |
-> [(Fr, Fr)] | Values we want to prove in range and their blinding factors |
-> m (RangeProof Fr PA) |
Generate range proof from valid inputs