package tezos-plonk

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

Module Plonk.PackSource

Sourcemodule type Aggregator = sig ... end
Sourcemodule Pack_impl : sig ... end
include Aggregator
Sourcemodule Scalar = Bls12_381.Fr
Sourcemodule G1 = Bls12_381.G1
Sourcemodule G2 = Bls12_381.G2
Sourcemodule GT = Bls12_381.GT
Sourcemodule Pairing = Bls12_381.Pairing
Sourcetype prover_public_parameters
Sourceval prover_public_parameters_encoding : prover_public_parameters Data_encoding.t
Sourcetype verifier_public_parameters
Sourceval verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
Sourcetype data = G1.t
Sourcetype commitment = {
  1. cmt_s : GT.t;
  2. cmt_t : GT.t;
  3. cmt_len : int;
}
Sourceval commitment_encoding : commitment Data_encoding.t
Sourcetype randomness = Scalar.t
Sourcetype packed = G1.t
Sourceval packed_encoding : packed Data_encoding.t
Sourcetype proof
Sourceval proof_encoding : proof Data_encoding.t
Sourcetype transcript = Bytes.t
Sourcetype setup_params
Sourceval import : int -> ((string * string) * (string * string)) -> prover_public_parameters * verifier_public_parameters
Sourceval public_parameters_to_bytes : prover_public_parameters -> Bytes.t
Sourceval commitment_cardinal : commitment -> int
Sourceval bytes_of_commitment : commitment -> Bytes.t
Sourceval prove : prover_public_parameters -> transcript -> randomness -> data array list -> (packed list * proof) * 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