Module Kzg.CommitmentSource

Sourceexception SRS_too_short of string
Sourcemodule Commit : sig ... end
Sourcemodule Single : sig ... end
Sourcetype public_parameters = Single.public_parameters
Sourcetype prover_aux = unit
Sourceval prover_aux_t : unit Repr.t
Sourceval commit : ?all_keys:'a -> Kzg.Bls.Srs_g1.t -> Kzg.Bls.Poly.t SMap.t -> Kzg.Bls.Srs_g1.elt SMap.t * unit
Sourceval cardinal : 'a SMap.t -> int
Sourceval rename : (SMap.key -> SMap.key) -> 'a SMap.t -> 'a SMap.t
Sourceval recombine : 'a SMap.t list -> 'a SMap.t
Sourceval recombine_prover_aux : 'a -> unit
Sourceval empty : 'a SMap.t
Sourceval empty_prover_aux : unit
Sourceval of_list : 'a -> name:string -> 'b list -> 'b SMap.t * unit
Sourceval to_map : 'a -> 'a