There is a big difference between falsifiable and standard, although falsifiable is a good step forward. Of course, standard is subjective. In 2001, my advisor Oded Goldreich did not agree for me to say “standard assumption” for DDH
. It’s a different world today!
-
-
-
Ah I get it, so it’s “standard *model*, falsifiable assumptions”, not “standard assumptions”, that they claim (and then define “standard model” in a footnote). Ah crypto theory
Kraj razgovora
Novi razgovor -
-
-
iIs any type of iO known from standard assumptions?
-
Right, this is what I thought (but was worried I was missing something)
Kraj razgovora
Novi razgovor -
-
-
IO unfortunately even is known to contradict knowledge assumptions needed for SNARKs, so this doesn't seem a way to get SNARKs proven in AGM on more solid ground
- Još 6 drugih odgovora
Novi razgovor -
-
-
"almost" implies more than 50%..they can't get any of the knowledge assumptions needed for SNARKs, and they're using a really really heavy hammer - IO, which is like a crypto superpower :)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.