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

Module Kzg.Kzg_implSource

Extension of the KZG implementation with additional types and functions used in by Distributed_prover

include module type of struct include BasePC end
Sourcemodule Public_parameters = BasePC.Public_parameters
Sourcetype query = Plonk.Bls.Scalar.t Plonk.SMap.t
Sourceval query_t : Plonk.Bls.Scalar.t Plonk.SMap.t Repr.ty
Sourcetype answer = Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t
Sourceval answer_t : Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t Repr.ty
Sourcetype transcript = Bytes.t
Sourceval pippenger : ?start:int -> ?len:int -> Plonk.Bls.G1.t array -> Plonk.Bls.G1.Scalar.t array -> Plonk.Bls.G1.t
Sourceval verifier_check : Public_parameters.verifier -> Plonk.Bls.G1.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t -> Plonk.Bls.G1.t Plonk.SMap.t -> bool
Sourceval sample_ys : Bytes.t -> 'a Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t * Bytes.t
Sourceval batch_answer : Plonk.Bls.Scalar.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t * Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t
Sourceval prove_single : Public_parameters.prover -> Bytes.t -> Plonk.Bls.Poly.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.G1.t Plonk.SMap.t * bytes
Sourceval verify_single : Public_parameters.verifier -> Bytes.t -> Plonk.Bls.G1.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.G1.t Plonk.SMap.t -> bool * bytes
Sourceval group_secrets : secret list -> secret
Sourceval group_queries : query list -> query
Sourceval group_answers : answer list -> answer
Sourceval prove : Public_parameters.prover -> bytes -> secret list -> 'a -> query list -> answer list -> Plonk.Bls.G1.t Plonk.SMap.t * bytes
Sourceval verify : Public_parameters.verifier -> bytes -> BasePC.Commitment.t list -> query list -> answer list -> Plonk.Bls.G1.t Plonk.SMap.t -> bool * bytes
Sourcetype worker_msg = Plonk.Bls.Scalar.t SMap.t SMap.t
Sourceval worker_msg_t : Plonk.Bls.Scalar.t SMap.t SMap.t Repr.ty
Sourcetype main_prover_msg = Plonk.Bls.Poly.t SMap.t
Sourceval main_prover_msg_t : Plonk.Bls.Poly.t SMap.t Repr.ty
Sourcetype main_prover_state = {
  1. srs : Public_parameters.prover;
  2. transcript : transcript;
  3. query : query;
  4. batched_answer : Plonk.Bls.Scalar.t SMap.t;
  5. main_msg : main_prover_msg;
}
Sourcetype partial_prover_aux = unit
Sourceval merge_answers : answer list -> answer
Sourcemodule Commitment : sig ... end
Sourceval distributed_prove_worker : secret list -> 'a -> Plonk.Bls.Poly.scalar Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.Poly.t Plonk.SMap.t
Sourceval distributed_expand_transcript : bytes -> Plonk.Bls.Scalar.t Plonk.SMap.t list -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list -> bytes
Sourceval distributed_prove_main1 : Public_parameters.prover -> Bytes.t -> query list -> answer list -> secret list -> 'a -> Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t * main_prover_state
Sourceval distributed_prove_main2 : main_prover_state -> main_prover_msg list -> Plonk.Bls.G1.t Plonk.SMap.t * bytes * unit