The goal of this project was to implement the Verifible Delay Function proposed by Benjamin Wesolowski in his paper.
Together with Alessio Attanasio and under the supervision of Novak Kaluderovic and Aymeric Genet in Arjen Lenstra's LACAL laboratory at EPFL, we worked on this implementation in the context of our Bachelor's project.
We also wrote a report detailing our work and a few of our finding and is available upon request.
This code is available as is and is no longer being worked on.
The main code is contained in VDF/, the other python files and graphs were included for the purpose of benchmarking the speed.
Implements the original algrithm proposed in the paper. We also included the proposed speedup by parallelizing the proof generation.
Contains a few specific functions not directly related to groups or the VDF.
This contains the implementation of the
We hadn't had time to fully implement an interface to the VDF and thus the code must be changed to allow for desired values.