package tezos-plonk

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

Install 

dune-project
 Dependency

research-development.nomadic-labs.com Readme Edit opam file Versions (6)

Authors

  1. N
    Nomadic Labs Privacy Team

Maintainers

  1. P
    privacy-team@nomadic-labs.com

Sources

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

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

Module Make.Perm

module PP : sig ... end
val z_name : string
val zg_name : string
val srs_size : zero_knowledge:bool -> n:int -> int
val polynomials_degree : nb_wires:int -> int
val preprocessing : ?circuit_name:string -> domain:PP.PC.Polynomial.Domain.t -> permutation:int array -> nb_wires:int -> unit -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t
val common_preprocessing : compute_l1:bool -> domain:PP.PC.Polynomial.Domain.t -> nb_wires:int -> domain_evals:PP.Evaluations.domain -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t * PP.Evaluations.t Plonk.SMap.t
val prover_identities : ?circuit_name:string -> wire_names:string list -> generator:PP.PC.Scalar.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> n:int -> unit -> PP.prover_identities
val verifier_identities : ?circuit_name:string -> nb_proofs:int -> generator:PP.PC.Scalar.t -> n:int -> wire_names:string list -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> delta:PP.PC.Scalar.t -> unit -> PP.verifier_identities
val f_map_contribution : permutation:int array -> values:PP.Evaluations.t -> indices:int array Plonk.SMap.t -> beta:PP.PC.Scalar.t -> gamma:PP.PC.Scalar.t -> domain:PP.PC.Polynomial.Domain.t -> PP.PC.Polynomial.Polynomial.t Plonk.SMap.t
val cs : sum_alpha_i: (Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr list -> Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr Plonk__Permutation_gate.L.t) -> l1:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> ss1:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> ss2:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> ss3:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> beta:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> gamma:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> delta:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> x:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> z:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> zg:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr -> wires: Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr list list -> (Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr * Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr) Plonk__Permutation_gate.L.t