package tezos-plonk

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

Module Plookup_gate.Plookup_gate_implSource

Parameters

Signature

Sourcemodule PP = PP
module Scalar = PP.PC.Scalar
module Scalar_map = PP.PC.Scalar_map
module Fr_generation = PP.PC.Fr_generation
module Evaluations = PP.Evaluations
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 zero : Scalar.t
Sourceval one : Scalar.t
Sourceval mone : Scalar.t
Sourceval gate_identity : prefix_common:(string -> string) -> prefix:(string -> SMap.key) -> wires_name:string array -> alpha:Fr_generation.scalar -> beta:Scalar.t -> gamma:Scalar.t -> ultra:bool -> PP.verifier_identities
Sourceval precomputed_poly_contribution : prefix_common:(string -> SMap.key) -> prefix:(string -> SMap.key) -> wires_name:string array -> alpha:Fr_generation.scalar -> beta:Scalar.t -> gamma:Scalar.t -> f_map:'a -> ultra:bool -> int -> PP.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:Evaluations.domain -> Evaluations.polynomial SMap.t
Sourceval preprocessing : ?prefix:string -> domain:Evaluations.domain -> tables:Scalar.t array list -> alpha:Fr_generation.scalar -> unit -> Evaluations.polynomial SMap.t
Sourceval format_tables : tables:Scalar.t array list List.t -> nb_columns:int -> length_not_padded:int -> length_padded:int -> Scalar.t array list
Sourceval setup : ?nb_pack:PP.PC.Public_parameters.setup_params -> nb_wires:int -> domain:Evaluations.domain -> size_domain:int -> tables:Scalar.t array list List.t -> table_size:int -> alpha:Fr_generation.scalar -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> unit -> (PP.prover_public_parameters * PP.verifier_public_parameters) * Scalar.t array list * Evaluations.polynomial SMap.t
Sourceval prover_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> f_map:'a -> wires_name:string array -> alpha:Fr_generation.scalar -> beta:Scalar.t -> gamma:Scalar.t -> ultra:bool -> n:int -> unit -> PP.prover_identities
Sourceval verifier_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> wires_name:string array -> alpha:Fr_generation.scalar -> beta:Scalar.t -> gamma:Scalar.t -> ultra:bool -> unit -> PP.verifier_identities
Sourceval f_map_contribution : wires:Scalar.t array SMap.t -> gates:Scalar.t array SMap.t -> tables:Scalar.t array list -> alpha:Fr_generation.scalar -> beta:Scalar.t -> gamma:Scalar.t -> domain:Evaluations.domain -> size_domain:int -> circuit_size:'a -> 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