mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Miscellaneous Math (https://www.mersenneforum.org/forumdisplay.php?f=56)
-   -   Can I just leave this here? (ECPP) (https://www.mersenneforum.org/showthread.php?t=15943)

trhabib 2011-08-10 02:38

Can I just leave this here? (ECPP)
 
1 Attachment(s)
If anybody's interested, you'll need WraithX's program to verify the certificate-- and you'll need to modify lines 64 through 67 to make it work (change 10000 to something more appropriate, like 40000).

I'm working on 60k digits next, but I have no idea when that will happen. It's probably going to take a while.

Christenson 2011-08-11 00:47

[QUOTE=trhabib;268809]If anybody's interested, you'll need WraithX's program to verify the certificate-- and you'll need to modify lines 64 through 67 to make it work (change 10000 to something more appropriate, like 40000).

I'm working on 60k digits next, but I have no idea when that will happen. It's probably going to take a while.[/QUOTE]

You can, but only RDS will be able to figure out what it is with that sparse an explanation of what it is.

trhabib 2011-08-11 01:16

[QUOTE=Christenson;268863]You can, but only RDS will be able to figure out what it is with that sparse an explanation of what it is.[/QUOTE]

The file is a Primo-format elliptic curve certificate for a number with 44637 decimal digits, using 12 elliptic curve reductions.

Primo caps out at about 30000 decimal digits for certificate verification, so you'll need to use another program to verify it. WraithX posted a program that verifies Primo certificates back in October 2010, but for this certificate, you have to tweak a few lines in the source code to get the program to accept larger input sizes.

I'm hoping to have a certificate for a number with about 60000 digits soon, but I have no idea how long it will take to do this.

chris2be8 2011-08-15 16:30

What program are you using to create the certificates? Is it publicly available, if so where? It would be nice to be able to prove R49081 is prime.

WraithX's program is available in this thread [url]http://www.mersenneforum.org/showthread.php?t=14086[/url] which should save other people some searching.

Chris K

chris2be8 2011-08-17 16:46

Another question, did you start with a number and generate a certificate or did you build a certificate and see what number it was for?

Chris K

trhabib 2011-08-17 23:35

[QUOTE=chris2be8;269330]Another question, did you start with a number and generate a certificate or did you build a certificate and see what number it was for?

Chris K[/QUOTE]

The latter. Sorry I missed your first response; the software I used isn't publicly available yet, though I may clean it up and have it available before the end of the year.

It's pleasantly surprising to see how amenable the CM method is to being run "in reverse". If you're smart about it, it's pretty easy to generate numbers in the 10k-digit and 20k-digit range.

I don't know of any way to pick the final certified value; all the obvious methods related to my approach are impractical. I'm currently doing this as part of my undergrad research project; I'm hoping to at least make SOME progress toward the goal of being able to pick the ending value.

chris2be8 2011-08-19 16:34

OK, so it's not as useful as I hoped. But it's a good test for WraithX's code.

Chris K


All times are UTC. The time now is 19:55.

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