mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > PrimeNet

Reply
 
Thread Tools
Old 2020-08-22, 02:22   #56
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

2×4,909 Posts
Default

They are the second part of the PRP-VDF run. They prove that the PRP was run without errors and that the number is composite.
Uncwilly is offline   Reply With Quote
Old 2020-08-22, 02:27   #57
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

24·389 Posts
Default

Quote:
Originally Posted by Uncwilly View Post
They prove that the PRP was run without errors and that the number is composite ...
... or a suspected prime, as the case may be.
retina is offline   Reply With Quote
Old 2020-08-22, 02:28   #58
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

100101000101102 Posts
Default

Thanks.

Just as an aside, maybe it is a bit of a misnomer. It is like giving 99.9% of population "a certificate" of NOT being an MD or PhD :-)
Maybe these tests should be called "CONF", or "VAL", or "VER".
Batalov is offline   Reply With Quote
Old 2020-08-22, 02:31   #59
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

24·389 Posts
Default

Quote:
Originally Posted by Batalov View Post
Thanks.

Just as an aside, maybe it is a bit of a misnomer. It is like giving 99.9% of population "a certificate" of NOT being an MD or PhD :-)
Maybe these tests should be called "CONF", or "VAL", or "VER".
It's actually a certificate of proof of work. Not the end results of prime/composite.
retina is offline   Reply With Quote
Old 2020-08-22, 04:32   #60
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

35×31 Posts
Default

I think of CERT as short for certification. You are certifying the validity of the proof file (which showed the Mersenne number to be prime or composite).

Last fiddled with by Prime95 on 2020-08-22 at 04:33
Prime95 is offline   Reply With Quote
Old 2020-08-22, 11:06   #61
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

2×1,579 Posts
Default

Quote:
Originally Posted by retina View Post
It's actually a certificate of proof of work. Not the end results of prime/composite.
It should also be a proof that the result is correct, so it should catch incorrect results due to hardware errors. That is the claim of those that understand the proof in the paper.

If it was "only" a proof of work, it would not be enough to count as a double check.


It would be nice to test that, if we had a known faulty machine and disabled Gerbicz error checking and see if the proof failed.

Last fiddled with by ATH on 2020-08-22 at 11:08
ATH is offline   Reply With Quote
Old 2020-08-25, 15:25   #62
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

152916 Posts
Default

Another Ben Delo Cert sighting: https://www.mersenne.org/report_expo...exp_hi=&full=1
kriesel is offline   Reply With Quote
Old 2020-08-25, 23:33   #63
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

55B16 Posts
Default

Quote:
Originally Posted by kriesel View Post
Some funky P-1 on that exponent in March 2019. Why?

2019-03-30 Kriesel NF-PM1 B1=1340000, B2=6700000, e=2
2019-01-24 Kriesel NF-PM1 B1=1205000, B2=39655000, e=2

(the second round of P-1 brought almost zero benefit)
preda is offline   Reply With Quote
Old 2020-08-26, 00:31   #64
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

10101001010012 Posts
Default

Quote:
Originally Posted by preda View Post
Some funky P-1 on that exponent in March 2019. Why?

2019-03-30 Kriesel NF-PM1 B1=1340000, B2=6700000, e=2
2019-01-24 Kriesel NF-PM1 B1=1205000, B2=39655000, e=2

(the second round of P-1 brought almost zero benefit)
After this long, I can't be sure. Maybe it was intended to be B2=67M.
kriesel is offline   Reply With Quote
Old 2021-03-21, 00:47   #65
ixfd64
Bemusing Prompter
 
ixfd64's Avatar
 
"Danny"
Dec 2002
California

5×479 Posts
Default

Uh-oh...

https://news.bitcoin.com/bitmex-cofo...ollow-in-april
ixfd64 is offline   Reply With Quote
Old 2021-03-21, 01:10   #66
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

100110001001112 Posts
Default

Quote:
Originally Posted by ixfd64 View Post
Uh-oh...
Big boys play big boy games.
chalsall is offline   Reply With Quote
Reply

Thread Tools


All times are UTC. The time now is 10:38.


Sun Aug 1 10:38:08 UTC 2021 up 9 days, 5:07, 0 users, load averages: 1.84, 1.58, 1.40

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.