octez-libs.aplonk
V.Constraints
aggregation
bare_functor_outputs
bare_sigs
bare_structs
communication
distribution
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.distributed-plonk
octez-libs.epoxy-tx
octez-libs.error-monad
octez-libs.error-monad-legacy
octez-libs.event-logging
octez-libs.event-logging-test-helpers
octez-libs.expect-helper
octez-libs.hacl
octez-libs.kzg
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.tezt-wrapper
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
val switch_list : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list Plompiler.LibCircuit.t
val switch : bool Plompiler.LibCircuit.repr list -> wires:Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list -> wires_g: Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list -> inner_pi: Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list -> (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list) Plompiler.LibCircuit.t
val format_arith_cs : Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list Plompiler.LibCircuit.t -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr Plompiler.LibCircuit.t
val cs_of_arith_sel : string -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr Plompiler.LibCircuit.t
val cs_of_custom_sel : ?precomputed_advice: Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr Plonk.Identities.SMap.t -> string -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list Plompiler.LibCircuit.t
val compute_zs : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> Plompiler.Csir.Scalar.t -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plompiler.LibCircuit.t
val compute_l1 : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> S.t -> S.t -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plompiler.LibCircuit.t
val sum_alpha_i : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plompiler.LibCircuit.Num.t
val sum_alpha_i_switched : bool Plompiler.LibCircuit.repr list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plompiler.LibCircuit.t
val compute_t : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plompiler.LibCircuit.Num.t
val add_circuits : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr Plompiler.LibCircuit.t list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plompiler.LibCircuit.t
val check_switches : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr -> bool Plompiler.LibCircuit.repr list -> bool Plompiler.LibCircuit.repr Plompiler.LibCircuit.t
val check_batch : Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list list * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr list) -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr list -> bool Plompiler.LibCircuit.Bool.repr Plompiler.LibCircuit.t
val format_custom_ids : (string * 'a list) list list -> (string * 'a) list
val format_arith_ids : 'a list -> (string * 'a) list
val split_rc_wires : int -> 'a Plonk.List.t list -> 'a list list * 'a Plonk.List.t list
val check_identities : switches:bool Plompiler.LibCircuit.Bool.repr list -> (Plompiler.Csir.Scalar.t * S.t) -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr -> int list -> Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.repr -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> (string list * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list) -> (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr) -> (Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plonk.List.t Plonk.List.t * Plompiler.LibCircuit.Num.scalar Plompiler.LibCircuit.Num.repr Plonk.List.t Plonk.List.t * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list * Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list) -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list -> Plompiler.LibCircuit.scalar Plompiler.LibCircuit.repr list list -> bool Plompiler.LibCircuit.repr Plompiler.LibCircuit.t