package octez-plonk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Arithmetic_gates.X2BSource

Sourceval q_label : string
Sourceval blinds : int array SMap.t
Sourceval identity : string * int
Sourceval index_com : int option
Sourceval nb_advs : int
Sourceval nb_buffers : int
Sourceval gx_composition : bool
Sourceval equations : q:Plonk.Bls.Scalar.t -> wires:Plonk.Bls.Scalar.t array -> wires_g:Plonk.Bls.Scalar.t array -> ?precomputed_advice:Plonk.Bls.Scalar.t SMap.t -> unit -> Plonk.Bls.Scalar.t list
Sourceval prover_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> domain:Plonk.Bls.Domain.t -> Identities.prover_identities
Sourceval verifier_identities : prefix_common:(string -> string) -> prefix:(string -> string) -> public:Gates_common.public -> generator:Plonk.Bls.Scalar.t -> size_domain:int -> Identities.verifier_identities
Sourceval polynomials_degree : int SMap.t
OCaml

Innovation. Community. Security.