Re:Time, Randomness, and a $100k Prize to Forever Change Blo...
by mpreda on Thursday August 01, 2019 @05:56PM
(#20588756)
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?
Re:Time, Randomness, and a $100k Prize to Forever Change Blo...
by justindrake on Thursday August 01, 2019 @06:09PM
(#20588846)
One efficient verification scheme is by Benjamin Wesolowski (see academic paper [here](https://eprint.iacr.org/2018/623.pdf)).
The scheme is surprisingly simple and fits on just one slide. See https://www.youtube.com/watch?v=zqL_cMlPjOI&feature=youtu.be...
Re:Time, Randomness, and a $100k Prize to Forever Change Blo...
by gchamonlive on Thursday August 01, 2019 @07:52PM
(#20589485)
Re:Time, Randomness, and a $100k Prize to Forever Change Blo...
by narush on Thursday August 01, 2019 @07:44PM
(#20589438)
Head's up -- your link is broken. I don't think markdown is supported :)
Re:Time, Randomness, and a $100k Prize to Forever Change Blo...
by Veedrac on Friday August 02, 2019 @03:03PM
(#20595653)
Have you considered the impact of superconducting circuitry? They're very niche and few people have heard of them, but they're not science fiction[1] and have a significant speed advantage.
[1] https://www.hypres.com/ seems to sell them
We're one of the sponsors of this competition. Please let us know if you have any questions!