20211024, 19:40  #23 
Oct 2021
Israel
7 Posts 
Yes
But they compute 3^(2^p) (mode Mp) and use the verifier to check the correctnes of the computation. We suggest that  as you don't need to know the concrete result of the computation but only if it equels 9 or not  don't do the computation: just use the verifier to see if it actually equels 9 or not. As we pointed out, this will accelerate the search for prime Mp by a huge factor..

20211026, 02:58  #24 
Romulan Interpreter
"name field"
Jun 2011
Thailand
23120_{8} Posts 
If you can find a way to do that, than you are $1000000 richer (yep, that is a million bucks), as you may have just solved "P versus NP" problem (at least partially). Or deterministic solution versus a nondeterministic solution. Things work like that: you have a problem that take a while to solve (like 3sat, or hamiltonian cycle, or factorization, or even doing a PRP test**), but once solved by a third party, i.e. a magician comes and pulls a solution out of his
So, assuming we can build a magician, we won't need to do the PRP computation, but only to verify the result...  ** for nitpickers: mind that I didn't say that the "fac" or "prp" are npcomplete Last fiddled with by LaurV on 20211026 at 02:58 
20211026, 03:30  #25 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest
1011100011110_{2} Posts 
How do you propose to run Pietrzak's verification, which employs 2^{v} values of size p bits each, generated and saved along the way of computing 3^(2^p) (modulo Mp), where v is the verification proof power, without computing those values by computing 3^(2^p) (modulo Mp)? Or put another way, how do you propose to defeat the verifiable delay function? How do you propose to compute the verification function without its required inputs?

20211026, 04:23  #26 
Undefined
"The unspeakable one"
Jun 2006
My evil lair
2·23·137 Posts 
This is just the information timetravel ontology paradox thing, right?
You take some information back in time and give to someone to invent some new (for that time) thing. Then after time passes and you are born and things, you take the information back in time "again" to complete the loop. And, magically, antigravity tech now exists. But where does the original information come from initially? You can't verify a proof if the proof doesn't exist yet. I'll leave it to you to wait for a time traveller from the future to pass you the proof files to verify. 
20211026, 05:45  #27 
Romulan Interpreter
"name field"
Jun 2011
Thailand
2^{4}×613 Posts 

Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Stupid question reloaded  LaurV  Information & Answers  14  20150618 23:37 
There is no such thing as a stupid question?  Uncwilly  Lounge  19  20130307 04:44 
Possibly stupid question about PRP.  Biggles  Prime Sierpinski Project  3  20060207 22:50 
probably a stupid newbie question...  rpropper  GMPECM  15  20051114 14:43 
Stupid Question  fropones  Math  2  20030528 00:44 