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

19110 Posts

Originally Posted by SethTro View Post
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
Attached Files
File Type: txt worktodo.txt (4.3 KB, 51 views)
File Type: txt results.txt (62.8 KB, 54 views)
SethTro is online now   Reply With Quote