ZK Mesh: June 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

• On the Adaptive Security of FROST | Elizabeth Crites, Jonathan Katz, Chelsea Komlo, Stefano Tessaro and Chenzhi Zhu

• Malicious Security In Collaborative zk-SNARKs: More Than Meets the Eye | Sanjam Garg, Aarushi Goel, Abhishek Jain, Bhaskar Roberts and Sruthi Sekar

• Speeding Up Sum-Check Proving | Suyash Bagad, Quang Dao, Yuval Domb and Justin Thaler

• DekartProof: Efficient Vector Range Proofs and Their Applications | Dan Boneh, Trisha Datta, Rex Fernando, Kamilla Nazirkhanova and Alin Tomescu

• A Framework for Compiling Custom Languages As Efficiently Verifiable Virtual Machines | Assimakis A. Kattis, Brian Klatt, Philip Quirk and Logan Allen

• Zero-Knowledge Polynomial Commitment In Binary Fields | Benjamin E. Diamond

• Committed Vector Oblivious Linear Evaluation and Its Applications | Yunqing Sun, Hanlin Liu, Kang Yang, Yu Yu, Xiao Wang and Chenkai Weng

• TrafficProof: Privacy-Preserving Reliable Traffic Information Sharing In Social Internet of Vehicles | Stefan Dziembowski, Shahriar Ebrahimi, Parisa Hassanizadeh and Susil Kumar Mohanty

• Private Signaling Secure Against Actively Corrupted Servers | Haotian Chu, Xiao Wang and Yanxue Jia

• SmallWood: Hash-Based Polynomial Commitments and Zero-Knowledge Arguments for Relatively Small Instances | Thibauld Feneuil and Matthieu Rivain

• Towards Trustless Provenance: A Privacy-Preserving Framework for On-chain Media Verification | Piotr Mikołajczyk, Parisa Hassanizadeh and Shahriar Ebrahimi

• Computational Attestations of Polynomial Integrity Towards Verifiable Back-Propagation | Dustin Ray and Caroline El Jazmi

• Burn Your Vote: Decentralized and Publicly Verifiable Anonymous Voting at Scale | Stefan Dziembowski, Shahriar Ebrahimi, Haniyeh Habibi, Parisa Hassanizadeh and Pardis Toolabi

• Jigsaw: Doubly Private Smart Contracts | Sanjam Garg, Aarushi Goel, Dimitris Kolonelos and Rohit Sinha

• QV-net: Decentralized Self-Tallying Quadratic Voting With Maximal Ballot Secrecy | Zibo Zhou, Zongyang Zhang, Feng Hao, Bowen Zheng and Zulkarnaim Masyhur

Articles/Threads

• ZK Hack Berlin Wrap-Up | ZK Hack

• zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks | Ian Miers (X thread)

• A Deep Dive into Logjumps: a Faster Modular Reduction Algorithm | Bain Capital Crypto

• Efficient Client-Side Proving for zkID | PSE

• zkPDF: Unlocking Verifiable Data in the World's Most Popular Document Format | PSE

• An Introduction to Zero-knowledge Virtual Machines (zkVMs) | Veridise

• Does digital ID have risks even if it's ZK-wrapped? | Vitalik Buterin

• Deconstructing the 1.5 GHz zkVM: How ZisK Redefined the Limits of Trace Generation | Developer Uche

• Folding schemes in the lattice setting: pay-per-bit and NTTs | Alberto Centelles, ICME

• Verifiable AI: Moving From a Black Box To a Glass House | Wyatt Benno, ICME

• CoSNARKs are overrated! | Mikerah (X thread)

• Capture Hidden Trends - Use Cases for Private and Decentralized ML Training | Indefinite / Yuriko

• BitVM: enabling efficient verifiable computation in Bitcoin | Lambda Class

• Subgroup Pitfalls in zk-Proofs and Real-World Exploits | Hexens

• Proofs On A Leash: Post-Quantum Lattice SNARK With Greyhound | zkSecurity

• The Longfellow ZK (Google-zk) | Dyne

Videos/Podcasts

• Cryptography Day | ZuBerlin

• 25 zkVMs: Too few or too many? | Miden at ZuBerlin

• ZK in Sui & zkAt with Kostas Kryptos | Zero Knowledge Podcast

• Hyli: Building a Blockchain Around Proofs | Snark Chocolate

• Giza Tech: verifiable ML and Agents | Snark Chocolate

• AI and ZK Auditing with David Wong | Zero Knowledge Podcast

• Bringing ZK to Google Wallet with Abhi and Matteo | Zero Knowledge Podcast

• zkTLS with Maddy from Reclaim | Zero Knowledge Podcast

• [Video Tutorial] Introducing Zama’s Hardware Accelerator for FHE - HPU on FPGA | Zama

• Designing Secure zkVM Applications: A Fireside Chat With Rami Khalil (RISC Zero) | Veridise

Guides and Resources

• Noir Programming And ZK Circuits course | Cyfrin Updraft

• What Are BLS Signatures and How Do They Work? | Zellic

• Whitepaper Alert: Exploring Keccak Hashes in Zero-Knowledge with GKR | vlayer

• What is the best ISA for Ethereum? - Leo Alt

• Our Succinct Explanation of Jagged Polynomial Commitments | Lambda Class

• An Introduction to Merkle Patricia Trie | Lambda Class

• The Fields Powering Binius | Lambda Class

• Additive FFT: Background | Lambda Class

• Diving Deep Into Binius M3 Arithmetization Using Merkle Tree Inclusion As an Example | Lambda Class

• Understanding Lasso: A Novel Lookup Argument Protocol | Oleg Fomenko and Anton Levochko

Tools/Implementations

• Use Extended Jacobian Coordinates for SW MSM | arkworks::algebra

• Improves the performance of VariableBaseMSM when scalars are small | arkworks::algebra

• List of Common Acronyms | ZK Jargon Decoder

• Implementing Lookups in Groth: The second secret ingredient to reduce Bionetta’s constraints | Rarimo

• Universally Composable Succinct Vector Commitments and Applications | Ran Canetti and Megan Chen

Bootcamp/Education/Internships

• zkForge Bootcamp 2025, by ZK Monk

• Now Accepting Interns - Join the Ethereum Season of Internships | Ethereum Foundation

Vulnerabilities

• Uncovering the Phantom Challenge Soundness Bug in Solana's ZK ElGamal Proof Program | zkSecurity

Project Updates

• Introducing ZisK — a new era for zero-knowledge proof systems | ziskvm

• Verifiable AI for Crypto Governance: A Research Collaboration With Sentient | EigenLayer

• NockVM: A Minimal ZKVM for General-Purpose Verifiable Computing | Nockchain

• Introducing ZKsync Airbender: The World’s Fastest Open-Source RISC-V zkVM | ZKsync

• Proof Aggregation | Fermah

• The Universal Proof Market: A Critical Ingredient for the ZK Endgame | Fermah

• Linea Is Now 100% Proven | Linea

• Deep Dive: The Hyli Wallet Abstracts Your Identity | Hyli

• The Hyli Testnet Is Live! | Hyli

• Deep Dive: eZKasino, Fully-proven Blackjack | Hyli

• Succinct and Hibachi Are Building the Endgame Exchange | Succinct

• Introducing EigenCloud, a Developer Platform to Unlock Crypto's App Era | EigenLayer

• EigenCloud: Cloud-Scale Programmability, Crypto-Grade Verifiability | EigenLayer

• Announcing the Zama Confidential Blockchain Protocol and Our Series B | Zama

• StealthNote: The Decentralized, Private Glassdoor of Web3 | Aztec

• R&D for Clementine V2: Eliminating Collateral and Liquidity Requirements With Garbled Circuits and TOOP | Citrea

• Ethereum Privacy: Private Information Retrieval | PSE

• Native ZK Verification Unlocks Hyper Scalable Execution | Avail

Events/Hackathons

• ETHCC | Cannes, France. June 30 - July 3, 2025

• NapulETH | Napoli, Italy. July 17 - 19, 2025

• Edcon 2025 | Osaka, Japan. July 31 - August 1, 2025

• The Science of Blockchain Conference (SBC) 2025 | Berkeley, CA, USA. August 4 - 6, 2025

• ETH Global New York 2025 | New York City, USA. August 15 - 17, 2025

• Workshop on Elliptic Curve Cryptography ECC 2025 - August 11, 2025 (online)

• Builders Week Istanbul | Istanbul, Turkey. September 1 - 7, 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__!