Module Polynomial_protocol.Answers_commitmentSource

Sourcemodule Commitment : sig ... end
Sourceval prover_aux_t : prover_aux Repr.t
Sourcetype public = Commitment.t
Sourceval public_t : public Repr.t
Sourcetype t = KZG_Answers_commitment.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