Module Timelock.Internal_for_tests

val locked_value_to_z : locked_value -> Z.t
val rsa2048 : Z.t
val unlocked_value_to_z : unlocked_value -> Z.t
val vdf_proof_to_z : vdf_proof -> Z.t
val prove_wesolowski : time:int -> locked_value -> unlocked_value -> vdf_proof
val verify_wesolowski : time:int -> vdf_tuple -> bool
val to_vdf_tuple_unsafe : Z.t -> Z.t -> Z.t -> vdf_tuple
val hash_to_prime : time:int -> locked_value -> unlocked_value -> Z.t