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)