package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
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 z_name : string
Sourceval rc_prefix : string
Sourceval wire : string
Sourceval batched_wire : string
Sourceval batched_z_name : string
Sourcetype public_parameters = Plonk.Bls.Poly.t SMap.t
Sourceval find : 'a list -> 'a -> int
Sourceval build_permutation : range_checks:(int list * int) -> size_domain:int -> int array
Sourcemodule Permutation : sig ... end
Sourcemodule RangeChecks : sig ... end
Sourceval preprocessing : permutation:int array -> range_checks:('a list * int) -> domain:Plonk.Bls.Domain.t -> Bls.Evaluations.polynomial SMap.t
Sourceval f_map_contribution_1 : range_checks:(int list * int) -> domain:Plonk.Bls.Domain.t -> values:Bls.Evaluations.t SMap.t -> Bls.Evaluations.t * Bls.Evaluations.polynomial SMap.t
Sourceval f_map_contribution_2 : permutation:int array -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> domain:Plonk.Bls.Domain.t -> values:Bls.Evaluations.t SMap.t -> Plonk.Bls.Poly.t SMap.t
Sourceval prover_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> domain_size:int -> unit -> Bls.Evaluations.t SMap.t -> Bls.Evaluations.t SMap.t
Sourceval prover_identities_2 : ?circuit_prefix:(string -> string) -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> domain_size:int -> unit -> Identities.prover_identities
Sourceval verifier_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> unit -> 'a -> Plonk.Bls.Scalar.t SMap.t SMap.t -> Plonk.Bls.Scalar.t SMap.t
Sourceval verifier_identities_2 : ?circuit_prefix:(string -> string) -> nb_proofs:int -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> delta:Plonk.Bls.Scalar.t -> domain_size:int -> generator:Plonk.Bls.Scalar.t -> unit -> 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