package octez-plonk
val gates : Plompiler.Csir.Scalar.t list Plonk.SMap.t
val circuit : Plonk.Circuit.t
val witness : Scalar.t array
val zero_values : case
val non_zero_values : case
val no_public_inputs : case
val wrong_values : case
val input_com : case
val list : case list
val list_one_public_input : case list
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>