Module Make.Input_commitmentSource

Sourcetype prover_aux = {
  1. poly : Plonk.Bls.Poly.t;
  2. pc_prover_aux : Commitment.prover_aux;
}
Sourceval prover_aux_t : prover_aux Repr.t
Sourcetype public = Commitment.t
Sourceval public_t : public Repr.t
Sourcetype t = {
  1. public : public;
  2. prover_aux : prover_aux;
}
Sourceval t : t Repr.t
Sourceval commit : ?size:int -> ?shift:int -> public_parameters -> int -> Plonk.Bls.Scalar.t array -> t