OCaml implementation of a VDF, based on Chia network's work and papers by Pietrzak and Wesolowski. The code is not optimized and is used primarily to test the proof validator.