bulletproofs-0.4.0

Bulletproofs.InnerProductProof.Prover

Synopsis

# Documentation

Arguments

 :: (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)