What is the algorithm for verifying the VDF output?
Specifically, I compute y = x^(2^N) mod M using N modular squarings, how do you verify the result?
Specifically, I compute y = x^(2^N) mod M using N modular squarings, how do you verify the result?
The scheme is surprisingly simple and fits on just one slide. See https://www.youtube.com/watch?v=zqL_cMlPjOI&feature=youtu.be...