Commitment (p.tezos-plonk.1.0.0.doc.tezos-plonk.distribution.Distribution.Main

include Plonk.Polynomial_commitment.Commitment_sig
  with type secret := BasePC.secret
  with type prover_public_parameters := BasePC.Public_parameters.prover

type t

val t : t Repr.t

type prover_aux

val prover_aux_t : prover_aux Repr.t

val commit : 
  ?all_keys:string list ->
  BasePC.Public_parameters.prover ->
  BasePC.secret ->
  t * prover_aux

val cardinal : t -> int

val recombine : t list -> t

val recombine_prover_aux : prover_aux list -> prover_aux

val empty : t

val empty_prover_aux : prover_aux