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

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/aggregation/Aggregation/Main_protocol/Gates/index.html

Module Main_protocol.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