package tezos-plonk

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

Module Pack.Pack_implSource

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
Sourcemodule Fr_generation : sig ... end
Sourcetype prover_public_parameters = {
  1. length : int;
  2. srs2_s : G2.t array;
  3. srs2_t : G2.t array;
  4. g1_s : G1.t;
  5. g1_t : G1.t;
}
Sourcetype verifier_public_parameters = {
  1. g1_s : G1.t;
  2. g1_t : G1.t;
}
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
Sourcetype ipa_proof = {
  1. s_Ls : GT.t array;
  2. s_Rs : GT.t array;
  3. t_Ls : GT.t array;
  4. t_Rs : GT.t array;
  5. r_Ls : G1.t array;
  6. r_Rs : G1.t array;
  7. a0 : G1.t;
  8. s0 : G2.t;
  9. t0 : G2.t;
}
Sourceval ipa_proof_encoding : ipa_proof Data_encoding.t
Sourceval empty_ipa_proof : int -> ipa_proof
Sourcetype kzg_proof = G2.t * G2.t
Sourceval kzg_proof_encoding : kzg_proof Data_encoding.t
Sourcetype proof = ipa_proof * kzg_proof
Sourceval proof_encoding : proof Data_encoding.t
Sourcetype transcript = Bytes.t
Sourcetype setup_params = int
Sourceval powers : one:'a -> mul:('a -> 'b -> 'a) -> int -> 'b -> 'a array
Sourceval hash : transcript:bytes -> random:(?state:Random.State.t -> unit -> 'a) -> ?g1s:G1.t array list -> ?g2s:G2.t array list -> ?gts:GT.t array list -> ?scalars:Scalar.t array list -> unit -> 'a * bytes
Sourceval ip_pairing : Bls12_381.G1.t array -> Bls12_381.G2.t array -> Bls12_381.GT.t
Sourceval get_setup_params : prover_public_parameters -> int
Sourceval public_parameters_to_bytes : prover_public_parameters -> Bytes.t
Sourceval commitment_cardinal : commitment -> int
Sourceval bytes_of_commitment : commitment -> bytes
Sourceval pack : G1.Scalar.t array -> G1.t array -> G1.t
Sourceval array_split_in_half : 'a array -> 'a array * 'a array
Sourceval array_padded_with_zero : 'a array -> int -> 'a -> 'a array
Sourceval prove_but_not_pack : prover_public_parameters -> bytes -> Scalar.t -> G1.t array -> G1.t -> (ipa_proof * (G2.t * G2.t)) * bytes
Sourceval prove_single : prover_public_parameters -> bytes -> Scalar.t -> G1.t array -> (G1.t * (ipa_proof * (G2.t * G2.t))) * bytes
Sourceval prove : prover_public_parameters -> bytes -> Scalar.t -> G1.t array list -> (G1.t list * (ipa_proof * (G2.t * G2.t))) * bytes
Sourceval verify_single : verifier_public_parameters -> bytes -> commitment -> Scalar.t -> (G1.t * (ipa_proof * (G2.t * G2.t))) -> bool * bytes
Sourceval verify : verifier_public_parameters -> bytes -> commitment list -> Scalar.t -> (G1.t list * (ipa_proof * (G2.t * G2.t))) -> bool * bytes
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