Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data RangeProof = RangeProof {}
- data RangeProofError
- generateProof :: MonadRandom m => Integer -> Integer -> Integer -> ExceptT RangeProofError m RangeProof
- generateProofUnsafe :: MonadRandom m => Integer -> Integer -> Integer -> m RangeProof
- verifyProof :: Integer -> Point -> RangeProof -> Bool
Documentation
data RangeProof Source #
RangeProof | |
|
Instances
Eq RangeProof Source # | |
Defined in Bulletproofs.RangeProof.Internal (==) :: RangeProof -> RangeProof -> Bool # (/=) :: RangeProof -> RangeProof -> Bool # | |
Show RangeProof Source # | |
Defined in Bulletproofs.RangeProof.Internal showsPrec :: Int -> RangeProof -> ShowS # show :: RangeProof -> String # showList :: [RangeProof] -> ShowS # |
data RangeProofError Source #
UpperBoundTooLarge Integer | The upper bound of the range is too large |
ValueNotInRange Integer | Value is not within the range required |
NNotPowerOf2 Integer | Dimension n is required to be a power of 2 |
Instances
Show RangeProofError Source # | |
Defined in Bulletproofs.RangeProof.Internal showsPrec :: Int -> RangeProofError -> ShowS # show :: RangeProofError -> String # showList :: [RangeProofError] -> ShowS # |
:: 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
:: Integer | Range upper bound |
-> Point | Commitment of an in-range value |
-> RangeProof | Proof that a secret committed value lies in a certain interval |
-> Bool |
Verify that a commitment was computed from a value in a given range