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