package octez-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module MP : sig ... end
module Common : sig ... end
module D = Common.D
module Msg = Common.Msg
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
OCaml

Innovation. Community. Security.