Quote:
Originally Posted by SethTro
I worked on this for like a month but there wasn't interest from other people.
It's ~80% done
* I modified mfaktc to return one of the smaller residuals it found.
* I output the new proof of work line
* James may even have implemented part of verification on the server

I took a look at the code again.
https://github.com/sethtroisi/mfaktc/tree/proof
For the smaller kernels in mfaktc you have access to the residual, for the larger kernels the residual is not always computed and we'd need a 2nd proof functions which will be similar but won't directly minimize residual but some other intermediate product (e.g. lower 32 bits of residual)