View Single Post
Old 2020-05-08, 21:19   #70
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2·4,643 Posts
Default

Quote:
Originally Posted by SethTro View Post
Absolutely; The code is at https://github.com/sethtroisi/mfaktc/tree/proof and you can build it in the standard way.
Cool. I'll take a look at it (and run a few tests) this weekend.

Quote:
Originally Posted by SethTro View Post
I'll provide a program to verify the proof logs this weekend; currently it's a combination of the check in #47 for small kernels (e.g. 75bit_mul32_gs) and https://gist.github.com/sethtroisi/a2942e29be6ab43a6eeb4b4987ee3246 for larger kernels
OK. It would be good to run this across a spectrum of kit and kernel sizes. Do you happen to have a list of candidates which should be run?

And, could you define your datastream a bit more? Should the servers keep the values for each bit level? As in, it's effectively a three-dimensional sparse matrix (Exponent, Bit-level, PoW)?

Separately, does anyone who understands both the maths and the Python understand what's being done here? Black-box to me (and I'm OK with that).
chalsall is offline   Reply With Quote