package tezos-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune 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.1.tar.gz

md5=03d6ca5fb1c6865b6628e0dd49575895

sha512=20494d1d00ded43f3625e06e037d3bad04f0a7320914b542b882d3d0293c9b02845b7ca9ee4ff0eb8ea495eff5633016861c39370cca92c12aacae0e84483ca4

doc/tezos-plonk.aggregation/Aggregation/Main_protocol/Make_impl/Verifier/index.html

Module `Make_impl.Verifier`Source

Sourcetype verifier_common_pp = {

n : int;
generator : Scalar.t;
pp_public_parameters : Super_PP.PC.Public_parameters.verifier;
cm_g : Super_PP.PC.Commitment.t;

}

Sourceval verifier_common_pp_t : verifier_common_pp Repr.t

Sourcetype verifier_circuit_pp = {

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

}

Sourceval verifier_circuit_pp_t : verifier_circuit_pp Repr.t

Source

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 ->
  Plompiler.S.t ->
  Plompiler.S.t Plonk.SMap.t Plonk.SMap.t ->
  Plompiler.S.t Plonk.SMap.t