#include "xf_security/vdf.hpp"
template < int L, int N > void evaluate ( ap_uint <L> g, ap_uint <L> l, ap_uint <L> modulus, ap_uint <L> r2Mod, ap_uint <N> t, ap_uint <L>& y, ap_uint <L>& pi )
evaluate evalute 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 |
t | is a time bound |
y | is output of evaluate |
pi | is a proof |