#include "xf_security/vdf.hpp"
template < int L, int N > bool verifyWesolowski ( ap_uint <L> g, ap_uint <L> l, ap_uint <L> modulus, ap_uint <L> r2Mod, ap_uint <L> tMod, ap_uint <N> t, ap_uint <L> y, ap_uint <L>& pi )
verifyWesolowski verify function of verifiable delay function
Parameters:
| L | bit width |
| N | bit width |
| g | is the base element given as input to the VDF evaluator |
| l | is a random prime |
| modulus | is a security parameter |
| r2Mod | Pre-calculated Montgomery parameter |
| tMod | is a time bound’s Pre-calculation value |
| t | is a time bound |
| y | is output of evaluate |
| pi | is a proof |