Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: (AsInteger f, Eq f, Field f) => InnerProductBase -> Point -> InnerProductWitness f -> InnerProductProof f
Documentation
:: (AsInteger f, Eq f, Field f) | |
=> 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 f | Vectors l and r that hide bit vectors aL and aR, respectively |
-> InnerProductProof f |
Generate proof that a witness l, r satisfies the inner product relation on public input (Gs, Hs, h)