Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- verifyProof :: KnownNat p => Integer -> InnerProductBase -> Point -> InnerProductProof (PrimeField p) -> Bool
Documentation
:: 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