package octez-plonk
include module type of struct include BasePC.Commitment end
type prover_public_parameters = BasePC.Public_parameters.prover
type secret = Plonk.Bls.Poly.t Plonk.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:Plonk.SMap.key Plonk.List.t ->
BasePC.Public_parameters.prover ->
Plonk.Bls.Poly.t Plonk.SMap.t ->
Aggregation.Pack.commitment * (PC.Commitment.t * PC.Commitment.prover_aux)
val cardinal : Aggregation.Pack.commitment -> int
val recombine : Pack.commitment list -> Pack.commitment
val recombine_prover_aux :
('a Plonk.SMap.t * 'b) list ->
'a Plonk.SMap.t * unit
val empty : Pack.commitment
val empty_prover_aux : 'a Plonk.SMap.t * unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>