Up – Package index » tezos-plonk » Library tezos-plonk.aggregation » Aggregation » Polynomial_commitment » Commitment

Module `Polynomial_commitment.Commitment`Source

Sourcetype t = Make(Pack)(Plonk.Polynomial_commitment.Kzg_impl).Commitment.t

Sourceval t : t Repr.t

type prover_aux =
  Make(Pack)(Plonk.Polynomial_commitment.Kzg_impl).Commitment.prover_aux

Sourceval prover_aux_t : prover_aux Repr.t

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

Sourceval cardinal : t -> int