verifyWesolowski - 2023.2 English

Vitis Libraries

Release Date
2023.2 English
#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


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