package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

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_impl`Source

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

Sourcemodule BasePC = Plonk.Polynomial_commitment.Kzg_impl

include module type of struct include BasePC end

Sourcemodule Public_parameters = BasePC.Public_parameters

Sourcetype secret = BasePC.Commitment.secret

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

Source

val pippenger : 
  ?start:int ->
  ?len:int ->
  Plonk.Bls.G1.t array ->
  Plonk.Bls.G1.Scalar.t array ->
  Plonk.Bls.G1.t

Sourcetype proof = Plonk.Bls.G1.t Plonk.SMap.t

Sourceval proof_t : Plonk.Bls.G1.t Plonk.SMap.t Repr.ty

Source

val compute_Ws : 
  Public_parameters.prover ->
  Plonk.Bls.Poly.t Plonk.SMap.t ->
  Plonk.Bls.Poly.scalar Plonk.SMap.t ->
  Plonk.Bls.Scalar.t Plonk.SMap.t ->
  Plonk.Bls.G1.t Plonk.SMap.t

Source

val 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

Source

val sample_ys : 
  Bytes.t ->
  'a Plonk.SMap.t ->
  Plonk.Bls.Scalar.t Plonk.SMap.t * Bytes.t

Source

val 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

Source

val batch_polys : 
  Plonk.Bls.Poly.scalar Plonk.SMap.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Plonk.SMap.t

Source

val 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

Source

val 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_cmts : BasePC.Commitment.t list -> BasePC.Commitment.t

Sourceval group_queries : query list -> query

Sourceval group_answers : answer list -> answer

Sourceval evaluate : Plonk.Bls.Poly.t Plonk.SMap.t -> query -> answer

Source

val prove : 
  Public_parameters.prover ->
  bytes ->
  secret list ->
  'a ->
  query list ->
  answer list ->
  Plonk.Bls.G1.t Plonk.SMap.t * bytes

Source

val 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 = {

srs : Public_parameters.prover;
transcript : transcript;
query : query;
batched_answer : Plonk.Bls.Scalar.t SMap.t;
main_msg : main_prover_msg;

}

Sourcetype partial_prover_aux = unit

Sourceval merge_answers : answer list -> answer

Sourcemodule Commitment : sig ... end

Source

val distributed_prove_worker : 
  secret list ->
  'a ->
  Plonk.Bls.Poly.scalar Plonk.SMap.t Plonk.SMap.t ->
  Plonk.Bls.Poly.t Plonk.SMap.t

Source

val distributed_expand_transcript : 
  bytes ->
  Plonk.Bls.Scalar.t Plonk.SMap.t list ->
  Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
  bytes

Source

val 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

Source

val distributed_prove_main2 : 
  main_prover_state ->
  main_prover_msg list ->
  Plonk.Bls.G1.t Plonk.SMap.t * bytes * unit

package octez-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-plonk.distribution/Plonk_for_distribution/Kzg/Kzg_impl/index.html

Module Kzg.Kzg_implSource

Module `Kzg.Kzg_impl`Source