package octez-libs
type prover = {
pp_pc_prover : PC.Public_parameters.prover;
pp_pack_prover : Aggregation.Pack.prover_public_parameters;
}
type verifier = {
pp_pc_verifier : PC.Public_parameters.verifier;
pp_pack_verifier : Aggregation.Pack.verifier_public_parameters;
}
type commitment = Commitment.public_parameters
val setup :
PC.Public_parameters.setup_params ->
(Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) ->
prover * verifier * Kzg.Utils.Transcript.t
val get_commit_parameters : prover -> Commitment.public_parameters
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>