View Single Post
Old 2019-05-19, 15:58   #13
kriesel's Avatar
Mar 2017
US midwest

29×173 Posts
Default Why don't we skip double checking of PRP tests protected by the very reliable Gerbicz check?

George Woltman gave a few reasons at
An example of a bad PRP result is listed at, which George has identified as an example of a software bug affecting a single bit outside the block of computations protected by the Gerbicz error check.

However, the development of a method of generating a proof of correct completion of a PRP test, that can be independently verified, will replace PRP double checking, at a great savings in checking effort.
This has been implemented in Gpuowl, mprime/prime95, and on the PrimeNet server. It is planned to be added to Mlucas also.

Top of this reference thread:
Top of reference tree:

Last fiddled with by kriesel on 2021-02-02 at 19:28 Reason: updated statement of PRP proof/cert implementation status
kriesel is online now