package octez-plonk

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

Innovation. Community. Security.