package octez-libs

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

Module Range_check_gate.Range_check_gate_implSource

Parameters

Signature

module PP = PP
Sourceexception Too_many_checks of string
Sourceval lnin1 : string
Sourceval pnin1 : string
Sourceval rc_prefix : string
Sourceval z_name : string -> string
Sourceval batched_wire : string -> string
Sourceval batched_z_name : string -> string
Sourceval suffix : string -> string -> string
Sourceval z_names : string -> string list
Sourceval shared_z_names : string -> string list
Sourcemodule Permutation : sig ... end
Sourcemodule RangeChecks : sig ... end
Sourceval build_permutations : size_domain:int -> range_checks:(int * int) list Plonk.Identities.SMap.t -> int array Plonk.Identities.SMap.t
Sourceval preprocessing : range_checks:('a * int) list Plonk.Identities.SMap.t -> permutations:int array Plonk.Identities.SMap.t -> domain:Kzg.Bls.Domain.t -> Identities.Evaluations.polynomial Plonk.Identities.SMap.t
Sourceval prover_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> domain_size:int -> range_checks:'a Plonk.Identities.SMap.t -> unit -> Identities.Identities.prover_identities
Sourceval prover_identities_2 : ?circuit_prefix:(string -> string) -> beta:Kzg.Bls.Scalar.t -> gamma:Kzg.Bls.Scalar.t -> domain_size:int -> range_checks:'a Plonk.Identities.SMap.t -> unit -> Identities.Identities.prover_identities
Sourceval verifier_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> range_checks:bool Plonk.Identities.SMap.t -> unit -> Identities.Identities.verifier_identities
Sourceval verifier_identities_2 : ?circuit_prefix:(string -> string) -> nb_proofs:int -> beta:Kzg.Bls.Scalar.t -> gamma:Kzg.Bls.Scalar.t -> delta:Kzg.Bls.Scalar.t -> domain_size:int -> generator:Kzg.Bls.Scalar.t -> range_checks:bool Plonk.Identities.SMap.t -> unit -> Identities.Identities.verifier_identities
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