package octez-plonk

  1. Overview
  2. Docs
val degree_evaluations : nb_wires:int -> gates:'a Plonk.SMap.t -> ultra:bool -> int
val domain_evaluations : zero_knowledge:bool -> n:int -> int -> Plonk.Bls.Domain.t
val preprocessing : int -> Plonk.Bls.Evaluations.domain -> Plonk.Circuit.t -> Plonk.Bls.Evaluations.polynomial Plonk.SMap.t * Plonk.Bls.Scalar.t array Plonk.SMap.t * int array array * Plonk.Bls.Scalar.t array list * (int list * int)
val compute_sizes : Plonk.Circuit.t -> int -> int * int * int
val get_sizes : zero_knowledge:bool -> (Plonk.Circuit.t * int) Plonk.SMap.t -> Plonk.Bls.Domain.t * int * int * Plonk.Bls.Domain.t * bool * int
OCaml

Innovation. Community. Security.