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
Arkworks 0.6.0 is out 🎉
The headline isn't BabyBear, KoalaBear, Mersenne31, Goldilocks.
It's `SmallFp` — a macro for any prime up to 64 bits that picks the optimal layout + arithmetic at compile time.
Drop-in. Non-breaking. Up to 30% speedup.
READ:
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
🔥🔥🔥 Get ready for #ZKProof# 2026!
Speaker: Giacomo Fenzi @GiacomoFenzi from @EPFL
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
Show more
🔥🔥🔥 Get ready for #ZKProof# 2026!
Speaker: Anubhav Baweja from University of Pennsylvania
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
Show more
🔥🔥🔥 Get ready for #ZKProof# 2026!
Speaker: Ziyi Guan @ziyiguan99 from @EPFL
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
Show more
🔥🔥🔥 Get ready for #ZKProof# 2026!
Speaker: William Wang @kleptographic from @nyuniversity
Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more.
For more details - link in the first comment.
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
