package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Aggregator = sig ... end
module Pack_impl : sig ... end
include Aggregator
module Scalar = Bls12_381.Fr
module G1 = Bls12_381.G1
module G2 = Bls12_381.G2
module GT = Bls12_381.GT
module Pairing = Bls12_381.Pairing
type prover_public_parameters
val prover_public_parameters_encoding : prover_public_parameters Data_encoding.t
type verifier_public_parameters
val verifier_public_parameters_encoding : verifier_public_parameters Data_encoding.t
type data = G1.t
type commitment = {
  1. cmt_s : GT.t;
  2. cmt_t : GT.t;
  3. cmt_len : int;
}
val commitment_encoding : commitment Data_encoding.t
type randomness = Scalar.t
type packed = G1.t
val packed_encoding : packed Data_encoding.t
type proof
val proof_encoding : proof Data_encoding.t
type transcript = Stdlib.Bytes.t
type setup_params
val setup : ?state:Stdlib.Random.State.t -> int -> prover_public_parameters * verifier_public_parameters
val import : int -> ((string * string) * (string * string)) -> prover_public_parameters * verifier_public_parameters
val get_setup_params : prover_public_parameters -> setup_params
val public_parameters_to_bytes : prover_public_parameters -> Stdlib.Bytes.t
val commit : prover_public_parameters -> data array -> commitment
val commitment_cardinal : commitment -> int
val bytes_of_commitment : commitment -> Stdlib.Bytes.t
val prove_single : prover_public_parameters -> transcript -> randomness -> data array -> (packed * proof) * transcript
val prove : prover_public_parameters -> transcript -> randomness -> data array list -> (packed list * proof) * transcript
val verify_single : verifier_public_parameters -> transcript -> commitment -> randomness -> (packed * proof) -> bool * transcript
val verify : verifier_public_parameters -> transcript -> commitment list -> randomness -> (packed list * proof) -> bool * 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