package octez-libs

  1. Overview
  2. Docs
module type Aggregator = sig ... end
module Pack_impl : sig ... end
include Aggregator
type prover_public_parameters
val prover_public_parameters_t : prover_public_parameters Repr.t
type verifier_public_parameters
val verifier_public_parameters_t : verifier_public_parameters Repr.t
type data = Kzg.Bls.G1.t
type commitment = {
  1. cmt_t : Kzg.Bls.GT.t;
  2. cmt_len : int;
}
val commitment_t : commitment Repr.t
type randomness = Kzg.Bls.Scalar.t
type packed = Kzg.Bls.G1.t
val packed_t : packed Repr.t
type proof
val proof_t : proof Repr.t
type setup_params
val get_setup_params : prover_public_parameters -> setup_params
val public_parameters_to_bytes : prover_public_parameters -> Bytes.t
val commit : prover_public_parameters -> data array -> commitment
val commitment_cardinal : commitment -> int
val partial_commit : relevant_positions:int list -> prover_public_parameters -> data array -> commitment
val empty_commitment : commitment
val combine : commitment -> commitment -> commitment
OCaml

Innovation. Community. Security.