Plonk.Input_commitment
module SMap = Kzg.SMap
module type S = sig ... end
module Make_impl (Commitment : Kzg.Interfaces.Commitment) : sig ... end
module Make (Commitment : Kzg.Interfaces.Commitment) : S with module Commitment = Commitment