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