package octez-plonk

  1. Overview
  2. Docs

Parameters

Signature

module PP = PP
exception Too_many_checks of string
val lnin1 : string
val pnin1 : string
val z_name : string
val rc_prefix : string
val wire : string
val batched_wire : string
val batched_z_name : string
type public_parameters = Plonk.Bls.Poly.t SMap.t
val find : 'a list -> 'b -> int
val build_permutation : range_checks:(int list * int) -> size_domain:int -> int array
module Permutation : sig ... end
module RangeChecks : sig ... end
val preprocessing : permutation:int array -> range_checks:('a list * int) -> domain:Plonk.Bls.Domain.t -> Bls.Evaluations.polynomial SMap.t
val 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
val 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
val 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
val prover_identities_2 : ?circuit_prefix:(string -> string) -> beta:Plonk.Bls.Scalar.t -> gamma:Plonk.Bls.Scalar.t -> domain_size:int -> unit -> Identities.prover_identities
val 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
val 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.