Skip to content
This repository has been archived by the owner on Oct 11, 2024. It is now read-only.

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Paul Vienhage authored Apr 10, 2020
1 parent 8ea4bc7 commit 5ae11e3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
# VDF
A Solidity implementation of a VDF verifier contract, please note the code has not been audited and the preformance may not be completly optimized.
The verrify proof function checks that given: an input random, y, pi, number of iterations and a potential prime, that (1) the hash of the input random and y matches on all digits of the potential prime except the bottom twelve bits and the top bit and that the potential prime passes a random base miller rabin test. Next it checks that pi is a valid VDF proof over the inputs.
The verrify proof function checks that given: an input random, y, pi, number of iterations and a potential prime, that (1) the hash of the input random and y matches on all digits of the potential prime except the bottom twelve bits and the top bit and that the potential prime passes a random base miller rabin test and (2) it checks that pi is a valid VDF proof over the inputs.

0 comments on commit 5ae11e3

Please sign in to comment.