Plookup_gate_impl (p.octez-libs.18.0.doc.octez-libs.plonk.Plonk.Plookup_gate.Plookup_gate

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

Parameters

module PP : Polynomial_protocol.S

Signature

module PP = PP

Sourceexception Entry_not_in_table of string

Sourceval q_label : string

Sourceval q_table : string

Sourceval f : string

Sourceval fg : string

Sourceval z : string

Sourceval t : string

Sourceval h1 : string

Sourceval h2 : string

Sourceval zg : string

Sourceval tg : string

Sourceval h1g : string

Sourceval h2g : string

Sourceval l1 : string

Sourceval ln_p_1 : string

Sourceval x_m_1 : string

Sourceval x : string

Source

type public_parameters =
  (PP.prover_public_parameters * PP.verifier_public_parameters)
  * Plonk.Bls.Scalar.t array list
  * Plonk.Bls.Poly.t SMap.t

Sourceval zero : Plonk.Bls.Scalar.t

Sourceval one : Plonk.Bls.Scalar.t

Sourceval mone : Plonk.Bls.Scalar.t

Sourceval get_alpha : 'a option -> 'a

Source

val gate_identity : 
  circuit_prefix:(string -> string) ->
  prefix:(string -> SMap.key) ->
  n:int ->
  generator:Plonk.Bls.Scalar.t ->
  wires_names:string list ->
  alpha:Plonk.Bls.Scalar.t ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  Identities.verifier_identities

Source

val prover_identities_aux : 
  circuit_prefix:(string -> SMap.key) ->
  prefix:(string -> SMap.key) ->
  wires_names:string list ->
  alpha:Plonk.Bls.Scalar.t ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  int ->
  Identities.prover_identities

Sourcemodule Plookup_poly : sig ... end

Sourceval srs_size : length_table:int -> int

Sourceval polynomials_degree : unit -> int

Source

val common_preprocessing : 
  n:int ->
  domain:Bls.Evaluations.domain ->
  evaluations:Bls.Evaluations.t SMap.t ->
  Bls.Evaluations.t SMap.t

Source

val preprocessing : 
  domain:Bls.Evaluations.domain ->
  tables:Plonk.Bls.Scalar.t array list ->
  alpha:Plonk.Bls.Scalar.t option ->
  unit ->
  Bls.Evaluations.polynomial SMap.t

Source

val format_tables : 
  tables:Plonk.Bls.Scalar.t array list List.t ->
  nb_columns:int ->
  length_not_padded:int ->
  length_padded:int ->
  Plonk.Bls.Scalar.t array list

Source

val prover_identities : 
  ?circuit_prefix:(SMap.key -> SMap.key) ->
  proof_prefix:(string -> SMap.key) ->
  wires_names:string list ->
  alpha:Plonk.Bls.Scalar.t option ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  n:int ->
  unit ->
  Identities.prover_identities

Source

val verifier_identities : 
  ?circuit_prefix:(string -> string) ->
  proof_prefix:(string -> SMap.key) ->
  n:int ->
  generator:Plonk.Bls.Scalar.t ->
  wires_names:string list ->
  alpha:Plonk.Bls.Scalar.t option ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  unit ->
  Identities.verifier_identities

Source

val f_map_contribution : 
  wires:Bls.Evaluations.t SMap.t ->
  gates:Plonk.Bls.Scalar.t array SMap.t ->
  tables:Plonk.Bls.Scalar.t array list ->
  alpha:Plonk.Bls.Scalar.t option ->
  beta:Plonk.Bls.Scalar.t ->
  gamma:Plonk.Bls.Scalar.t ->
  domain:Plonk.Bls.Domain.t ->
  Bls.Evaluations.polynomial SMap.t