Input_commitment (mavkit-libs.Plonk.Main_protocol.Input

module Commitment : sig ... end

type public_parameters = Commitment.public_parameters

type prover_aux = Make(Polynomial_protocol).Input_commitment.prover_aux = {

}

val prover_aux_t : prover_aux Repr.t

type public = Commitment.t

val public_t : public Repr.t

type t = Make(Polynomial_protocol).Input_commitment.t = {

}

val t : t Repr.t

val commit : 
  ?size:int ->
  ?shift:int ->
  public_parameters ->
  int ->
  Kzg.Bls.Scalar.t array ->
  t