ZK Mesh: July 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!
** Looking to hire in ZK? Add your job to the ZK Jobs Board today! **
Research
Post-Quantum Readiness In EdDSA Chains | Foteini Baldimtsi, Konstantinos Chalkias and Arnab Roy
Revisiting the IPA-sumcheck Connection | Liam Eagen and Ariel Gabizon
Pairing-Based Batch Arguments for NP With a Linear-Size CRS | Binyi Chen, Noel Elias and David J. Wu
Batch Decryption Without Epochs and Its Application to Encrypted Mempools | Dan Boneh, Evan Laufer and Ertem Nusret Tas
Ring-LWR Based Commitments and ZK-PoKs With Application to Verifiable Quantum-Safe Searchable Symmetric Encryption | Debadrita Talapatra, Nimish Mishra and Debdeep Mukhopadhyay
Hobbit: Space-Efficient zkSNARK With Optimal Prover Time | Christodoulos Pappas and Dimitrios Papadopoulos
Linear Prover IOPs in Log Star Rounds | Noor Athamnah, Noga Ron-Zewi, and Ron D. Rothblum
Efficiently Parsing Existing eID Documents for Zero-knowledge Proofs | Tom Godden, Ruben De Smet, Kris Steenhaut and An Braeken
NOPE: Strengthening Domain Authentication With Succinct Proofs | Zachary DeStefano, Jeff J. Ma, Joseph Bonneau and Michael Walfish
A Framework for Witness Encryption From Linearly Verifiable SNARKs and Applications | Sanjam Garg, Mohammad Hajiabadi, Dimitris Kolonelos, Abhiram Kothapalli and Guru-Vamsi Policharla
RoK and Roll – Verifier-Efficient Random Projection for Õ(λ)-size Lattice Arguments | Michael Klooß, Russell W. F. Lai, Ngoc Khanh Nguyen and Michał Osadnik
FRIttata: Distributed Proof Generation of FRI-based SNARKs | Hua Xu, Mariana Gama, Emad Heydari Beni and Jiayi Kang
Shred-to-Shine Metamorphosis In Polynomial Commitment Evolution | Weihan Li, Zongyang Zhang, Sherman S. M. Chow, Yanpei Guo, Boyuan Gao, Xuyang Song, Yi Deng and Jianwei Liu
BitVM with Succinct On-Chain Cost from AB-LFE, HMAC, or Privacy-Free GC | Weikeng Chen
HyperFond: A Transparent and Post-Quantum Distributed SNARK With Polylogarithmic Communication | Yuanzhuo Yu, Mengling Liu, Yuncong Zhang, Shi-Feng Sun, Tianyi Ma, Man Ho Au and Dawu Gu
Interstellar: GKR Protocol Based Low Prover Cost Folding Scheme for Circuit Satisfiability | Jieyi Long
Gödel In Cryptography: Effectively Zero-Knowledge Proofs for NP With No Interaction, No Setup, and Perfect Soundness | Rahul Ilango
Batch Subgroup Membership Testing On Pairing-friendly Curves | Dimitri Koshelev, Youssef El Housni and Georgios Fotiadis
On Weak NIZKs, One-way Functions and Amplification | Suvradip Chakraborty, James Hulett and Dakshita Khurana
Articles/Threads
Identifying Common Vulnerabilities In zkVMs | Veridise
Rewriting KYC with MPC | TACEO
Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back | zksecurity
The Future of Verified Computation | Psycho Virtual
Verifiable AI Memory | ICME
Metal MSM v2: Exploring MSM Acceleration on Apple GPUs | PSE
Dogecoin Could Soon Verify ZK Proofs Natively, Thanks to DogeOS Push | Coindesk
Our First Deep Dive into Aztec's Noir Language, What ZK Auditors Learned | Nethermind
The US Digital assets report (mentions zk on page 116) | Whitehouse.gov
Shipping an L1 zkEVM #1: Realtime Proving | Ethereum Foundation
Introducing Polocolo: A ZK-Friendly Hash Function for PLONK with Lookup (Part 1) | Zellic
Videos/Podcasts
Privacy Invariants in Digital Identity | Dappcon
Bringing ID Onchain with Self | ZKPodcast
Local-First with grjte and Goblin Oats | ZKPodcast
Ligero for Memory-Efficient ZK with Muthu | ZKPodcast
Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation schedule (includes videos) | Simons Berkeley
Vitalik Buterin on Ethereum Privacy | @Web3Privacy hackathon
Beam day (playlist) | Ethereum Foundation
Guides and Resources
How to Write and Audit a Secure zkVM Application: A Practical Example With RISC Zero | Veridise
GKR Protocol Implementation: Deep Dive Into the Code | Lambda Class
DeKART: How to prove many ranges in zero-knowledge) | Alin Tomescu
Hyrax polynomial commitment scheme) | Alin Tomescu
KZH polynomial commitments) | Alin Tomescu
Multilinear polynomials and multilinear extensions (MLEs) | Alin Tomescu
Let's Labrador | Ingonyama
Tools/Implementations
ICICLE v4.0.0 | Ingonyama
Ligero Prover released | Ligero
zkVM Examples | Soundness
Network Request Analyzer Extension | seichris
ZK Playbook | Ethereum Attestation Service
Longfellow ZK | Google
Vulnerabilities
Under-Constrained Bug in BinaryMerkleRoot Circuit (Fixed in v2.0.0) | PSE
Uncovering the Query Collision Bug in Halo2: How a Single Extra Query Breaks Soundness | zksecurity
Introducing Two ROS Attack Variants: Breaking One-more Unforgeability of BZ Blind Signatures | Bruno M. F. Ricardo, Lucas C. Cardoso, Leonardo T. Kimura, Paulo S. Barreto and Marcos A. Simplicio Jr
Project Updates
July 2025 Newsletter | PSE
Reshaping KYC/AML in Web3 | Ligero
Boundless Mainnet Beta is Live | Boundless
Google Cloud Integrates with Self to Power AI Adoption & Web3 Innovation by Human Users | Self
Self Now Supports EU ID Scanning for Identity Verification | Self
Zisk v0.10.0 is out | Zisk
Testnet Retro: A Small Slice for You, a Giant Leap for Hyli! | Hyli
Aztec Enters New Phase of Its Public Testnet: Introducing the Adversarial Testnet | Aztec
Introducing SP1-CC: Unleashing the Full Power of the EVM | Succinct
Citrea’s Role In Achieving Verification On Bitcoin With BitVM | Citrea
IMP1: Bringing Zero-Knowledge Proofs to Mobile | Ingonyama
The Anoma Testnet is Live! | Anoma
Kakarot x S-two: Bringing ZK to everyday devices | StarkWare
How to learn o1js | o1labs
Bootcamp/Education/Internships
Events/Hackathons
The Science of Blockchain Conference (SBC) 2025 | Berkeley, USA. August 4 - 6, 2025
Workshop on Elliptic Curve Cryptography ECC 2025 - Aug 11, 2025 (virtual)
ETH Global New York 2025 | NYC, USA. August 15 - 17, 2025
ZK Hack meetup | NYC, USA. August 17, 2025
Builders Week Istanbul | Istanbul, Turkey. September 1 - 7, 2025
Devconnect | Buenos Aires, Argentina. November 17-22, 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__!