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/Gates/index.html

Module Make.Gates

module PP : sig ... end
val arith_label : string
val gates_list : string list
val nb_custom_gates : int
val get_eqs : string -> q:PP.PC.Scalar.t -> a:PP.PC.Scalar.t -> b:PP.PC.Scalar.t -> c:PP.PC.Scalar.t -> ag:PP.PC.Scalar.t -> bg:PP.PC.Scalar.t -> cg:PP.PC.Scalar.t -> ?table:PP.PC.Scalar.t array array -> unit -> PP.PC.Scalar.t list
val get_ids : string -> string * int
val get_cs : string -> q:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> a:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> b:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> c:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> ag:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> bg:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> cg:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr list Plonk__Custom_gates.L.t
val aggregate_blinds : gates:'a Plonk.SMap.t -> int Plonk.SMap.t
val aggregate_prover_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> gates:'a Plonk.SMap.t -> public_inputs:PP.PC.Scalar.t array -> domain:PP.PC.Polynomial.Domain.t -> unit -> PP.prover_identities
val aggregate_verifier_identities : ?circuit_name:string -> proof_idx:int -> nb_proofs:int -> gates:'a Plonk.SMap.t -> public_inputs:PP.PC.Scalar.t array -> generator:PP.PC.Scalar.t -> size_domain:int -> unit -> PP.verifier_identities
val aggregate_polynomials_degree : gates:'a Plonk.SMap.t -> int
val exists_gx_composition : gates:'a Plonk.SMap.t -> bool
val cs_pi : generator:PP.PC.Scalar.t -> n:PP.PC.Scalar.t -> x:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> zs:Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr -> Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr list -> Plonk__Custom_gates.L.scalar Plonk__Custom_gates.L.repr Plonk__Custom_gates.L.t