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 -> Plonk__Input_commitment.Make(Distributed_plonk__Distributed_prover.Main_Kzg.PP.PC.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 Kzg.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) * Kzg.Utils.Transcript.t) Common.D.t
val 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 Kzg.SMap.t -> inputs:Common.MP.circuit_prover_input list Kzg.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
val distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.prover_inputs -> MP.prover_public_parameters -> MP.proof D.t
module Worker_Main = Distributed_prover.Main_Pack
val pp_file : string
val get_distributed_pp : MP.prover_public_parameters -> bytes
OCaml

Innovation. Community. Security.