package tezos-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

dune-project

Dependency

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

Authors

N

Nomadic Labs Privacy Team

Maintainers

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

Module `Make.Verifier`

type verifier_common_pp = {

n : int;
generator : Scalar.t;
pp_public_parameters : PP.verifier_public_parameters;
cm_g : PP.PC.Commitment.t;

}

val verifier_common_pp_t : verifier_common_pp Repr.t

type verifier_circuit_pp = {

gates : unit SMap.t;
nb_wires : int;
alpha : Scalar.t option;
ultra : bool;

}

val verifier_circuit_pp_t : verifier_circuit_pp Repr.t

val build_identities : 
  verifier_common_pp ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  (verifier_circuit_pp * Gates.PP.PC.Scalar.t array list * int) SMap.t ->
  PP.verifier_identities

val verify_parameters : 
  ((verifier_common_pp * verifier_circuit_pp SMap.t) * bytes) ->
  public_inputs:Gates.PP.PC.Scalar.t array list SMap.t ->
  proof ->
  bytes
  * PP.verifier_identities
  * Fr_generation.scalar
  * Fr_generation.scalar
  * Fr_generation.scalar
  * PP.PC.Commitment.t list
  * PP.eval_point list list