| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bulletproofs.InnerProductProof.Verifier
Synopsis
- verifyProof :: (AsInteger f, Field f) => Integer -> InnerProductBase -> Point -> InnerProductProof f -> Bool
Documentation
Arguments
| :: (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