package octez-libs

  1. Overview
  2. Docs

Parameters

Signature

module PP = PP
exception Too_many_checks of string
val lnin1 : string
val pnin1 : string
val rc_prefix : string
val z_name : string -> string
val batched_wire : string -> string
val batched_z_name : string -> string
val suffix : string -> string -> string
val z_names : string -> string list
val shared_z_names : string -> string list
type public_parameters = Kzg.Bls.Poly.t Plonk.Identities.SMap.t
val zero : Kzg.Bls.Scalar.t
val mone : Kzg.Bls.Scalar.t
val mtwo : Kzg.Bls.Scalar.t
module Permutation : sig ... end
module RangeChecks : sig ... end
val build_permutations : size_domain:int -> range_checks:(int * int) list Plonk.Identities.SMap.t -> int array Plonk.Identities.SMap.t
val 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
val 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
val 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
val verifier_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> range_checks:bool Plonk.Identities.SMap.t -> unit -> Identities.Identities.verifier_identities
val 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.