package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val degree_evaluations : nb_wires:int -> zero_knowledge:bool -> gates:'a SMap.t -> n:int -> ultra:bool -> int
val domain_evaluations : nb_wires:int -> zero_knowledge:bool -> gates:'a SMap.t -> n:int -> ultra:bool -> Domain.t
val preprocessing : ?prefix:string -> Evaluations.domain -> Scalar.t array SMap.t -> int array SMap.t -> Plook.PP.PC.Scalar.t array list list -> int -> int -> int -> int -> int -> ultra:bool -> Evaluations.polynomial SMap.t * Scalar.t array Stdlib__Map.Make(Stdlib.String).t * int array SMap.t * Plook.PP.PC.Scalar.t array list
val compute_sizes : zero_knowledge:bool -> Circuit.t -> int -> int * int * int * int
val get_sizes : zero_knowledge:bool -> (Circuit.t * int) SMap.t -> Domain.t * int * int * int * Domain.t * bool
val setup_circuits_with_pool : ?zero_knowledge:bool -> (Circuit.t * int) SMap.t -> srsfiles:((string * string) * (string * string)) -> (prover_public_parameters * verifier_public_parameters) * PP.PC.transcript
OCaml

Innovation. Community. Security.