package octez-libs

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

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.Commitment.prover_public_parameters -> Stdlib.Bytes.t -> n:int -> generator:Plonk.Bls.Scalar.t -> secrets_main: (Plonk.Bls.Evaluations.polynomial Plonk.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.Bls.Evaluations.t SMap.t -> nb_of_t_chunks:int -> ((Plonk.Bls.Scalar.t * Plonk.Bls.Scalar.t * MP.PP.PC.answer list * MP.PP.PC.Commitment.t) * Plonk.Bls.Evaluations.polynomial Plonk.SMap.t list * MP.PP.PC.Commitment.prover_aux list * Plonk.Bls.Scalar.t Plonk.SMap.t list * Stdlib.Bytes.t) D.t
val pp_distributed_prove_main : workers:Distributed.Process_id.t list -> MP.PP.PC.Commitment.prover_public_parameters -> Stdlib.Bytes.t -> (Plonk.Bls.Scalar.t * int * int) -> secrets_main: (Plonk.Bls.Evaluations.polynomial Plonk.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.Bls.Evaluations.t SMap.t -> (MP.PP.proof * MP.PP.PC.transcript) D.t
val distributed_prover : workers:Distributed.Process_id.t list -> pp_prove: (workers:Distributed.Process_id.t list -> MP.PP.prover_public_parameters -> bytes -> (MP.scalar * int * int) -> secrets_main: (Plonk.Bls.Poly.t Plonk.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.Bls.Evaluations.t Plonk.SMap.t -> ('a * 'b) D.t) -> MP.prover_public_parameters -> inputs:MP.circuit_prover_input list Plonk.SMap.t -> ('a * 'b * (MP.PP.PC.Commitment.t * MP.PP.PC.Commitment.t * Plonk.Bls.Scalar.t * Plonk.Bls.Scalar.t * Plonk.Bls.Scalar.t)) D.t
val distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.circuit_prover_input list Plonk.SMap.t -> MP.prover_public_parameters -> MP.proof D.t
OCaml

Innovation. Community. Security.