package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-libs.plonk/Plonk/Range_check_gate/Range_check_gate_impl/index.html

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