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

Module `Make_impl.Commitment`Source

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

Source

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

Sourceval cardinal : Pack.commitment -> int