package octez-plonk
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;
}
val to_bytes : int -> prover -> bytes
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>