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

Module `Make_impl.Commitment`Source

type t = Super_PP.PC.Commitment.t

val t : t Repr.t

type prover_aux = Super_PP.PC.Commitment.prover_aux

val prover_aux_t : prover_aux Repr.t

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

val cardinal : t -> int