package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

doc/octez-libs.aplonk/Aplonk/Main_protocol/Make_raw/argument-2-Main_Pack/Gates/index.html

Module Main_Pack.Gates

val arith_label : string
val qadv_label : string
val com_label : string
val gates_list : string list
val nb_custom_gates : int
val nb_input_com : int
val get_eqs : string -> q:Kzg.Bls.Scalar.t -> wires:Kzg.Bls.Scalar.t array -> wires_g:Kzg.Bls.Scalar.t array -> ?precomputed_advice:Kzg.Bls.Scalar.t Plonk.Identities.SMap.t -> unit -> Kzg.Bls.Scalar.t list
val get_ids : string -> string * int
val aggregate_prover_identities : ?circuit_prefix:(string -> string) -> input_coms_size:int -> proof_prefix:(string -> string) -> gates:'a Plonk.Identities.SMap.t -> public_inputs:Kzg.Bls.Scalar.t array -> domain:Kzg.Bls.Domain.t -> unit -> Plonk.Identities.prover_identities
val aggregate_verifier_identities : ?circuit_prefix:(string -> string) -> input_com_sizes:int list -> proof_prefix:(string -> string) -> gates:'a Plonk.Identities.SMap.t -> public_inputs:Kzg.Bls.Scalar.t array -> generator:Kzg.Bls.Scalar.t -> size_domain:int -> unit -> Plonk.Identities.verifier_identities
val aggregate_polynomials_degree : gates:'a Plonk.Identities.SMap.t -> int
val exists_gx_composition : gates:'a Plonk.Identities.SMap.t -> bool