Circuit (p.octez-libs.18.0.doc.octez-libs.plonk.Plonk.Circuit)

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

Sourceval gates_to_string : Plompiler.Csir.Scalar.t list SMap.t -> string

Sourcemodule Circuit : sig ... end

include module type of struct include Circuit end

Sourcetype t = private Circuit.t = {

wires : int array array;
gates : Plompiler.Csir.Scalar.t array SMap.t;
tables : Plompiler.Csir.Scalar.t array list list;
public_input_size : int;
input_com_sizes : int list;
circuit_size : int;
table_size : int;
nb_lookups : int;
ultra : bool;
range_checks : (int * int) list SMap.t;

}

val make_gates : 
  ?qc:Plompiler.Csir.Scalar.t list ->
  ?linear:(int * Plompiler.Csir.Scalar.t list) list ->
  ?linear_g:(int * Plompiler.Csir.Scalar.t list) list ->
  ?qm:Plompiler.Csir.Scalar.t list ->
  ?qx2b:Plompiler.Csir.Scalar.t list ->
  ?qx5a:Plompiler.Csir.Scalar.t list ->
  ?qx5c:Plompiler.Csir.Scalar.t list ->
  ?qecc_ws_add:Plompiler.Csir.Scalar.t list ->
  ?qecc_ed_add:Plompiler.Csir.Scalar.t list ->
  ?qecc_ed_cond_add:Plompiler.Csir.Scalar.t list ->
  ?qbool:Plompiler.Csir.Scalar.t list ->
  ?qcond_swap:Plompiler.Csir.Scalar.t list ->
  ?q_anemoi:Plompiler.Csir.Scalar.t list ->
  ?q_mod_add:(string * Plompiler.Csir.Scalar.t list) list ->
  ?q_mod_mul:(string * Plompiler.Csir.Scalar.t list) list ->
  ?q_plookup:Plompiler.Csir.Scalar.t list ->
  ?q_table:Plompiler.Csir.Scalar.t list ->
  ?precomputed_advice:Plompiler.Csir.Scalar.t list SMap.t ->
  unit ->
  Plompiler.Csir.Scalar.t list SMap.t

Source

val make : 
  wires:int list array ->
  gates:Plompiler.Csir.Scalar.t list SMap.t ->
  ?tables:Plompiler.Csir.Scalar.t array list list ->
  public_input_size:int ->
  ?input_com_sizes:int list ->
  ?range_checks:(int * int) list SMap.t ->
  unit ->
  t

Sourceval get_nb_of_constraints : t -> int

Sourceval get_selectors : t -> string list

Source

val sat : 
  Plompiler.LibCircuit.cs_result ->
  Plompiler.Csir.Scalar.t array ->
  bool

Sourceval to_plonk : Plompiler.LibCircuit.cs_result -> t