package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
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.