Module Distribution_helpers.DP_MetaSource

Parameters

Signature

Sourcemodule MP : sig ... end
Sourcemodule Common : sig ... end
Sourcemodule D = Common.D
Sourcemodule Msg = Common.Msg
Sourceval pp_distributed_prove_super_aggregation_main : workers:Distributed.Process_id.t list -> Common.MP.PP.PC.Commitment.prover_public_parameters -> Bytes.t -> (Plonk.Bls.Scalar.t * int * int) -> commit_to_answers_map: (Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list -> Plonk__Input_commitment.Make(Distributed_plonk__Distributed_prover.Main_Kzg.PP.PC.Commitment).t) Plonk.SMap.t -> secrets_main: (Plonk.Bls.Evaluations.polynomial Plonk.SMap.t * Common.MP.PP.PC.Commitment.prover_aux) list -> eval_points_main:Plonk.Identities.eval_point list list -> eval_points_worker:Plonk.Identities.eval_point list list -> evaluated_perm_ids:Plonk.Bls.Evaluations.t Plonk.SMap.t -> ((Distribution__Polynomial_protocol.MakeSuper(Distribution.Kzg_pack.Kzg_pack_impl)(Distributed_plonk__Distributed_prover.Main_Kzg.Input_commitment).proof * Distribution__Polynomial_protocol.MakeSuper(Distribution.Kzg_pack.Kzg_pack_impl)(Distributed_plonk__Distributed_prover.Main_Kzg.Input_commitment).prover_aux) * bytes) Common.D.t
Sourceval distributed_prove_super_aggregation : workers:Distributed.Process_id.t list -> Plonk__Main_protocol.Make_impl(Distributed_plonk__Distributed_prover.Main_Pack.PP).Prover.public_parameters -> input_commit_funcs: Aggregation__Main_protocol.Make_impl(Distributed_plonk__Distributed_prover.Main_Pack.PP).input_commit_funcs Plonk.SMap.t -> inputs:Common.MP.circuit_prover_input list Plonk.SMap.t -> (Plonk__Main_protocol.Make_impl(Distributed_plonk__Distributed_prover.Main_Pack.PP).proof * Aggregation__Main_protocol.Make_impl(Distributed_plonk__Distributed_prover.Main_Pack.PP).prover_aux) Common.D.t
Sourceval distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.prover_inputs -> MP.prover_public_parameters -> MP.proof D.t
Sourceval pp_file : string
Sourceval get_distributed_pp : MP.prover_public_parameters -> bytes