package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
Sourceval query_t : Plonk.Bls.Scalar.t Plonk.SMap.t Repr.ty
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 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct