package octez-libs
val locked_value_to_z : locked_value -> Z.t
val rsa2048 : Z.t
val unlocked_value_to_z : unlocked_value -> Z.t
val prove_wesolowski : time:int -> locked_value -> unlocked_value -> vdf_proof
val verify_wesolowski : time:int -> vdf_tuple -> bool
val hash_to_prime : time:int -> locked_value -> unlocked_value -> Z.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>