Module Distributed_prover.Super_implSource

Parameters

Signature

Sourcemodule MP : sig ... end
Sourcemodule Common : sig ... end
Sourcemodule D = Common.D
Sourcemodule Msg = Common.Msg
Sourceval pc_distributed_prove_super_aggregation_main : workers:Distributed.Process_id.t list -> PC_Pack.Public_parameters.prover -> bytes -> PC_Pack.query list -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list -> Plonk.Bls.Poly.t SMap.t list -> PC_Pack.Commitment.prover_aux list -> (PC_Pack.proof * Plonk.Bls.Scalar.t Plonk.SMap.t list * Plonk.Bls.Scalar.t * bytes) Common.D.t
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 -> PP_Pack.Answers_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 SMap.t -> ((PP_Pack.proof * PP_Pack.prover_aux) * bytes) Common.D.t
Sourceval distributed_prove_super_aggregation : workers:Distributed.Process_id.t list -> Main_Pack.prover_public_parameters -> input_commit_funcs:Main_Pack.input_commit_funcs Plonk.SMap.t -> inputs:Common.MP.circuit_prover_input list Plonk.SMap.t -> (Main_Pack.proof * Main_Pack.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