Distributed_prover (mavkit-libs.Distributed_plonk.Distributed

module SMap = Kzg.SMap

module type S = sig ... end

module Make_common (MP : Distribution.Main_protocol.S) : sig ... end

module PC_Kzg = Distribution.Polynomial_commitment.Kzg_impl

module PP_Kzg : sig ... end

module Main_Kzg : sig ... end

module PC_Pack = Distribution.Kzg_pack.Kzg_pack_impl

module PP_Pack : sig ... end

module Main_Pack : sig ... end

module Make_aPlonk (PIs : Aplonk.Pi_parameters.S) : sig ... end

module Super_impl (PI : Aplonk.Pi_parameters.S) : sig ... end

module Make (MP : Distribution.Main_protocol.S) : S

module Super (PI : Aplonk.Pi_parameters.S) : S