package tezos-plonk

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

Module Polynomial_protocol.Make_implSource

Parameters

Signature

include sig ... end
module Domain : sig ... end
module Poly : sig ... end
Sourcemodule Evaluations : sig ... end
module Fr_generation : sig ... end
Sourcetype prover_public_parameters = Super_PC.Public_parameters.prover
Sourceval prover_public_parameters_t : Super_PC.Public_parameters.prover Repr.t
Sourcetype verifier_public_parameters = Super_PC.Public_parameters.verifier
Sourceval verifier_public_parameters_t : Super_PC.Public_parameters.verifier Repr.t
Sourcetype transcript = Bytes.t
Sourceval transcript_t : bytes Repr.t
Sourcetype proof = {
  1. cm_t : Super_PC.Commitment.t;
  2. pc_proof : Super_PC.proof;
  3. pc_answers : Super_PC.Scalar.t Plonk.SMap.t Plonk.SMap.t list;
}
Sourceval proof_t : proof Repr.t
Sourcetype eval_point =
  1. | X
  2. | GX
  3. | Custom of string * Super_PC.Scalar.t -> Super_PC.Scalar.t
Sourceval string_of_eval_point : eval_point -> string
Sourceval convert_eval_points : generator:Super_PC.Scalar.t -> x:Super_PC.Scalar.t -> eval_point list -> Super_PC.Scalar.t Plonk.SMap.t
Sourceval split_t : int -> Poly.t -> int -> Poly.t Plonk.SMap.t
Sourceval compute_t : n:int -> alpha:Fr_generation.scalar -> nb_of_t_chunks:int -> Evaluations.t Plonk.SMap.t -> Poly.t Plonk.SMap.t
Sourceval setup : setup_params:int -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> Super_PC.Public_parameters.prover * Super_PC.Public_parameters.verifier
Sourceval prove : Super_PC.Public_parameters.prover -> Bytes.t -> n:int -> generator:Super_PC.Scalar.t -> secrets:(Poly.t Plonk.SMap.t * Super_PC.Commitment.prover_aux) list -> eval_points:eval_point list list -> evaluations:'a -> identities:('a -> Evaluations.t Plonk.SMap.t) -> nb_of_t_chunks:int -> proof * Bytes.t
Sourcetype pp_commit_to_t_r = Evaluations.t Plonk.SMap.t
Sourceval pp_commit_to_t_r_t : Evaluations.t Plonk.SMap.t Repr.ty
Sourcemodule PC = Super_PC
Sourcetype prover_aux = {
  1. answers : PC.Scalar.t SMap.t SMap.t list;
  2. batch : PC.Scalar.t SMap.t list;
  3. alpha : PC.Scalar.t;
  4. x : PC.Scalar.t;
  5. r : PC.Scalar.t;
  6. cm_answers : PC.Scalar.t;
}
Sourcetype verifier_aux = {
  1. alpha : PC.Scalar.t;
  2. x : PC.Scalar.t;
  3. r : PC.Scalar.t;
}
Sourceval prove_super_aggregation : Super_PC.Public_parameters.prover -> Bytes.t -> n:int -> generator:Super_PC.Scalar.t -> secrets:(Poly.t Plonk.SMap.t * Super_PC.Commitment.prover_aux) list -> eval_points:eval_point list list -> evaluations:'a -> identities:('a -> Evaluations.t Plonk.SMap.t) -> nb_of_t_chunks:int -> (proof * prover_aux) * Super_PC.transcript
Sourceval verify_super_aggregation : Super_PC.Public_parameters.verifier -> Bytes.t -> n:'a -> generator:Super_PC.Scalar.t -> commitments:Super_PC.Commitment.t list -> eval_points:eval_point list list -> s_list:Super_PC.Scalar.t Plonk.SMap.t list -> cm_answers:Super_PC.Scalar.t -> proof -> (bool * verifier_aux) * Super_PC.transcript
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