Super_impl (mavkit-libs.Distributed_plonk.Distributed_prover.Super

Parameters

module PI : Aplonk.Pi_parameters.S

Signature

module MP : sig ... end

module Common : sig ... end

module D = Common.D

module Msg = Common.Msg

val pc_distributed_prove_super_aggregation_main : 
  workers:Distributed.Process_id.t list ->
  PC_Pack.Public_parameters.prover ->
  Kzg.Utils.Transcript.t ->
  PC_Pack.query list ->
  Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list ->
  Kzg.Bls.Poly.t SMap.t list ->
  PC_Pack.Commitment.prover_aux list ->
  (PC_Pack.proof
   * Kzg.Bls.Scalar.t Kzg.SMap.t list
   * Kzg.Bls.Scalar.t
   * Kzg.Utils.Transcript.t)
    Common.D.t

val pp_distributed_prove_super_aggregation_main : 
  workers:Distributed.Process_id.t list ->
  Common.MP.PP.PC.Public_parameters.prover ->
  Kzg__Utils.Transcript.t ->
  (Kzg.Bls.Scalar.t * int * int) ->
  commit_to_answers_map:
    (Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list ->
      PP_Pack.Answers_commitment.t)
      Kzg.SMap.t ->
  secrets_main:
    (Plonk.Identities.Evaluations.polynomial Kzg.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.Identities.Evaluations.t SMap.t ->
  ((PP_Pack.proof * PP_Pack.prover_aux) * Kzg.Utils.Transcript.t) Common.D.t

val distributed_prove_super_aggregation : 
  workers:Distributed.Process_id.t list ->
  Main_Pack.prover_public_parameters ->
  input_commit_funcs:Main_Pack.input_commit_funcs Kzg.SMap.t ->
  inputs:Common.MP.circuit_prover_input list Kzg.SMap.t ->
  (Main_Pack.proof * Main_Pack.prover_aux) Common.D.t

val distributed_prover_main : 
  workers:Distributed.Process_id.t list ->
  inputs:MP.prover_inputs ->
  MP.prover_public_parameters ->
  MP.proof D.t