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