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_impl.RangeChecksSource

Sourceval assert_not_too_many_checks : int -> int -> unit
Sourceval compute_pnin1 : int -> Plonk.Bls.Domain.t -> int -> Plonk.Bls.Poly.t
Sourceval preprocessing : range_checks:('a list * int) -> domain:Plonk.Bls.Domain.t -> Bls.Evaluations.polynomial SMap.t
Sourceval get_checks_from_wire : int -> int list -> Bls.Evaluations.t -> Bls.Evaluations.scalar list
Sourceval partial_z : int -> Plonk.Bls.Scalar.t -> Plonk.Bls.Scalar.t list
Sourceval build_z_evals : Plonk.Bls.Domain.t -> int -> int -> int list -> Bls.Evaluations.t -> Bls.Evaluations.t
Sourceval f_map_contribution : 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 prover_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> domain_size:int -> unit -> Bls.Evaluations.t SMap.t -> Bls.Evaluations.t SMap.t
Sourceval verifier_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> unit -> 'a -> Plonk.Bls.Scalar.t SMap.t SMap.t -> Plonk.Bls.Scalar.t SMap.t