Commitment (u.bf33b14b2bf5d4cac9b20b763c83179f.tezos-plonk.1.0.1.doc.tezos-plonk.distribution.Distribution.Kzg

include module type of struct include BasePC.Commitment end

Sourcetype t = Pack.commitment

Sourceval t : Pack.commitment Repr.t

Sourcetype prover_aux = PC.Commitment.t * PC.Commitment.prover_aux

Sourceval prover_aux_t : (PC.Commitment.t * PC.Commitment.prover_aux) Repr.t

val commit : 
  ?all_keys:Plonk.SMap.key Plonk.List.t ->
  BasePC.Public_parameters.prover ->
  PC.Polynomial.Polynomial.t Plonk.SMap.t ->
  Pack.commitment * (PC.Commitment.t * PC.Commitment.prover_aux)

Sourceval cardinal : Pack.commitment -> int

Sourceval recombine : Pack.commitment list -> Pack.commitment

Source

val recombine_prover_aux : 
  (PC.Commitment.t * PC.Commitment.prover_aux) list ->
  PC.Commitment.t * PC.Commitment.prover_aux

Sourceval empty : Pack.commitment

Sourceval empty_prover_aux : PC.Commitment.t * PC.Commitment.prover_aux