Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: InnerProductBase -> Point -> InnerProductWitness -> InnerProductProof
- verifyProof :: Integer -> InnerProductBase -> Point -> InnerProductProof -> Bool
- data InnerProductProof = InnerProductProof {}
- data InnerProductBase = InnerProductBase {}
- data InnerProductWitness = InnerProductWitness {}
Documentation
:: InnerProductBase | Generators Gs, Hs, h |
-> Point | Commitment P = A + xS − zG + (z*y^n + z^2 * 2^n) * hs' of vectors l and r whose inner product is t |
-> InnerProductWitness | Vectors l and r that hide bit vectors aL and aR, respectively |
-> InnerProductProof |
Generate proof that a witness l, r satisfies the inner product relation on public input (Gs, Hs, h)
:: Integer | Range upper bound |
-> InnerProductBase | Generators Gs, Hs, h |
-> Point | Commitment P |
-> InnerProductProof | Proof that a secret committed value lies in a certain interval |
-> Bool |
Optimized non-interactive verifier using multi-exponentiation and batch verification
data InnerProductProof Source #
InnerProductProof | |
|
Instances
Eq InnerProductProof Source # | |
Defined in Bulletproofs.InnerProductProof.Internal (==) :: InnerProductProof -> InnerProductProof -> Bool # (/=) :: InnerProductProof -> InnerProductProof -> Bool # | |
Show InnerProductProof Source # | |
Defined in Bulletproofs.InnerProductProof.Internal showsPrec :: Int -> InnerProductProof -> ShowS # show :: InnerProductProof -> String # showList :: [InnerProductProof] -> ShowS # |
data InnerProductBase Source #
Instances
Eq InnerProductBase Source # | |
Defined in Bulletproofs.InnerProductProof.Internal (==) :: InnerProductBase -> InnerProductBase -> Bool # (/=) :: InnerProductBase -> InnerProductBase -> Bool # | |
Show InnerProductBase Source # | |
Defined in Bulletproofs.InnerProductProof.Internal showsPrec :: Int -> InnerProductBase -> ShowS # show :: InnerProductBase -> String # showList :: [InnerProductBase] -> ShowS # |
data InnerProductWitness Source #
Instances
Eq InnerProductWitness Source # | |
Defined in Bulletproofs.InnerProductProof.Internal (==) :: InnerProductWitness -> InnerProductWitness -> Bool # (/=) :: InnerProductWitness -> InnerProductWitness -> Bool # | |
Show InnerProductWitness Source # | |
Defined in Bulletproofs.InnerProductProof.Internal showsPrec :: Int -> InnerProductWitness -> ShowS # show :: InnerProductWitness -> String # showList :: [InnerProductWitness] -> ShowS # |