package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val domain_evaluations : zero_knowledge:bool -> n:int -> int -> 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 preprocess_map : Evaluations.domain -> Evaluations.domain -> int -> (Circuit.t * 'a) SMap.t -> Prover.prover_circuit_pp SMap.t * Verifier.verifier_circuit_pp SMap.t * Plook.PP.PC.Polynomial.Polynomial.t SMap.t
val compute_sizes : Circuit.t -> int -> int * int * int
val get_sizes : zero_knowledge:bool -> (Circuit.t * int) SMap.t -> Domain.t * int * int * Domain.t * bool * int
val setup_circuits : zero_knowledge:bool -> (Circuit.t * int) SMap.t -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
OCaml

Innovation. Community. Security.