package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Plookup_gate.Plookup_gate_implSource

Parameters

Signature

module PP = PP
Sourceexception Entry_not_in_table of string
Sourceval q_label : string
Sourceval q_table : string
Sourceval f : string
Sourceval fg : string
Sourceval z : string
Sourceval t : string
Sourceval h1 : string
Sourceval h2 : string
Sourceval zg : string
Sourceval tg : string
Sourceval h1g : string
Sourceval h2g : string
Sourceval l1 : string
Sourceval ln_p_1 : string
Sourceval x_m_1 : string
Sourceval x : string
Sourceval get_alpha : 'a option -> 'a
Sourceval gate_identity : circuit_prefix:(string -> string) -> prefix:(string -> SMap.key) -> n:int -> generator:Plonk.Bls.Scalar.t -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> Identities.verifier_identities
Sourceval prover_identities_aux : circuit_prefix:(string -> SMap.key) -> prefix:(string -> SMap.key) -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> int -> Identities.prover_identities
Sourcemodule Plookup_poly : sig ... end
Sourceval srs_size : length_table:int -> int
Sourceval polynomials_degree : unit -> int
Sourceval common_preprocessing : n:int -> domain:Bls.Evaluations.domain -> evaluations:Bls.Evaluations.t SMap.t -> Bls.Evaluations.t SMap.t
Sourceval preprocessing : domain:Bls.Evaluations.domain -> tables:Plonk.Bls.Scalar.t array list -> alpha:Plonk.Bls.Scalar.t option -> unit -> Bls.Evaluations.polynomial SMap.t
Sourceval format_tables : tables:Plonk.Bls.Scalar.t array list List.t -> nb_columns:int -> length_not_padded:int -> length_padded:int -> Plonk.Bls.Scalar.t array list
Sourceval prover_identities : ?circuit_prefix:(SMap.key -> SMap.key) -> proof_prefix:(string -> SMap.key) -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> n:int -> unit -> Identities.prover_identities
Sourceval verifier_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> SMap.key) -> n:int -> generator:Plonk.Bls.Scalar.t -> wires_names:string list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> unit -> Identities.verifier_identities
Sourceval f_map_contribution : wires:Bls.Evaluations.t SMap.t -> gates:Plonk.Bls.Scalar.t array SMap.t -> tables:Plonk.Bls.Scalar.t array list -> alpha:Plonk.Bls.Scalar.t option -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> domain:Plonk.Bls.Domain.t -> Bls.Evaluations.polynomial SMap.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct