package octez-libs

  1. Overview
  2. Docs
val q_label : string
val identity : string * int
val index_com : int option
val nb_advs : int
val nb_buffers : int
val gx_composition : bool
val equations : 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 prover_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> domain:Kzg.Bls.Domain.t -> Identities.prover_identities
val verifier_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> generator:Kzg.Bls.Scalar.t -> size_domain:int -> Identities.verifier_identities
val polynomials_degree : int Plonk.Identities.SMap.t
OCaml

Innovation. Community. Security.