package octez-libs
type secret = Kzg.Bls.Poly.t Kzg.SMap.t
type t = Aggregation.Pack.commitment
val t : Aggregation.Pack.commitment Repr.t
type prover_aux = PC.Commitment.t * PC.Commitment.prover_aux
val prover_aux_t : (PC.Commitment.t * PC.Commitment.prover_aux) Repr.t
val commit :
?all_keys:String.t list ->
public_parameters ->
Kzg.Bls.Poly.t Kzg.SMap.t ->
Aggregation.Pack.commitment * (PC.Commitment.t * PC.Commitment.prover_aux)
val cardinal : Aggregation.Pack.commitment -> int
val commit_single : public_parameters -> Kzg.Bls.Poly.t -> Kzg.Bls.G1.t
val empty : Aggregation.Pack.commitment
val empty_prover_aux : PC.Commitment.t * PC.Commitment.prover_aux
val recombine : Aggregation.Pack.commitment list -> Aggregation.Pack.commitment
val recombine_prover_aux :
(PC.Commitment.t * PC.Commitment.prover_aux) list ->
PC.Commitment.t * PC.Commitment.prover_aux
val of_list :
public_parameters ->
name:string ->
Kzg.Bls.G1.t list ->
Aggregation.Pack.commitment * (PC.Commitment.t * PC.Commitment.prover_aux)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>