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