package octez-libs

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

Module Pack.Pack_implSource

Sourcetype prover_public_parameters = {
  1. length : int;
  2. srs2_t : Kzg.Bls.G2.t array;
  3. g1_t : Kzg.Bls.G1.t;
}
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourcetype verifier_public_parameters = Kzg.Bls.G1.t
Sourceval verifier_public_parameters_t : Kzg.Bls.G1.t Repr.t
Sourcetype data = Kzg.Bls.G1.t
Sourcetype commitment = {
  1. cmt_t : Kzg.Bls.GT.t;
  2. cmt_len : int;
}
Sourceval commitment_t : commitment Repr.t
Sourcetype randomness = Kzg.Bls.Scalar.t
Sourcetype packed = Kzg.Bls.G1.t
Sourceval packed_t : Kzg.Bls.G1.t Repr.t
Sourcetype ipa_proof = {
  1. t_Ls : Kzg.Bls.GT.t array;
  2. t_Rs : Kzg.Bls.GT.t array;
  3. r_Ls : Kzg.Bls.G1.t array;
  4. r_Rs : Kzg.Bls.G1.t array;
  5. a0 : Kzg.Bls.G1.t;
  6. t0 : Kzg.Bls.G2.t;
}
Sourceval ipa_proof_t : ipa_proof Repr.t
Sourceval empty_ipa_proof : int -> ipa_proof
Sourcetype kzg_proof = Kzg.Bls.G2.t
Sourceval kzg_proof_t : Kzg.Bls.G2.t Repr.t
Sourcetype proof = ipa_proof * kzg_proof
Sourceval proof_t : (ipa_proof * Kzg.Bls.G2.t) Repr.t
Sourcetype setup_params = int
Sourceval hash : transcript:Kzg.Utils.Transcript.t -> ?g1s:Kzg.Bls.G1.t array list -> ?g2s:Kzg.Bls.G2.t array list -> ?gts:Kzg.Bls.GT.t array list -> ?scalars:Kzg.Bls.Scalar.t array list -> unit -> Kzg.Bls.Scalar.t * Kzg__Utils.Transcript.t
Sourceval ip_pairing : Bls12_381.G1.t array -> Bls12_381.G2.t array -> Kzg.Bls.GT.t
Sourceval get_setup_params : prover_public_parameters -> int
Sourceval public_parameters_to_bytes : prover_public_parameters -> Stdlib.Bytes.t
Sourceval commit : prover_public_parameters -> Bls12_381.G1.t array -> commitment
Sourceval commitment_cardinal : commitment -> int
Sourceval partial_commit : relevant_positions:Stdlib.Int.t list -> prover_public_parameters -> Bls12_381.G1.t array -> commitment
Sourceval bytes_of_commitment : commitment -> bytes
Sourceval empty_commitment : commitment
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 -> Kzg.Utils.Transcript.t -> Kzg.Bls.Scalar.t -> Kzg.Bls.G1.t array -> Kzg.Bls.G1.t -> (ipa_proof * Kzg.Bls.G2.t) * Kzg__Utils.Transcript.t
Sourceval prove_single : prover_public_parameters -> Kzg.Utils.Transcript.t -> Kzg.Bls.Scalar.t -> Kzg.Bls.G1.t array -> (Kzg.Bls.G1.t * (ipa_proof * Kzg.Bls.G2.t)) * Kzg__Utils.Transcript.t
Sourceval prove : prover_public_parameters -> Kzg.Utils.Transcript.t -> Kzg.Bls.Scalar.t -> Kzg.Bls.G1.t array list -> (Kzg.Bls.G1.t list * (ipa_proof * Kzg.Bls.G2.t)) * Kzg__Utils.Transcript.t
Sourceval verify_single : Kzg.Bls.G1.t -> Kzg.Utils.Transcript.t -> commitment -> Kzg.Bls.Scalar.t -> (Kzg.Bls.G1.t * (ipa_proof * Kzg.Bls.G2.t)) -> bool * Kzg__Utils.Transcript.t
Sourceval verify : Kzg.Bls.G1.t -> Kzg.Utils.Transcript.t -> commitment list -> Kzg.Bls.Scalar.t -> (Kzg.Bls.G1.t list * (ipa_proof * Kzg.Bls.G2.t)) -> bool * Kzg__Utils.Transcript.t
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