Module Input_commitment.Make_impl

Parameters

Signature

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