package octez-plonk

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

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (1)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/octez-plonk.distribution/Plonk_for_distribution/Main_protocol/MakeSuper/Verifier/index.html

Module MakeSuper.VerifierSource

Sourcetype common_verifier_pp = {
  1. n : int;
  2. generator : Plonk.Bls.Scalar.t;
  3. pp_public_parameters : PP.PC.Public_parameters.verifier;
  4. cm_g : PP.PC.Commitment.t;
  5. eval_points : Plonk.Identities.eval_point list list;
}
Sourceval common_verifier_pp_t : common_verifier_pp Repr.t
Sourcetype circuit_verifier_pp = {
  1. gates : unit Plonk.SMap.t;
  2. alpha : Plonk.Bls.Scalar.t option;
  3. ultra : bool;
  4. input_com_sizes : int list;
  5. range_checks : bool;
}
Sourceval circuit_verifier_pp_t : circuit_verifier_pp Repr.t
Sourceval circuit_verifier_pp_of_circuit_prover_pp : Prover.circuit_prover_pp -> circuit_verifier_pp
Sourceval build_identities : circuit_verifier_pp Plonk.SMap.t -> (int * Plonk.Bls.Scalar.t) -> gate_randomness -> Plonk.Bls.Scalar.t array Plonk.List.t Plonk.SMap.t -> Plonk.Identities.verifier_identities
Sourceval format_input_com : verifier_inputs -> PP.PC.Commitment.t list