octez-libs.distributed-plonk
Super_impl.Common
aggregation
bare_functor_outputs
bare_sigs
bare_structs
communication
distribution
octez-libs.aplonk
octez-libs.base
octez-libs.base-test-helpers
octez-libs.bls12-381-hash
octez-libs.bls12-381-polynomial
octez-libs.bls12-381-signature
octez-libs.clic
octez-libs.context
octez-libs.crypto
octez-libs.crypto-dal
octez-libs.epoxy-tx
octez-libs.error-monad
octez-libs.event-logging
octez-libs.event-logging-test-helpers
octez-libs.expect-helper
octez-libs.hacl
octez-libs.lazy-containers
octez-libs.lwt-result-stdlib
octez-libs.mec
octez-libs.micheline
octez-libs.plompiler
octez-libs.plonk
octez-libs.polynomial
octez-libs.requester
octez-libs.rpc
octez-libs.rpc-http
octez-libs.rpc-http-client
octez-libs.rpc-http-client-unix
octez-libs.rpc-http-server
octez-libs.srs-extraction
octez-libs.stdlib
octez-libs.stdlib-unix
octez-libs.test-helpers
octez-libs.tezos-context
octez-libs.tezos-gossipsub
octez-libs.tezos-p2p-services
octez-libs.tezos-sapling
octez-libs.tezos-workers
octez-libs.tree-encoding
octez-libs.version
plonk_test
tezos_base_p2p_identity_file
tezos_base_unix
tezos_clic_unix
tezos_context_disk
tezos_context_dump
tezos_context_encoding
tezos_context_helpers
tezos_context_memory
tezos_context_merkle_proof_encoding
tezos_context_sigs
tezos_crypto_dal_octez_dal_config
tezos_version_parser
traced_functor_outputs
traced_sigs
traced_structs
traces
module MP : sig ... end
module Msg : sig ... end
module D : sig ... end
val pc_distributed_prove_main : workers:Distributed.Process_id.t list -> MP.PP.PC.Public_parameters.prover -> MP.PP.PC.transcript -> MP.PP.PC.query list -> MP.PP.PC.answer list -> Plonk.Bls.Poly.t SMap.t list -> MP.PP.PC.Commitment.prover_aux list -> (MP.PP.PC.proof * MP.PP.PC.transcript * MP.PP.PC.partial_prover_aux) D.t
val pp_distributed_prove_aux : workers:Distributed.Process_id.t list -> MP.PP.PC.Commitment.prover_public_parameters -> 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 * Bytes.t) D.t
val pp_distributed_prove_main : workers:Distributed.Process_id.t list -> MP.PP.PC.Commitment.prover_public_parameters -> 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