Module `Kzg_impl.Commitment`Source

Sourcetype t = G1.t SMap.t

Sourceval t : G1.t SMap.t Repr.ty

Sourcetype prover_aux = unit

Sourceval prover_aux_t : unit Repr.t

Sourceval commit_single : Public_parameters.prover -> Poly.t -> G1.t

val commit : 
  ?all_keys:'a ->
  Public_parameters.prover ->
  Poly.t SMap.t ->
  G1.t SMap.t * unit

Sourceval cardinal : 'a SMap.t -> int