Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: KnownNat p => InnerProductBase -> Point -> InnerProductWitness (PrimeField p) -> InnerProductProof (PrimeField p)
- verifyProof :: KnownNat p => Integer -> InnerProductBase -> Point -> InnerProductProof (PrimeField p) -> Bool
- data InnerProductProof f = InnerProductProof {}
- data InnerProductBase = InnerProductBase {}
- data InnerProductWitness f = InnerProductWitness {}
Documentation
:: KnownNat p | |
=> 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 (PrimeField p) | Vectors l and r that hide bit vectors aL and aR, respectively |
-> InnerProductProof (PrimeField p) |
Generate proof that a witness l, r satisfies the inner product relation on public input (Gs, Hs, h)
:: KnownNat p | |
=> Integer | Range upper bound |
-> InnerProductBase | Generators Gs, Hs, h |
-> Point | Commitment P |
-> InnerProductProof (PrimeField p) | 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 Source #
InnerProductProof | |
|
Instances
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 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 # |