Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: (AsInteger f, Eq f, Field f, Show f, MonadRandom m) => Integer -> [(Integer, Integer)] -> ExceptT RangeProofError m (RangeProof f)
- generateProofUnsafe :: forall f m. (AsInteger f, Eq f, Field f, Show f, MonadRandom m) => Integer -> [(Integer, Integer)] -> m (RangeProof f)
Documentation
:: (AsInteger f, Eq f, Field f, Show f, MonadRandom 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 list of values lies in a specific range
:: (AsInteger f, Eq f, Field f, Show f, MonadRandom 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