News for hackers. Stuff that matters.
Re:R49081 Is Prime by segfaultbuserr on Monday November 21, 2022 @02:21AM (#33689803)
Yes. In particular, "certification" refers to the fact that the proof is computationally difficult to create, but once it's created, it's easy for a third-party to check its correctness (insert your P/NP reference here).

https://en.wikipedia.org/wiki/Primality_certificate

There are no comments on this comment yet.