package octez-libs

  1. Overview
  2. Docs

Parameters

Signature

module MP = MP
module Msg : sig ... end
module D : sig ... end
val pp_distributed_prove_aux : workers:Distributed.Process_id.t list -> MP.PP.PC.Public_parameters.prover -> Kzg__Utils.Transcript.t -> n:int -> generator:Kzg.Bls.Scalar.t -> secrets_main: (Plonk.Identities.Evaluations.polynomial Kzg.SMap.t * 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 -> nb_of_t_chunks:int -> ((Kzg.Bls.Scalar.t * Kzg.Bls.Scalar.t * MP.PP.PC.answer list * MP.PP.PC.Commitment.t) * Plonk.Identities.Evaluations.polynomial Kzg.SMap.t list * MP.PP.PC.Commitment.prover_aux list * Kzg.Bls.Scalar.t Plonk.Identities.SMap.t list * Kzg__Utils.Transcript.t) D.t
val pp_distributed_prove_main : workers:Distributed.Process_id.t list -> MP.PP.PC.Public_parameters.prover -> Kzg__Utils.Transcript.t -> (Kzg.Bls.Scalar.t * int * int) -> secrets_main: (Plonk.Identities.Evaluations.polynomial Kzg.SMap.t * 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 -> (MP.PP.proof * Kzg.Utils.Transcript.t) D.t
val distributed_prover : workers:Distributed.Process_id.t list -> pp_prove: (workers:Distributed.Process_id.t list -> MP.PP.prover_public_parameters -> Kzg.Utils.Transcript.t -> (MP.scalar * int * int) -> secrets_main: (Kzg.Bls.Poly.t Kzg.SMap.t * 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 -> ('a * 'b) D.t) -> MP.prover_public_parameters -> inputs:MP.circuit_prover_input list Kzg.SMap.t -> ('c * 'd * (MP.PP.PC.Commitment.t * MP.PP.PC.Commitment.t * Kzg.Bls.Scalar.t * Kzg.Bls.Scalar.t * Kzg.Bls.Scalar.t)) D.t
val distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.circuit_prover_input list Kzg.SMap.t -> MP.prover_public_parameters -> MP.proof D.t
OCaml

Innovation. Community. Security.