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.
Thanks for reading ZK Mesh! Subscribe for free to receive new posts and support my work.
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
ZODA: Zero-Overhead Data Availability | Alex Evans, Nicolas Mohnblatt and Guillermo Angeris
Lova: Lattice-Based Folding Scheme From Unstructured Lattices | Giacomo Fenzi, Christian Knabenhans, Ngoc Khanh Nguyen and Duc Tu Pham
Scribe: Low-memory SNARKs Via Read-Write Streaming | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Karan Newatia and Steve Wang
Mira: Efficient Folding for Pairing-based Arguments | Josh Beal and Ben Fisch
Orbweaver: Succinct Linear Functional Commitments From Lattices | Ben Fisch, Zeyu Liu and Psi Vesely
PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification | Binbin Gu, Juncheng Fang and Faisal Nawab
BOIL: Proof-Carrying Data From Accumulation of Correlated Holographic IOPs | Tohru Kohrita, Maksim Nikolaev and Javier Silva
Endomorphisms for Faster Cryptography On Elliptic Curves of Moderate CM Discriminants | Dimitri Koshelev and Antonio Sanso
Two-Round 2PC ECDSA at the Cost of 1 OLE | Michael Adjedj, Constantin Blokh, Geoffroy Couteau, Antoine Joux and Nikolaos Makriyannis
Efficient Succinct Zero-Knowledge Arguments In the CL Framework | Agathe Beaugrand, Guilhem Castagnos and Fabien Laguillaumie
Proof of Time: A Method for Verifiable Temporal Commitments Without Timestamp Disclosure | Alexander John Lee
Xiezhi: Toward Succinct Proofs of Solvency | Youwei Deng and Jeremy Clark
Anonymous Credentials From ECDSA | Matteo Frigo and Abhi Shelat
PrivCirNet: Efficient Private Inference Via Block Circulant Transformation | Tianshi Xu, Lemeng Wu, Runsheng Wang and Meng Li
On the Traceability of Group Signatures: Uncorrupted User Must Exist | Keita Emura
Crescent: Stronger Privacy for Existing Credentials | Christian Paquin, Guru-Vamsi Policharla and Greg Zaverucha
Zero Knowledge Memory-Checking Techniques for Stacks and Queues | Alexander Frolov
Bypassing the characteristic bound in logUp | Liam Eagen and Ulrich Haböck
Articles/Threads
What I Would Love to See In a Wallet | Vitalik Buterin
Privacy-First CBDCs: Leveraging Cryptography and Ethereum for Next-Gen Digital Currencies | Aztec
Zero-Knowledge Tech Can Define Future but Has to Win Over Skeptical Public | Newsweek
Commitments and Zero-knowledge Attestations over TLS 1.3: DiStefano Protocol | Brave
ZODA: An Explainer | Bain Capital Crypto
Succinct Blockchains with Accumulation: A Path Forward | Psycho Virtual
Continuous Read-Only Memory Constraints | LambdaClass
On the Gas Efficiency of the WHIR Polynomial Commitment Scheme | @xyz_pierre & @GiacomoFenzi
A Primer on Hybrid Merkle Trees | NP Labs
Groth16 at a Glance | @alinush407
Optimizing Montgomery Multiplication in WebAssembly | Bain Capital Crypto
Mira: Efficient Folding for Pairing-based Arguments | Josh Beal & Ben Fisch
Videos/Podcasts
ZK Hack V Online - All The Recordings | ZK Hack
Guides and Resources
Aztec Contracts 0–100 | @niallinio
Arithmetic Circuits in Rust | NP Labs
Awesome zkVM | @piapark_eth & @alexanderlhicks
Getting Started with MACI | Benjamin Barahona
Understanding Binius, Part I | L2 Iterative Ventures
Understanding Binius, Part II | L2 Iterative Ventures
Vulnerabilities/Disclosures
Chosen-Instance Attack | Bain Capital Crypto
Partial Exposure Attacks Against a Family of RSA-like Cryptosystems
Tools/Implementations
latticefold: A lattice-based non-interactive folding scheme written in Rust | Nethermind
ZKMPC: Publicly Auditable MPC for General-purpose Computations | @sheagrief
Cosmos ZK Voting | Vitwit
Project Updates
RISC Zero zkVM 1.2: Introducing Application-defined precompiles | RISC Zero
Succinct Network Whitepaper | Succinct
The o1Roadmap: Advancing Mina, Furthering ZK, and Solving Web3’s Biggest Problem | o1Labs
Namada Mainnet Is Live! | Namada
Kakarot's Next Stop: A Provable Future | Kakarot ZK-EVM
Joining Tools For Humanity to Build a Better World | Modulus Labs
The Future of ZK Development Is Here: Announcing the Noir 1.0 Pre-Release | Aztec
Introducing zkBasename: Elevate Your Privacy on Base with Zero Knowledge Proofs | NovaNet
Gevulot Firestarter is LIVE | Gevulot
Using ZKPs On Solana With the SP1 Solana Verifier | Succinct
Mina and Ethereum's Future: Convergent Evolution | Psycho Virtual
ZKsync SSO: Developer Toolkit for Better User Experience | ZKsync
ZK Accelerate Bangkok: Videos, Photos & Recap | Ingonyama
Open Source Polygon Plonky3 Is Once Again the Fastest ZK Proving System | Polygon
2024 in Review | Hylé
Soulforge Winning projects ($100K Open Source Grants Program for Plonky3/CIRCOM Development) | zkBankai
Building the World’s Largest ZK Rollup With Mantle | Succinct
Research Meets Ecosystem: The Applied Cryptography Team Roadmap | o1Labs
Drumroll Please: Introducing Zashi-Keystone Hardware Wallet Integration for Shielded ZEC | ZCash
Announcing Valida zkVM 0.7.0 | Lita Foundation
Introducing OpenVM | OpenVM
ZK in Sui | ZKV
Lagrange Introduces the Infinite Proving Layer: Expanding Decentralized Proving to ZK Rollups | Lagrange
Gevulot Is Now ZkCloud | ZkCloud
Events/Hackathons
ETHDenver | Denver, US. February 23 - March 2, 2025
ZKProof 7 | Sofia, Bulgaria. March 23 - 25, 2025
Real World Crypto | Sofia, Bulgaria. March 26 - 28, 2025
ETHGlobal Taipei | Taipei, Taiwan. April 4 - 6, 2025
BUIDL Asia | Seoul, South Korea. April 15 - 16, 2025
zkSummit 13 | Toronto. May 12, 2025
ETHGlobal Prague | Prague, Czech Republic. May 30 - June 1, 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__!
