| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bulletproofs.InnerProductProof.Prover
Synopsis
- generateProof :: KnownNat p => InnerProductBase -> Point -> InnerProductWitness (PrimeField p) -> InnerProductProof (PrimeField p)
Documentation
Arguments
| :: KnownNat p | |
| => InnerProductBase | Generators Gs, Hs, h |
| -> Point | Commitment P = A + xS − zG + (z*y^n + z^2 * 2^n) * hs' of vectors l and r whose inner product is t |
| -> InnerProductWitness (PrimeField p) | Vectors l and r that hide bit vectors aL and aR, respectively |
| -> InnerProductProof (PrimeField p) |
Generate proof that a witness l, r satisfies the inner product relation on public input (Gs, Hs, h)