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