Distribution_helpers (mavkit-libs.Distributed_plonk.Distribution

val nb_proofs : int

val circuit_size : int

module Scalar = Kzg.Bls.Scalar

module Port : sig ... end

module type DP_for_tests = sig ... end

module DP_PlonK (Main : Distribution.Main_protocol.S) : sig ... end

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

module No_public_input_PIs : sig ... end

module Rollup_example_PIs : sig ... end

module DP_Kzg () : sig ... end

module DP_Pack () : sig ... end

module DP_Meta () : sig ... end

val srs : Mavkit_bls12_381_polynomial.Srs.t * Mavkit_bls12_381_polynomial.Srs.t

module Circuit_Builder : sig ... end

module Helpers (DP : DP_for_tests) : sig ... end