package octez-libs

  1. Overview
  2. No Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.plonk/Plonk/Main_protocol/Make_impl/Verifier/index.html

Module Make_impl.VerifierSource

Sourcetype common_verifier_pp = {
  1. n : int;
  2. generator : Plonk.Bls.Scalar.t;
  3. pp_public_parameters : PP.verifier_public_parameters;
  4. cm_g : Commitment.t;
  5. eval_points : Identities.eval_point list list;
}
Sourceval common_verifier_pp_t : common_verifier_pp Repr.t
Sourcetype circuit_verifier_pp = {
  1. gates : unit SMap.t;
  2. alpha : Plonk.Bls.Scalar.t option;
  3. ultra : bool;
  4. input_com_sizes : int list;
  5. range_checks : bool SMap.t;
}
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 format_input_com : verifier_inputs -> Commitment.t list