tag:blogger.com,1999:blog-3722233.post4321093934535793942..comments2024-09-11T21:44:26.059-05:00Comments on Computational Complexity: Sumchecks and SnarksLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-3722233.post-64214811256570738692024-03-10T15:59:49.400-05:002024-03-10T15:59:49.400-05:00You shouldnâ€™t have patented it. Schnorr patenting ...You shouldnâ€™t have patented it. Schnorr patenting his signature scheme led to nobody using it until the patent expired. Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-69381667986478188122024-02-21T14:04:40.041-06:002024-02-21T14:04:40.041-06:00Thanks. You made my day. Now if we only patented t...Thanks. You made my day. Now if we only patented those ideas...Lance Fortnowhttps://www.blogger.com/profile/06752030912874378610noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-58261844713320014722024-02-21T11:45:04.910-06:002024-02-21T11:45:04.910-06:00You're so wrong on this: "my research did...You're so wrong on this: "my research didn't have real world implications". I mean, literally each of my talks about STARKs starts by quoting the immortal line from BFLS "a single PC can monitor the operation of a herd of super computers, working with faulty hardware..." which I'm now quoting by heart. <br /><br />It all starts with BFLS and poly-logarithmic computation. The only thing that STARKs do is get the proofs more efficient. But the concept of poly-logarithmic verification, arithmetization (LFKN), low degree testing - it's all in there. <br /><br />And this math, which you've jumpstarted, is powering all advanced scaling techniques on Ethereum. <br /><br />Even the sum-check protocol, revamped by the "proofs for muggles" paper of GKR08, is entering modern systems. <br /><br />So, "has no practical impact" cannot be further from the truth.Eli Ben-Sassonhttps://www.blogger.com/profile/12645540823867956539noreply@blogger.com