Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- verifyProof :: (AsInteger f, Field f) => Integer -> InnerProductBase -> Point -> InnerProductProof f -> Bool
Documentation
:: (AsInteger f, Field f) | |
=> Integer | Range upper bound |
-> InnerProductBase | Generators Gs, Hs, h |
-> Point | Commitment P |
-> InnerProductProof f | Proof that a secret committed value lies in a certain interval |
-> Bool |
Optimized non-interactive verifier using multi-exponentiation and batch verification