Perm (p.octez-libs.18.0.doc.octez-libs.distributed-plonk.Distributed_plonk.Distributed_prover.Main

Octez-libs: Octez libraries
- README
- Lwtreslib: an Lwt- and Result-friendly addition/replacement for the Stdlib
- Workers: Local, Lwt-based event-loops
- Library aggregation
  - Aggregation
- Library bare_functor_outputs
  - Bare_functor_outputs
- Library bare_sigs
  - Bare_sigs
- Library bare_structs
  - Bare_structs
- Library communication
  - Communication
- Library distribution
  - Distribution
- Library octez-libs.aplonk
  - Aplonk
- Library octez-libs.base
  - Tezos_base
- Library octez-libs.base-test-helpers
  - Tezos_base_test_helpers
- Library octez-libs.bls12-381-hash
  - Bls12_381_hash
- Library octez-libs.bls12-381-polynomial
  - Octez_bls12_381_polynomial
- Library octez-libs.bls12-381-signature
  - Bls12_381_signature
- Library octez-libs.clic
  - Tezos_clic
- Library octez-libs.context
- Library octez-libs.crypto
  - Tezos_crypto
- Library octez-libs.crypto-dal
  - Tezos_crypto_dal
- Library octez-libs.distributed-plonk
  - Distributed_plonk
- Library octez-libs.epoxy-tx
  - Epoxy_tx
- Library octez-libs.error-monad
  - Tezos_error_monad
- Library octez-libs.event-logging
  - Tezos_event_logging
- Library octez-libs.event-logging-test-helpers
  - Tezos_event_logging_test_helpers
- Library octez-libs.expect-helper
  - Tezos_expect_helper
- Library octez-libs.hacl
  - Tezos_hacl
- Library octez-libs.lazy-containers
  - Tezos_lazy_containers
- Library octez-libs.lwt-result-stdlib
  - Tezos_lwt_result_stdlib
- Library octez-libs.mec
  - Mec
- Library octez-libs.micheline
  - Tezos_micheline
- Library octez-libs.plompiler
  - Plompiler
- Library octez-libs.plonk
  - Plonk
- Library octez-libs.polynomial
  - Polynomial
- Library octez-libs.requester
  - Tezos_requester
- Library octez-libs.rpc
  - Tezos_rpc
- Library octez-libs.rpc-http
  - Tezos_rpc_http
- Library octez-libs.rpc-http-client
  - Tezos_rpc_http_client
- Library octez-libs.rpc-http-client-unix
  - Tezos_rpc_http_client_unix
- Library octez-libs.rpc-http-server
  - Tezos_rpc_http_server
- Library octez-libs.srs-extraction
  - Octez_srs_extraction
- Library octez-libs.stdlib
  - Tezos_stdlib
- Library octez-libs.stdlib-unix
  - Tezos_stdlib_unix
- Library octez-libs.test-helpers
  - Tezos_test_helpers
- Library octez-libs.tezos-context
  - Tezos_context
- Library octez-libs.tezos-gossipsub
  - Tezos_gossipsub
- Library octez-libs.tezos-p2p-services
  - Tezos_p2p_services
- Library octez-libs.tezos-sapling
  - Tezos_sapling
- Library octez-libs.tezos-workers
  - Tezos_workers
- Library octez-libs.tree-encoding
  - Tezos_tree_encoding
- Library octez-libs.version
  - Tezos_version
- Library plonk_test
  - Plonk_test
- Library tezos_base_p2p_identity_file
  - Tezos_base_p2p_identity_file
- Library tezos_base_unix
  - Tezos_base_unix
- Library tezos_clic_unix
  - Tezos_clic_unix
- Library tezos_context_disk
  - Tezos_context_disk
- Library tezos_context_dump
  - Tezos_context_dump
- Library tezos_context_encoding
  - Tezos_context_encoding
- Library tezos_context_helpers
  - Tezos_context_helpers
- Library tezos_context_memory
  - Tezos_context_memory
- Library tezos_context_merkle_proof_encoding
  - Tezos_context_merkle_proof_encoding
- Library tezos_context_sigs
  - Tezos_context_sigs
- Library tezos_crypto_dal_octez_dal_config
  - Tezos_crypto_dal_octez_dal_config
- Library tezos_version_parser
  - Tezos_version_parser
- Library traced_functor_outputs
  - Traced_functor_outputs
- Library traced_sigs
  - Traced_sigs
- Library traced_structs
  - Traced_structs
- Library traces
  - Traces
- Sources

module PP : sig ... end

val shared_z_names : string list

val srs_size : zero_knowledge:bool -> n:int -> int

val polynomials_degree : nb_wires:int -> int

val build_permutation : int array array -> int array

val preprocessing : 
  ?external_prefix:string ->
  domain:Plonk.Bls.Domain.t ->
  permutation:int array ->
  nb_wires:int ->
  unit ->
  Plonk.Bls.Poly.t Plonk.SMap.t

val common_preprocessing : 
  nb_wires:int ->
  domain:Plonk.Bls.Domain.t ->
  evaluations:Plonk.Bls.Evaluations.t Plonk.SMap.t ->
  Plonk.Bls.Evaluations.t Plonk.SMap.t

val prover_identities : 
  ?external_prefix:string ->
  ?circuit_prefix:(string -> string) ->
  wires_names:string list ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  n:int ->
  unit ->
  Plonk.Identities.prover_identities

val verifier_identities : 
  ?external_prefix:string ->
  ?circuit_prefix:(string -> string) ->
  nb_proofs:int ->
  generator:Plonk.Bls.Scalar.t ->
  n:int ->
  wires_names:string list ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  delta:Plonk.Bls.Scalar.t ->
  unit ->
  Plonk.Identities.verifier_identities

val f_map_contribution : 
  ?external_prefix:string ->
  permutation:int array ->
  values:Plonk.Bls.Evaluations.t Plonk.SMap.t ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  domain:Plonk.Bls.Domain.t ->
  unit ->
  Plonk.Bls.Poly.t Plonk.SMap.t

val cs : 
  ?external_prefix:string ->
  l1:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  ss_list:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  beta:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  gamma:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  x:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  z:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  zg:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr ->
  aggregated_wires:Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list ->
  unit ->
  (string * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr) list
    Plompiler.LibCircuit.t

module Shared_argument : sig ... end