Commitment (p.tezos-plonk.1.0.1.doc.tezos-plonk.distribution.Distribution.Kzg_pack.Kzg_pack

Sourcetype t = Aggregation.Pack.commitment

Sourceval t : Aggregation.Pack.commitment Repr.t

type prover_aux =
  Kzg.Kzg_impl.Commitment.t * Kzg.Kzg_impl.Commitment.prover_aux

Source

val prover_aux_t : 
  (Kzg.Kzg_impl.Commitment.t * Kzg.Kzg_impl.Commitment.prover_aux) Repr.t

Source

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

Sourceval cardinal : Aggregation.Pack.commitment -> int

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

Source

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

Sourceval empty : Aggregation.Pack.commitment

Source

val empty_prover_aux : 
  Kzg.Kzg_impl.Commitment.t * Kzg.Kzg_impl.Commitment.prover_aux