Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- verifyProof :: Integer -> InnerProductBase PA -> PA -> InnerProductProof Fr PA -> Bool
Documentation
:: 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