package tezos-plonk

  1. Overview
  2. Docs
Plonk zero-knowledge proving system

Install

Dune Dependency

Authors

Maintainers

Sources

privacy-team-v1.0.0.tar.gz
md5=c9007a234fbacaddbc652c139cac56db
sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93

doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/Preprocess/index.html

Module Make.Preprocess

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(String).t * int array SMap.t * Plook.PP.PC.Scalar.t array list
val compute_sizes : Plonk.Circuit.t -> int -> int * int * int
val get_sizes : zero_knowledge:bool -> (Plonk.Circuit.t * int) SMap.t -> Domain.t * int * int * Domain.t * bool * int
val setup_circuits : zero_knowledge:bool -> (Plonk.Circuit.t * int) SMap.t -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> Prover.prover_public_parameters * verifier_public_parameters
OCaml

Innovation. Community. Security.