package octez-libs

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

Module Aggregation.PackSource

Sourcemodule type Aggregator = sig ... end
Sourcemodule Pack_impl : sig ... end
include Aggregator
Sourcetype prover_public_parameters
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourcetype verifier_public_parameters
Sourceval verifier_public_parameters_t : verifier_public_parameters 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 : packed Repr.t
Sourcetype proof
Sourceval proof_t : proof Repr.t
Sourcetype setup_params
Sourceval public_parameters_to_bytes : prover_public_parameters -> Stdlib.Bytes.t
Sourceval commitment_cardinal : commitment -> int
Sourceval partial_commit : relevant_positions:int list -> prover_public_parameters -> data array -> commitment
Sourceval empty_commitment : commitment
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