New work out! We (royally) show that Fiat-Shamir transformation is insecure for a class of proof systems for *generated* relations (including variants of commonly deployed protocols for R1CS).
A thread to explain where this applies
Show more
Did you ever ponder whether "Guruswami–Sudan" could fit into a song? No?! Neither did I, and yet here we are!
You want to win a million dollar in the proximity prize? You'll have to first listen to this song we made
Hash-based SNARKs are fast, PQ secure, and transparent.
But they have a major flaw: they historically lack ZK properties without massive overhead.
Enter ZO0k: a true minimal overhead ZK IOP framework presented by the local Italian star @GiacomoFenzi at ZK Summit. 🧵👇
Show more
And dulcis in fundo, @kleptographic on Interactive Oracle Reductions!
And for our next trick...
Noor Athamnah on Linear Prover IOPs in Log Star Rounds!
We are back on!
Alessandro Chiesa on Close Enough: Proximity Tests from Linear codes.
Livestream:
And now @danboneh on the proximity prize: what it is and what is currently known!
Different stream:
We are live with IOPFest!
Currently @zkproofs on the Quest for Optimal IOPs!
Join the live stream
Really fun talk, thank you for having me, get ready for part 2 at ZKProof!
Our first speaker of the day at zkSummit14 was @GiacomoFenzi sharing with us ZOOK: Zero-Knowledge IOPPs for Constrained Interleaved Codes
Accepted to CRYPTO26! 🎉🎉🎉
See you in sunny Santa Barbara 🇺🇸
We present Tensorswitch🧮:
a new nearly optimal hash-based polynomial commitment scheme from tensor codes!
Joint work with @benediktbuenz, @ronrothblum and @kleptographic!
📚: 2025/2065
Show more
See you in Rome for the Jubilee of proof systems 🇮🇹 🇻🇦:
zkSummit (cc @zeroknowledgefm) on May 7th
IOPFest on May 9th (don't forget to register
ZKProof on May 9th-10th (see below)
And dulcis in fundo, @IACReurocrypt 10-14th!
(+ Lazio-Inter 13th of May)
Show more
We have an update on the proximity prize: a 1m$ initiative to prove or disprove coding theoretic conjectures, with applications to shorter quantum-secure proof systems.
We have released the first draft:
cc @GalArnon42 and @danboneh
Show more
We present Tensorswitch🧮:
a new nearly optimal hash-based polynomial commitment scheme from tensor codes!
Joint work with @benediktbuenz, @ronrothblum and @kleptographic!
📚: 2025/2065
Show more
