ZK Mesh: May 2025 Recap
Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.
ZK Mesh is produced by ZK Hack.
We bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition every month. Be sure to share and subscribe!
Research
Jagged Polynomial Commitments (or: How to Stack Multilinears) | Tamir Hemo, Kevin Jue, Eugene Rabinovich, Gyumin Roh and Ron D. Rothblum
Poseidon and Neptune: Gröbner Basis Cryptanalysis Exploiting Subspace Trails | Lorenzo Grassi, Katharina Koschatko and Christian Rechberger
Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme | Andrija Novakovic and Guillermo Angeris
Logup*: faster, cheaper logup argument for small-table indexed lookups | Lev Soukhanov
Attacking Poseidon via Graeffe-Based Root-Finding over NTT-Friendly Fields | Antonio Sanso and Giuseppe Vitto
Quantum Rewinding for IOP-Based Succinct Arguments | Alessandro Chiesa, Marcel Dall'Agnol, Zijing Di, Ziyi Guan and Nicholas Spooner
Polocolo: A ZK-Friendly Hash Function Based on S-boxes Using Power Residues (Full Version) | Jincheol Ha, Seongha Hwang, Jooyoung Lee, Seungmin Park and Mincheol Son
Zero-knowledge Authenticator for Blockchain: Policy-private and Obliviously Updateable | Kostas Kryptos Chalkias, Deepak Maram, Arnab Roy, Joy Wang and Aayush Yadav
Fast elliptic curve scalar multiplications in SN(T)ARK circuits | Liam Eagen, Youssef El Housni, Simon Masson and Thomas Piellard
On the Fiat–Shamir Security of Succinct Arguments From Functional Commitments | Alessandro Chiesa, Ziyi Guan, Christian Knabenhans and Zihan Yu
Clementine: A Collateral-Efficient, Trust-Minimized, and Scalable Bitcoin Bridge | Ekrem Bal, Lukas Aumayr, Atacan İyidoğan, Giulia Scaffino, Hakan Karakuş, Cengiz Eray Aslan and Orfeas Stefanos Thyfronitis Litos
HyperWolf: Efficient Polynomial Commitment Schemes from Lattices | Lizhen Zhang, Shang Gao and Bin Xiao
Automated Verification of Consistency in Zero-Knowledge Proof Circuits | Jon Stephens, Shankara Pailoor and Isil Dillig
HydraProofs: Optimally Computing All Proofs In a Vector Commitment (with Applications to Efficient zkSNARKs Over Data From Multiple Users) | Christodoulos Pappas, Dimitris Papadopoulos and Charalampos Papamanthou
At the Top of the Hypercube – Better Size-Time Tradeoffs for Hash-Based Signatures | Dmitry Khovratovich, Mikhail Kudinov and Benedikt Wagner
SubLogarithmic Linear Time SNARKs from Compressed Sum-Check | Nitin Singh and Sikhar Patranabis
Articles/Threads
The Same Thing That Happened to AI is Happening to ZK | Conner Swann
Comparing Ligerito and WHIR | Nico Mohnblatt
zkTLS companies and use-cases | Reflexical (@reflexical)
Lattice-Based Signature Aggregation | EthResearch, by David Nevado, Dohoon Kim, and Miha Stopar
Google Wallet ZK system update | Wei Dai (@_weidai)
The Lies Our Provers Tell Us | Kobi Gurkan
How to Enable Age Verification On the Internet Today Using Zero-Knowledge Proofs | Aztec
zk Realtime Proving in the future | Orest Tarasiuk (@OrestTa)
Highlights of libZK, the Google Wallet ZKP | Nicolas Mohnblatt
Videos/Podcasts
Fireside Chat With Michael Klein: Inside Noir — Aztec’s ZK Language, Security and Tools Explained | Veridise
Implementing LatticeFold with Matthew and Albert from Nethermind | Zero Knowledge Podcast
Lattice-based ZK Systems with Vadim Lyubashevsky | Zero Knowledge Podcast
zkSummit 13 Toronto Recordings Playlist | Zero Knowledge Podcast
Prover Killers Rap | Conner Swann
We need to have programmable privacy | ZkCloud
Ethproofs Call #2: Real-time proving | Ethereum
Miden Blockchain: Edge-first, ZK-native | Snark Chocolate
Guides and Resources
Private Proof API | explainers-by-googlers
Real-Time Ethereum Proving | Succinct
Variants of KZG: Part I, Univariate | zkSecurity
Tools/Implementations
Plonkify: R1CS-to-Plonk transpiler | Pengfei Zhu
Physical objects as private keys | Dr. Z (@dr_zircuit)
Anonymous Credit Tokens | Jonathan Katz and Samuel Schlesinger
Ix: a zero-knowledge proof-carrying code platform | Argument
Integrating Mopro Native Packages Across Mobile Platforms | PSE
Vulnerabilities
Post Mortem: ZK ElGamal Proof Program Bug | Solana Foundation
Google Researcher Lowers Quantum Bar to Crack RSA Encryption | Matt Swayne
Project Updates
It’s now easier to prove age and identity with Google Wallet | Google
A New Era for Web3: Introducing Aztec Public Testnet | Aztec
ZEROBASE X ICICLE: Accelerating Real-Time ZK Applications at Scale | Ingonyama
Lambda's New Strategic Partnership With Miden: The Edge Blockchain | Lambda Class
S-two Prover | Starkware
Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture | Lita
SP1 Hypercube: Proving Ethereum In Real-Time | Succinct
SP1 Is Bitcoin Ready: The Era of ZK On Bitcoin Has Begun | Succinct
vlayer Launches Mainnet: The Next Step in Making Smart Contracts Useful for Billions | vlayer
Verifying SP1 Circuit Determinism With Picus: A Collaboration Between Veridise and Succinct | Veridise
Bionetta: Ultimate Client-Side ZKML. Technical Overview | Rarimo
PetraVM, a Binius-based verifiable VM | Irreducible and Polygon
Confidential Proving Delegation | Fermah
Introducing ICICLE-Stwo: A GPU-Accelerated Stwo Prover | Ingonyama
The Architecture Behind Boundless | Boundless
Events/Hackathons
W3PN_Hacks | Berlin, Germany. June 13, 2025
DappCon 25 | Berlin, Germany. June 16 - 18, 2025
ZuBerlin 2025 | Berlin, Germany. June 14-22, 2025
ZK Hack Berlin hackathon | Berlin, Germany. June 20 - 22, 2025
ETHCC | Cannes, France. June 30 - July 3, 2025
————
There you have it! Hope you liked this edition of ZK Mesh. Be sure to subscribe to get the next edition in your inbox.
Lastly, if you have something you think should be included in the next edition or suggestions for the format, tweet at us @__zkhack__!