package octez-libs

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

Install 

dune-project
 Dependency

www.tezos.com Readme 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/distribution/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
module Public_parameters = BasePC.Public_parameters
module Commitment = BasePC.Commitment
type secret = Commitment.secret
val query_t : Plonk.Bls.Scalar.t Plonk.SMap.t Repr.ty
type transcript = Bytes.t
val proof_t : Plonk.Bls.G1.t Plonk.SMap.t Repr.ty
val group_secrets : secret list -> secret
val group_cmts : Commitment.t list -> Commitment.t
val group_queries : query list -> query
val group_answers : answer list -> answer
val prove : Public_parameters.prover -> bytes -> secret list -> 'a -> query list -> answer list -> Plonk.Bls.Srs_g1.elt Plonk.SMap.t * bytes
val verify : Public_parameters.verifier -> bytes -> Commitment.t list -> query list -> answer list -> Plonk.Bls.G1.t Plonk.SMap.t -> bool * bytes
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
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 -> Stdlib.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.Srs_g1.elt Plonk.SMap.t * bytes * unit