View Single Post
Old 2020-05-09, 12:20   #72
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

181 Posts
Default

Quote:
Originally Posted by SethTro View Post
TODO is
1. Rename proof_k to proof_test or proof (it's not easy to manipulate large ints in mkfact)
2. Change output format from "X bits" to "X difficulty"
3. Run over large range of inputs and verify proof
4. Update verify script one more time.
These are all done now.

I ran ~50 exponents (5M to 250M) over several bitranges (58-60, 60-62, 65-67, 70-71) and verified ~458 proof statements (currently more than one can be generated per workitem).

Newest verification script is at https://gist.github.com/sethtroisi/4...7007d55cdca7e5
Attached Files
File Type: txt worktodo.txt (4.3 KB, 46 views)
File Type: txt results.txt (62.8 KB, 47 views)
SethTro is offline   Reply With Quote