Research

• VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems | Rahul Dalal, Tamir Hemo, Eugene Rabinovich and Ron Rothblum

• Proximity Signatures | Guillermo Angeris and Kobi Gurkan

• Open Problems In List Decoding and Correlated Agreement | Gal Arnon, Dan Boneh and Giacomo Fenzi

• ZK-VSA: Zero-Knowledge Verifiable Speaker Anonymization Leveraging Phase Vocoder with Time-Scale Modification | Shuang Liang, Yang Hua, Peishen Yan, Linshan Jiang, Tao Song, and Bin Yao

• The Sum-Check Protocol Over the Monomial Basis, and Other Optimizations | Quang Dao, Ari Biswas, Liam Eagen, Andrew Milson, Shahar Papini and Justin Thaler

• Efficient Batch Threshold Encryption Using Partial Fraction Techniques | Dan Boneh, Rohit Nema, Arnab Roy and Ertem Nusret Tas

• HyperVerITAS: Verifying Image Transformations at Scale On Boolean Hypercubes | Garrett Greiner, Toshi Mowery and Pratik Soni

• VeriRAG: Efficient Zero-Knowledge Proofs for Verifiable Retrieval-Augmented Generation | Chenqi Lin, Yubo Cui, Zhelei Zhou, Cheng Hong, Yufei Wang, Zhaohui Chen and Meng Li

• PlasmaBlind: A Private Layer 2 With Instant Client-Side Proving | Pierre Daix-Moreux and Chengru Zhang

• Verifiable Divide-and-Conquer | Omer Paneth and Rafael Pass

• PipeSC: A Resource-efficient and Pipelined Hardware Accelerator for Sumcheck Protocol | Kaixuan Wang, Yifan Yanggong, Xiaoyu Yang, Chenti Baixiao and Lei Wang

• Secure MSM Outsourcing Computation for Zero-knowledge Proof Generation | Wujie Xiong, Arefeh Rahaei, Sangwon Shin, Xinxin Fan, Taeweon Suh, Veronika Kuchta, Sica Francesco, Weidong Shi and Lei Xu

• Failure of Proximity Gaps Close to Capacity | Dmitry Krachun, Stepan Kazanin and Ulrich Habök

• zkRAG: Efficiently Proving RAG Retrieval In Zero Knowledge | Yanze Jiang, Xinyang Yang, Xuanming Liu, Yanpei Guo and Jiaheng Zhang

• Zero-Knowledge Proof of Progress: Secure Multi-Phase CTF Competitions | Salam Khanji, Behzad Abdolmaleki, John Clark and Aryan Pasikhani

• Code-based Scalable Collaborative SNARKs | Christodoulos Pappas, Dimitrios Papadopoulos and Charalampos Papamanthou

• ACTS: Attestations of Contents In TLS Sessions | Pierpaolo Della Monica, Ivan Visconti, Andrea Vitaletti and Marco Zecchini

• Secret-Carrying Puzzles and Garbled Circuits Optimized for Zero-knowledge Proofs | Debasish Ray Chawdhuri and Manoj Prabhakaran

Articles/Threads

• Sum-Check as an Algebraic Tensor Reduction: Part I | ZK Security

• ZK on Bitcoin — Proof is in the Pudding #9 | ZK Security

• Frame Transactions and the Three Gates to Privacy | Nero_eth

• Insights for Shielded CSV from Tachyon | Gus Gutoski

• Verifiability in the Coordination Trilemma | The Interfold

• Scott Aaronson: On the Google Quantum Computing Paper | Scott Aaronson

• We beat Google’s zero-knowledge proof of quantum cryptanalysis | Trail of Bits

• A Mathematical Introduction to Lattice Cryptography: The Quantum Security Solution | CalBlockchain

• ERC: FHE Computation Verification Standard — Trustless verification of encrypted computation via recursive ZK proofs | Valisthea

• Understanding the Ultrahonk Verifier | HashCloak

Videos/Podcasts

• Proof is in the Pudding #9 — ZK on Bitcoin (with Archetype) | zksecurityXYZ

• Verifiable Databases with Shyam & Emanuele from Provably | ZK Podcast

• Is ZK dead? Or has it just begun? with the ZK Pod co-hosts | ZK Podcast

• Dev Ojha on the Osmosis Story and his Return to Privacy | ZK Podcast

• Fireside Chat with Jordi on EEZ I Jordi Baylina & Kartik Talwar | EthGlobal

• How to Build Private Smart Contracts on Aztec for Solidity Developers | Aztec

• Guardian Live: Present & Future Use Cases | Miden

Guides and Resources

• The Inverse Number Theoretic Transform | RareSkills

• A tutorial on building a merkle tree AIR script in Plonky3 | HashCloak

• The Grand Comparison: Every ZKP System, Every Dimension — ZKP Systems Series | Ümit Aygül

• Protocol Study Series: 12-session guided reading of the Zcash Protocol Specification | Mark H

Tools/Implementations

• Dropping a new testnet for post-quantum signatures — Falcon + ephemeral PQ scheme | asanso

• Introducing Spawned: Erlang-Style Actors for Rust | Lambda Class

• Building an open-source Zcash hardware wallet SDK for constrained embedded systems | ZecVault

• ZecVault: goal-based savings wallet on Zcash shielded transactions | Gorusys

• zk-autoresearch — autonomous LLM agent optimizing a production ZK prover | Barnadrot

• EU ZK ID project picked Noir | eu-digital-identity-wallet

• UltrafastSecp256k1: a multi-backend secp256k1 execution engine for wallets, ZK, and high-throughput Ethereum tooling | Vano Chkheidze

Vulnerabilities

• Zebra 4.3.1: Critical Security Fixes, Dockerized Mining and CI Hardening | Zcash Foundation

• Critical soundness bug from Jolt zkVM | Minsun Kim

• Proximity Gaps Conjecture Fails Near Capacity over Prime Fields | Antonio Kambiré

• Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings | zkSecurity

• New Circom Bugs | Stefanos Chaliasos

Project Updates

• All blockchains should have a clear path toward post-quantum security | Starknet

• People don’t understand the sheer volume of what is shipping in Zcash 2026 | Zcash

• Zcash roadmap to becoming Post-Quantum | Zcash

• Introducing Guardian: The Missing Piece for Institutional Privacy | Miden

• Private State Management on Miden | OpenZeppelin

• SP1 Verifier: WASM-compatible PLONK & GROTH16 verification | Succinct

• Zcam: an iPhone camera app to Prove What’s Real | Succinct

• Google Uses SP1 to Prove Quantum Security Threat | Succinct

• Post-Quantum Citrea | Citrea

• Finality In Leanconsensus: How Ethlambda Implements 3SF-mini | Lambda Class

• Audit of Aptos Confidential Assets | Aptos & zkSecurity

• Just write ‘if’: Why Payy left Halo2 for Noir | Aztec / Payy

Events/Hackathons

• zkSummit14 | Rome, Italy — May 7

• Zcash Dev Summit | Rome, Italy — May 8

• Zkproof 8 | Rome, Italy — May 9 - 10

• ETHDam | Amsterdam, Netherlands — May 9 - 10

• Privacy Enhancing Technologies Symposium | Calgary, Canada — July 20 - 25

• Common S3nse | Amsterdam, Netherlands — Sept 4

• Devcon India | Mumbai, India — Q4 2026 ​​

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__!

** zkSummit14 will take place on 7 May 2026 in Rome. Submit your application to attend here!

Research

• Securing Elliptic Curve Cryptocurrencies against Quantum Vulnerabilities: Resource Estimates and Mitigations | Ryan Babbush, Adam Zalcman, Craig Gidney, Michael Broughton, Tanuj Khattar, Hartmut Neven, Thiago Bergamaschi, Justin Drake, Dan Boneh

• Interactive Proofs for Batch Polynomial Evaluation | Gal Arnon, Alessandro Chiesa, Giacomo Fenzi and Eylon Yogev

• Icefish: Practical zk-SNARKs for Verifiable Genomics | Alexander Frolov, Maurice Shih, Rob Patro and Ian Miers

• SoK: Understanding zkVM: From Research to Practice | Yunbo Yang, Yuejia Cheng, Haibo Tang, Guomin Yang, Bingsheng Zhang and Kui Ren

• Optimizing FROST for Message Capacity | Philipp Jovanovic, Ben Riva and Arnab Roy

• A Universal Blinder: One-round Blind Signatures From FHE | Dan Boneh and Jaehyung Kim

• Lattice HD Wallets: Post-Quantum BIP32 Hierarchical Deterministic Wallets from Lattice Assumptions | Conor Deegan, James Fitzwater, Kamil Doruk Gur, David Nugent

• Binohash: Transaction Introspection Without Softforks | Robin Linus

• S-two Whitepaper | Dan Carmon, Lior Goldberg, Ulrich Haböck, Leonardo Lerer and Ilya Lesokhin

• On the Security of Constraint-Friendly Map-to-Curve Relations | Youssef El Housni and Benedikt Bünz

• Speeding Up Sum-Check Proving (Extended Version) | Quang Dao, Zachary DeStefano, Suyash Bagad, Yuval Domb and Justin Thaler

• The Art of Linearization: From a KZG’s Trick to a General Commitment Framework | Janno Siim

• RoKoko: Lattice-based Succinct Arguments, a Committed Refinement | Michael Klooss, Russell W. F. Lai, Ngoc Khanh Nguyen, Michał Osadnik and Lorenzo Tucci

• Proof-Carrying Data Via Holography Accumulation | Nikitas Paslis, Carla Ràfols and Alexandros Zacharakis

• VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems | Rahul Dalal, Tamir Hemo, Eugene Rabinovich, and Ron D. Rothblum

• A Resource-Efficient Hardware Accelerator for Large-Size NTT Via Algorithm–Architecture Co-Design | Kaixuan Wang, Yifan Yanggong, Xiaoyu Yang, Chenti Baixiao and Lei Wang

• FHorgEt: A Cryptographic Solution for Secure Machine Unlearning | David Balbás, Dario Fiore, Georgios Raikos, Damien Robissout and Claudio Soriente

• zkBSA: Auditable and Compliant Stealth Addresses for Blockchains | Siyuan Zheng and Zhe Han

• Human-Extractable ZK Proofs of Knowledge: A Solution to Dark DAOs | Zeyuan Yin, Leiyuan Tian, Bingsheng Zhang and Kui Ren

• New Approaches to Zero-Knowledge SNARG Constructions | Chaya Ganesh and Mor Weiss

Articles/Threads

• Comments on two breakthrough papers on quantum computing and cryptography | Justin Drake

• What if post-quantum Ethereum doesn’t need signatures at all? | 0xjasonw

• Post-Quantum Threats to Ethereum Privacy | namnc

• The Roadmap to Lean Ethereum | Thomas Coratger

• Revisiting Falcon signature aggregation for PQ mempools | Antonio Sanso, Thomas Thiery, Benedikt Wagner

• Why encryption alone will not protect your vote | Roman

• ZK proofs, x402, and Fairer Internet Markets | Kevin Leffew

• Agents Need Private, Verifiable Actions at Scale. No Current Infrastructure Delivers That. | Lukas Helminger

• Post-Quantum ZK is an Architecture Problem | Encryptorium

• KZG vs IPA vs FRI: Picking the Right Polynomial Commitment Scheme | zkSecurity

• Frame Transactions vs. SchemedTransactions for Post-Quantum Ethereum | Giulio rebuffo

• Private ETH and ERC-20 Transfers | Tom Lehman

• AI, ZK, and Blockchain: Use cases I believe in | Eli Ben-Sasson

• A response to Canton claims about ZKPs | Alex Gluchowski

• Scaling Privacy: Evolving Nullifiers | Roman

Videos/Podcasts

• Ethproofs Call #8 - Poseidon | Ethproofs

• lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize | Zero Knowledge Podcast

• lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation | Zero Knowledge Podcast

• lean Ethereum Part 5: Devnets & Upgrade Coordination with Will & Raúl | Zero Knowledge Podcast

• lean Ethereum Part 6: Formal Verification with Alex Hicks | Zero Knowledge Podcast

Guides and Resources

• AnyFeed: ZK-verified price feeds for any token with a DEX pool | Jacob Everly

• PSE Vibecoding Hackathon Results | PSE

Tools/Implementations

• WHIR implementation to Plonky3 | Thomas Coratger

• New Plonky3 release | Robin Salen

• Optional Execution Proofs) in EthRex client | EthRex

Vulnerabilities

• Critical vulnerability in Zcash Foundation’s Zebra node | robustfengbin

• Critical Vulnerability in Alpha v4 | Aztec Network

Project Updates

• Announcing the Alpha Network | Aztec Network

• The Ethereum Economic Zone | ZisK & Gnosis

• Linea is moving to RISC-V | Linea

• Building ZK Proofs for Ethereum With Nethermind Client | Nethermind

• Ethproofs v3.2 is Live | Ethproofs

• Scalable Compliant Privacy On Starknet | Lior Goldberg, Maya Dotan, Ittay Dror, Gideon Kaempfer, Nir Levi, Noa Oved, Arad Reder, Anat Veredgorn and Noa Wolfgor

• Aztec Network: Roadmap Update | Aztec Network

• Aptos Confidencial Assets: A cryptographic deep dive | Alin Tomescu, Aptos

• ZODL update on Zcash | ZODL

• powdr-wasm release | powdr labs

• STRK20s Technical Paper | StarkNet

• S-Two Paper | Starknet

• Brevis Vera: Proving What’s Real In the Age of AI | Brevis

• How Privacy Layers Make Blockchain Work for Regulated Finance | Hylé

• The Promise of Ethereum: Introducing the EF Mandate | Ethereum Foundation

• How Ethrex Heals State During Snap Sync | Lambda Class

• The TACEO Network Is Live | TACEO

• How L1 and L2s Can Build the Strongest Possible Ethereum | Ethereum Foundation

• Verifying True Randomness in Cryptographic Systems | Spacecomputer

• Tachyon is live on mainnet | Rath

Events/Hackathons

• RWC 2026 | Taipei, Taiwan. March 9 – 11

• Privacy on Ethereum MeetUp | Amsterdam, Netherlands. February 5

• zkSummit 14 | Rome, Italy. May 7

• Zcash Dev Summit | Rome, Italy. May 8

• ETHDam | Amsterdam, Netherlands. May 9 - 10

• Zkproof 8| Rome, Italy. May 9 - 10

• Eurocrypt 2026 | Rome, Italy. May 10 - 14

• Common S3nse | Amsterdam, Netherlands. Sept 4

• Privacy Enhancing Technologies Symposium | Calgary, Canada. July 20–25

• Devcon India | Mumbai, India. Q4 2026 ​​

————

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__!

** zkSummit14 will take place on 7 May 2026 in Rome. Space is limited. If you’re planning to attend or speak, please submit your application as soon as possible here.

Research

• Zero-Knowledge IOPPs for Constrained Interleaved Codes | Alessandro Chiesa, Giacomo Fenzi, and Guy Weissenberg

• Nudge: A Private Recommendations Engine | Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs and Dan Boneh

• Implementable Witness Encryption From Arithmetic Affine Determinant Programs | Lev Soukhanov, Yaroslav Rebenko, Muhammad El Gebali and Mikhail Komarov

• Cyclo: Lightweight Lattice-based Folding via Partial Range Checks | Albert Garreta, Helger Lipmaa, Urmas Luhaäär and Michał Osadnik

• eDAS: Extending Data Availability Sampling With Privacy and Compliance | Isobel Watkins, Nicolas Mohnblatt and Philipp Jovanovic

• Bolt: Faster SNARKs From Sketched Codes | Kobi Gurkan, Andrija Novakovic and Ron D. Rothblum

• Special Soundness and Binding Properties: A Framework for Tightly Secure zk-SNARKs | Erki Külaots, Helger Lipmaa, Roberto Parisella and Janno Siim

• Lightning, Field-Agnostic Super-Efficient Polynomial Commitment Scheme | Wenjie Qu, Yanpei Guo and Jiaheng Zhang

• UltraFold: Efficient Distributed BaseFold From Packed Interleaved Merkle Trees | Wenhao Wang and Fan Zhang

• OpenAC: Open Design for Transparent and Lightweight Anonymous Credentials | Liam Eagen, Hy Ngo, Vikas Rushi, Ying Tong, Moven Tsai and Janabel Xia

• A Cryptographic Framework for Proof of Personhood | Arka Rai Choudhuri, Sanjam Garg, Keewoo Lee, Hart Montgomery, Guru Vamsi Policharla and Rohit Sinha

• Bitcoin PIPEs V2 | Michel Abdalla, Brent Carmer, Muhammed El Gebali, Handan Kilinc-Alper, Mikhail Komarov, Yaroslav Rebenko, Lev Soukhanov, Erkan Tairi, Elena Tatuzova and Patrick Towa

• Relaxed Modular PCS From Arbitrary PCS and Applications to SNARKs for Integers | Alireza Shirzad, Sriram Sridhar, Dimitrios Papadopoulos and Charalampos Papamanthou

• Hachi: Efficient Lattice-Based Multilinear Polynomial Commitments over Extension Fields | Ngoc Khanh Nguyen, George O’Rourke, Jiapeng Zhang

• Neo and SuperNeo: Post-quantum Folding With Pay-per-bit Costs Over Small Fields | Wilson Nguyen and Srinath Setty

• WillowFold: Secure Aggregation With a Lightweight Committee | Hossein Hafezi, Kasra Abbaszadeh, Adrià Gascón, Phillipp Schoppmann, Mariana Raykova and Benedikt Bünz

• Zero-Knowledge Proof-Carrying Data From Accumulation Schemes | Tianyu Zheng, Shang Gao and Xun Liu

• Verification Theatre: False Assurance in Formally Verified Cryptographic Libraries | Nadim Kobeissi

• On the Complexity of Interactive Arguments | Idan Baril and Iftach Haitner

• Do Androids Dream of a Dead Internet: Interactive Watermarks for Bot Detection | Brennon Brimhall, Harry Eldridge, Maurice Shih, Ian Miers and Matthew Green

• Plonk Without Random Oracles | Georg Fuchsbauer and Marek Sefranek

• PANCAKE: A SNARK With Plonkish Constraints, Almost-Free Additions, No Permutation Check, and a Linear-Time Prover | Yuxi Xue, Peimin Gao, Xingye Lu and Man Ho Au

• Sumcheck-based zkSNARKs Are Non-Malleable | Antonio Faonio and Luigi Russo

Articles/Threads

• ZK API Usage Credits: LLMs and Beyond | Davide Crapis and Vitalik Buterin

• PrivateX402: Privacy-Preserving Payment Channels for Multi-Agent AI Systems | Conor McMenamin and Artem Grigor

• ZAI: Shielded Stability Primitive | ColludingNode

• ML-DSA: To Pre-Hash or Not to Pre-Hash | Conor Deegan

• ZK History Refresher | xiamaomao

• Why ZK Will Win | Shiv Shankar

• Quantum Recoverable Zcash | zkDragon

• Inside the SVM - sBPF JIT Security Pitfalls and Memory Leaks | Zellic

• On the Large-scale online deanonymization with LLMs paper | Ian Miers

• AdversIm | Succinct

Videos/Podcasts

• Stateful ZK Identity with Ian Miers | Zero Knowledge Podcast

• lean Ethereum Part 1: Introduction with Justin Drake | Zero Knowledge Podcast

• lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt | Zero Knowledge Podcast

• Tachyon Whiteboard Session | Arjun Khemani & zkDragon

• Zero-Knowledge Technology with Jordi Baylina | CypherTalk

• Proving Ethereum in Real-Time With OpenVM | Yi Sun (Axiom) | EthDenver

• Inside SP1 With Tamir Hemo: Succinct’s Approach to ZK-VM Performance & Security | Veridise

• Formalising FRI: A Lean Blueprint of Security | Petar Maksimovic (Nevermind) | EtheDenver

• Security Blindspots Beyond L2s | Luca Donno (L2BEAT) | EthDenver

• ZisK: A zkVM Foundation for Next-Gen Blockchains | Jordi Baylina (ZisK) | EthDenver

• ZKPs on Bitcoin | Ying Tong, David, Volokh, Keagan | EthDenver

• Compliant Cross-Chain Lending With ZK Pre-Checks | Kacper Koziol (Amish Protocol) | EthDenver

• Keeper: Turning Geth Into a zkVM Guest Program | Guillaume Ballet (EF) | EthDenver

• Jolt: Making Client-Side ZK into a Commodity | Andrew Tretyakov (a16z crypto) | EthDenver

Guides and Resources

• Formally Verified Arguments of Knowledge | Nethermind

• Chunky: Weighted PVSS and DKG for field elements | Alin Tomescu

Tools/Implementations

• Ethereum Should Enshrine Private Transfers (+ Demo!) | Tom Lehman

• Midnight City | Midnight

Vulnerabilities

• Large-scale online deanonymization with LLMs | Simon Lermen, Daniel Paleka, Joshua Swanson, Michael Aerni, Nicholas Carlini and Florian Tramèr

• Skipping Class: Algebraic Attacks exploiting weak matrices and operation modes of Poseidon2(b) | Simon-Philipp Merz and Àlex Rodríguez García

• Analysis and Vulnerabilities In Zklogin | Sofia Celi, Hamed Haddadi and Kyle Den Hartog

• The first two known exploits against live ZK circuits | zkSecurity

Project Updates

• zERC20 Privacy Wrapper | zERC20

• Zashi Is Becoming Zodl | Zodl

• TACEO:OPRF Service Is Live In Public Beta | TACEO

• Ethlambda: Building a Post-quantum Ethereum Client With the Help of Shared Tooling | Lambda Class

• Optimism Chooses Succinct to Bring ZK to the Superchain | Succinct

• Testnet v0.13: Major DevEx & Protocol Improvements | Miden

• Shielded Labs: Thoughts on Polling & Governance | Shielded Labs

• PSE February 2026 Newsletter | PSE

• StarkWare integrates EY-built Nightfall privacy tech into Starknet | StarkNet

• Shield Launched | Aleo

• Ligero Pilots Onchain Payroll Platform on Espresso | Ligero

• o1js Goes Native | o1Labs

• Hypercube is live on mainnet | Succinct

Events/Hackathons

• RWC 2026 | Taipei, Taiwan. March 9 – 11

• Privacy on Ethereum MeetUp | Amsterdam, Netherlands. February 5

• zkSummit 14 | Rome, Italy. May 7

• Zcash Dev Summit | Rome, Italy. May 8

• ETHPrague | Prague, Czech Republic May 8-10

• ETHDam | Amsterdam, Netherlands. May 9 - 10

• Zkproof 8 | Rome, Italy. May 9 - 10

• Eurocrypt 2026 | Rome, Italy. May 10 - 14

• Common S3nse | Amsterdam, Netherlands. Sept 4

• Devcon India | Mumbai, India. Q4 2026 ​​

————

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__ or @zeroknowledgefm!

** A quick note: we’ve just launched zkMesh+, a paid subscription tier for community members who want deeper technical insight, extra context, and to support us in the making of the ZK Mesh newsletter and the Zero Knowledge Podcast. We recently shared our first two exclusives: the State of ZK Report (Q4 2025) and a bonus podcast clip with Sean Bowe (Zcash) on the quantum threat.

Research

• OOPS: One-time Oblivious Polynomial Signatures | Kobi Gurkan, Philipp Jovanovic and Andrija Novakovic

• Argo MAC: Garbling With Elliptic Curve MACs | Liam Eagen and Ying Tong Lai

• The Billion Dollar Merkle Tree | Thomas Coratger, Dmitry Khovratovich, Bart Mennink, Benedikt Wagner

• Aborting Random Oracles: How to Build Them, How to Use Them | Gottfried Herold, Dmitry Khovratovich, Mikhail Kudinov, Stefano Tessaro and Benedikt Wagner

• Private Proofs of When and Where | Uma Girish, Grzegorz Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

• Round-Optimal Pairing-Free Blind Signatures | Julia Kastner, Stefano Tessaro and Greg Zaverucha

• BABE: Verifying Proofs On Bitcoin Made 1000x Cheaper | Sanjam Garg, Dimitris Kolonelos, Mikhail Sergeevitch, Srivatsan Sridhar and David Tse

• Jindo: Practical Lattice-Based Polynomial Commitment for Zero-Knowledge Arguments | Intak Hwang, Hyeonbum Lee, Jinyeong Seo and Yongsoo Song

• A SNARK for (Non-)Subsequences With Text-Sub-Linear Proving Time | Dario Fiore, San Ling, Khai Hanh Tang, Hong Hanh Tran, Huaxiong Wang and Yingfei Yan

• Policy-based Access Tokens: Privacy-Preserving Verification for Digital Identity | Kiran Pun, Daniel Gardham and Nick Frymann

• zkRNN: Zero-Knowledge Proofs for Recurrent Neural Network Inference | Fatemeh Zarinjouei, Behzad Abdolmaleki, Maryam Zarezadeh, Bhavish Mohee, Aysajan Abidin and Stefan Köpsell

• Formalizing Privacy In Decentralized Identity: A Provably Secure Framework With Minimal Disclosure | Yu Zhang and Zongbin Wang

• Lether: Practical Post-Quantum Account-Based Private Blockchain Payments | Hongxiao Wang, Muhammed F. Esgin, Ron Steinfeld and Siu-Ming Yiu

• HYPERSHIELD: Protecting the Hypercube MPC-in-the-Head Framework Against Differential Probing Adversaries Without Masking | Linda Pirker, Quinten Norga, Suparna Kundu, Anindya Ganguly, Barry van Leeuwen, Angshuman Karmakar and Ingrid Verbauwhede

• Designated-Verifier Dynamic zk-SNARKs with Applications to Dynamic Proofs of Index | Weijie Wang, Charalampos Papamanthou, Shravan Srinivasan, Dimitrios Papadopoulos

• Structured Matrix Constraint Systems for Architecture-Hiding Succinct Zero-Knowledge Proofs for Neural Networks | Mingshu Cong, Sherman S. M. Chow, Tsz Hon Yuen and Siu-Ming Yiu

Articles/Threads

• Permutation Proofs Déjà Vu | Jens Groth

• A sharper look at FRI | LambdaClass

• Lean4 Formalization of “a Simplified Round-by-round Soundness Proof of FRI” | zkSecurity

• Why Shielded Pools Matter: The Math of Privacy | Sombra

• ZK-SNARKs Changed My Mind | Vitalik Buterin

• Measuring the Privacy Experience on Ethereum | PSE

• RISC-V ZKVMs: the Good and the Bad | Argument

• Tokenization Privacy Solutions: An Institutional Review | JP Aumasson

• Generating ZK Proofs In Browser Today | Lauri Peltonen

• State of ZK Report - Q4 2025 | Zero Knowledge Podcast

• SoK: Privacy-Preserving Transactions in Blockchains | Mysten Labs

• Privacy Trends 2026 | a16z

• the transparent money problem | mert

• Client-Side GPU Acceleration for ZK: A Path to Everyday Ethereum Privacy | PSE

Videos/Podcasts

• Zcash Founder on Privacy, AI, and How ZEC is ‘Encrypted Bitcoin’ | Bankless

• Sean Bowe on Tachyon and the Evolution of Zcash | Zero Knowledge Podcast

• Bonus Clip with Sean Bowe on the Quantum Threat | zkMesh+ (paid members only)

Guides and Resources

• Companion book to LeanSpec | Thomas Coratger

• ZK Book | 0xParti

• Lean Ethereum - LeanSig | Ziemann

Tools/Implementations

• ZK circuits in Noir on Solana | Solana Foundation

• A privacy-hardened Unified Address light client for Zcash | Tanya

Vulnerabilities

• A Practical Guide to Finding Soundness Bugs in ZK Circuits | Bernhard Mueller

• The Unverified Public Key Attack: When Your ZK Proof Proves Nothing | Nethermind

• Analysis and Attacks On the Reputation System of Nym | Xinmu Alexis Cao and Matthew Green

Project Updates

• The new Post Quantum (PQ) team | Ethereum Foundation

• OpenVM 2.0 and the SWIRL proof system | OpenVM

• qedb: Rethinking Verifiable Databases from the Ground Up | Provably

• { 𝙞𝙙𝙚𝙖𝙡 } is launching | { 𝙞𝙙𝙚𝙖𝙡 }

• zkEVM on L1 | Ethereum

• Order out of Chaos: A Neutral Verification Layer for Zcash | ZCash

• Zypherpunks Hackathon Results | Zypherpunks

• Airbender just took the #1 spot on EthProofs | ZKSync

• Brevis ProverNet Mainnet and $BREV Are Live | Brevis

• AnomaPay private beta is live on Base | Anoma

• What to Expect From Citrea Mainnet: Privacy, Payments, and Earn With Your Bitcoin | Citrea

• 2025 In Review at Hyli | Hyli

• Building a Stylus-compatible UltraHonk verifier for the WASM world | WakeUp Labs

• Celestia Private Blockspace | Celestia

• Zcash Foundation: 2025 Year in Review | ZCash

• Practical Privacy Is Key To Blockchain’s Next Era | Miden

Events/Hackathons

• RWC 2026 | Taipei, Taiwan. March 9–11, 2026

• Privacy on Ethereum MeetUp | Amsterdam February 5, 2026

• zkSummit 14 | Europe tbd. May 2026

• Eurocrypt | Rome, Italy. May 10-14 2026

• Devcon India | Mumbai, India. Q4 2026 ​​

————

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__!

Each month, we bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. ZK Mesh is produced by ZK Hack.

Starting January 2026, we will be introducing a new subscription tier called zkMesh+. Subscribers will gain access to additional content and context. Find out more here!

Research

• Small-field Hash-based SNARGs Are Less Sound Than Conjectured | Giacomo Fenzi and Antonio Sanso

• SNARGs for NP from LWE | Eylon Yogev and Ziyi Guan

• Laminate: Succinct SIMD-Friendly Verifiable FHE | Kabir Peshawaria, Zeyu Liu, Ben Fisch and Eran Tromer

• Consistency Verification for Zero-Knowledge Virtual Machine On Circuit-Irrelevant Representation | Jingyu Ke, Boxuan Liang and Guoqiang Li

• Architecture-private Zero-knowledge Proof of Neural Networks | Yanpei Guo, Zhanpeng Guo, Wenjie Qu and Jiaheng Zhang

• Performance Improvements of ZK-Prover for Rwasm: A Sound and Efficient AIR for 32-bit Division and Remainder | Suleyman Kardas, Mehmet Sabir Kiraz, Dmitry Savonin, Yao Wang and Aliaksei Dziadziuk

• PIRANHAS: PrIvacy-Preserving Remote Attestation In Non-Hierarchical Asynchronous Swarms | Jonas Hofmann, Philipp-Florens Lehwalder, Shahriar Ebrahimi, Parisa Hassanizadeh and Sebastian Faust

• ZeroOS: A Universal Modular Library OS for zkVMs | Guangxian Zou, Isaac Zhang, Ryan Zarick, Kelvin Wong, Thomas Kim, Daniel L.-K. Wong, Saeid Yazdinejad and Dan Boneh

• Rejection-Free Framework of Zero-Knowledge Proof Based On Hint-MLWE | Antoine Douteau and Adeline Roux-Langlois

• arya-STARK: Aggregation-Robust yet Authentic Training Via STARK Proofs | Abdoul Ahad FALL

• Efficient Privacy-Preserving Blueprints for Threshold Comparison | Pratyush Ranjan Tiwari, Harry Eldridge and Matthew Green

• Completing Policy-based Anonymous Tokens: Private Bits, Public Metadata and More... | David Kretzler, Yong Li and Codrin Ogreanu

• Security Models and Cryptographic Protocols In a Quantum World | Céline Chevalier, Paul Hermouet and Quoc-Huy Vu

• FRIVail: A Data Availability Scheme Based On FRI Binius | Rachit Anand Srivastava

• Improving the Efficiency of zkSNARKs for Ballot Validity | Felix Röhr, Nicolas Huber and Ralf Küsters

• SoK: Verifiable Federated Learning | Francesco Bruschi, Marco Esposito, Tommaso Gagliardoni and Andrea Rizzini

• High-Performance SIMD Software for Spielman Codes In Zero-Knowledge Proofs | Florian Krieger, Christian Dobrouschek, Florian Hirner and Sujoy Sinha Roy

Articles/Threads

• Certifying The Fri Protocol | Math Inc

• Lean Ethereum | Justin Drake

• Post Quantum Signature Aggregation: a Folding Approach | Thomas Coratger, Srinath Setty

• ZK Secret Santa | Arvolear

• State of Private Voting 2026 | PSE & MACI

• Repricings for block proving (Part 1: The motivation) | Ignacio Hagopian

• The Blockchain Canon | Zachary Williamson

• The path to secure and efficient zkVMs: How to track progress | Justin Thaler

• Private account abstraction is already close to being a reality | Suyash Bagad

• 17 things we’re excited about for crypto in 2026 | a16z

• 4 years in ZK. No PhD needed. Here’s what you actually need to know | Brother Odin

• Privacy as a means of Consumer Protection | Jill Gunter

• Scaling Sparse Merkle Trees to Billions of Keys with LargeSMT | Reilabs

• Roman Storm Case Update | Roman Storm

• Demystifying formal zksnark jargon | colluding ode

• From Aztec to Zcash: The year ‘pragmatic privacy’ took root | The Block

• Formal Verification of zk circuits | Nethermind

Videos/Podcasts

• Can Data Availability be Zero Knowledge? | Common Prefix

• Lighter CEO on ‘Democratizing Finance’ with a zero-fee, ZK perp DEX | The Block

• Zooko Wilcox at the SEC | Paul Brigner

• ZK Whiteboard Sessions - S3M7: zkID (Anonymous Credentials), w/ Ying Tong | ZK Hack

• ZK Whiteboard Sessions - S3M8: ZKML, w/ Jason Morton | ZK Hack

• zkStudyClub: Reed Solomon Proximity Gaps & Disproving Existing Conjectures | ZK Podcast

• Year in Review: ZK Podcast in 2025 & Beyond | ZK Podcast

Guides and Resources

• Mastering Cairo | Rareskills

• STARK Lab | Bernhard Mueller

• Awesome ZKPs | Bernhard Mueller

• Miden Playground Tutorial | blkylimm

• Cairo Tutorial | RareSkills

• Goldwasser-Kalai-Rothblum (GKR) proofs | Alin Tomescu

• Building a web app with Noir and Barretenberg | Noir

Tools/Implementations

• mersenne 31: optimize Poseidon2 for aarch64 Neon | tcoratger

• Sell $ZEC for fiat P2P without trusting the counterparty | mohammed7s

• Trustless bridging for Zcash (ZK Sync <> Zcash) | ZKSync

Project Updates

• Ethproofs 2025 Review & 2026 Roadmap | EthProofs

• Why Users Don’t Use Privacy (Yet): Insights from On-Chain Privacy Experience | PSE

• Merces by TACEO | TACEO

• Reorganizing Around Zcash User | ZCash | Electric Coin Company

• A new Miden Playground | Miden

• The Launch Window. Zcash Update | Josh Swihart

• A Fast, Non-custodial Private Exchange: Introducing Hyliquid | Hyli

• Zashi 2.4.9 Is Faster! | Electric Coin Company

• Brevis ProverNet Mainnet Beta Is Live | Brevis

• Ethereum Privacy Hackathons by the Numbers | Web3PrivacyNow

• Ethereum’s zkEVM Formal Verification Project | Veridise

• Live in Arbitrum | Privacy Pools

• Taiko ZK proving all blocks | Taiko

• ZKsync Managed Services from Matter Labs​​​​‌‍​‍​‍‌‍‌​‍‌‍‍‌‌‍‌‌‍‍‌‌‍‍​‍​‍​‍‍​‍​‍‌​‌‍​‌‌‍‍‌‍‍‌‌‌​‌‍‌​‍‍‌‍‍‌‌‍​‍​‍​‍​​‍​‍‌‍‍​‌​‍‌‍‌‌‌‍‌‍​‍​‍​‍‍​‍​‍‌‍‍‌‍‍‌​‌‍‌‌‍‍‌‍​​‍‌‌‍‌‌‌‍‍‌‌​‌‍‌‌‌​‍‌​​‌​‍‌‍‍‌‌​‌‍‌‌​‍‍‌​‌‍​‌‌‍‍‌‍‍‌‌‌​‌‍‌​‍‍‌​‌‌​‌‌‌‌‍‌​‌‍‍‌‌‍​‍‌‍‍‌‌‍‍‌‌​‌‍‌‌‌‍‍‌‌​​‍‌‍‌‌‌‍‌​‌‍‍‌‌‌​​‍‌‍‌‌‍‌‍‌​‌‍‌‌​‌‌​​‌​‍‌‍‌‌‌​‌‍‌‌‌‍‍‌‌​‌‍​‌‌‌​‌‍‍‌‌‍‌‍‍​‍‌‍‍‌‌‍‌​​‌‌‍‌​​‍​​‍‌​​‌​‌‍​‍​​​‌‌‍​‌​‍‌​‍​​‌‌​​‍‌‍‌‌​‍‌​‌​​​​​​‌‍‌‍​‍‌​‍‌‌‍‌‍​‍‌‌‍‌‍​‍‌‌‍‌‍‌‍‌​​​​​‍‌‍‌​​‌‍​‌​‌‍​‌‌‍​‌‌‍‌​‌‍‌‍​​​​‍‌‌​‌‍‌‌​​‌‍‌‌​‌‌‍​‍‌‍​‌‍‌‍‌​‍‌​​‌‍​‌‌‌​‌‍‍​​‌‌‌​‌‍‍‌‌‌​‌‍​‌‍‌‌​‌‍​‍‌‍​‌‌​‌‍‌‌‌‌‌‌‌​‍‌‍​​‌‌‍‍‌‍‍‌​‌‍‌‌‍‍‌‍​​‍‌‌‍‌‌‌‍‍‌‌​‌‍‌‌‌​‍‌​​‌​‍‌‍‍‌‌​‌‍‌‌​‍‍‌​‌‍​‌‌‍‍‌‍‍‌‌‌​‌‍‌​‍‍‌​‌‌​‌‌‌‌‍‌​‌‍‍‌‌‍​‍‌‍‌‍‍‌‌‍‌​​‌‌‍‌​​‍​​‍‌​​‌​‌‍​‍​​​‌‌‍​‌​‍‌​‍​​‌‌​​‍‌‍‌‌​‍‌​‌​​​​​​‌‍‌‍​‍‌​‍‌‌‍‌‍​‍‌‌‍‌‍​‍‌‌‍‌‍‌‍‌​​​​​‍‌‍‌​​‌‍​‌​‌‍​‌‌‍​‌‌‍‌​‌‍‌‍​​​​‍‌‍‌‌​‌‍‌‌​​‌‍‌‌​‌‌‍​‍‌‍​‌‍‌‍‌​‍‌‍‌​​‌‍​‌‌‌​‌‍‍​​‌‌‌​‌‍‍‌‌‌​‌‍​‌‍‌‌​‍‌‍‌​​‌‍‌‌‌​‍‌​‌​​‌‍‌‌‌‍​‌‌​‌‍‍‌‌‌‍‌‍‌‌​‌‌​​‌‌‌‌‍​‍‌‍​‌‍‍‌‌​‌‍‍​‌‍‌‌‌‍‌​​‍​‍‌‌ | ZKsync

• World App | World

• NEAR intents on Starknet | NEAR

• Starknet Metrics | Starknet

• ZisK v0.15.0 | ZisK

• Post-quantum Aptos accounts via SLH-DSA-SHA2-128s signatures | Alin Ush

• Succinct in 2025: Delivering Our Promise to Scale Ethereum | Succinct

Events/Hackathons

• RWC 2026 | Taipei, Taiwan. March 9–11, 2026

• zkSummit 14 | Europe tbd. May 2026

• Eurocrypt | Rome, Italy. May 10-14 2026

• Devcon India | Mumbai, India. Q4 2026 ​​

There you have it! Hope you liked this edition of ZK Mesh.

Remember, starting on January, we will be launching zkMesh+ with supplementary content for those seeking deeper technical insight and broader context.

Lastly, if you have something you think should be included in the next edition or suggestions for the format, tweet at us @__zkhack__!

As a subscriber to ZK Mesh, you’ll be familiar with our goal of curating useful coverage of the latest work in ZK research, engineering, and the broader community. We wanted to let you know about a new subscription tier we’re building in the new year called zkMesh+

This newsletter isn’t changing — the ZK Mesh Monthly newsletter will remain a free resource. But for those who want to support the work and access some additional material, zkMesh+ is an optional way to do that.

Launching in January 2026, zkMesh+ will bring together work from the Zero Knowledge Podcast, ZK Hack, and ZK Mesh. Subscribers will have access to a set of additional resources, including:

• the quarterly State of ZK Report

• monthly addendums on adjacent technologies such as FHE, iO, and MPC

• early access and discounts for events like zkSummit and ZK Hack hackathons

• select subscriber-only Zero Knowledge Podcast segments and other experimental content

If that sounds interesting, you can pledge your support ahead of launch directly on the ZK Mesh Substack. We’ll share more details as we get closer to January.

Thanks, as always, for reading and for being part of the zkMesh community.

Wishing you a great end to the year,

ZK Hack / ZK Podcast team

Each month, we bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. ZK Mesh is produced by ZK Hack.

Research

• OpenAC: Open Design for Transparent and Lightweight Anonymous Credentials | ZkID Team PSE

• On Proximity Gaps for Reed–Solomon Codes | Eli Ben-Sasson, Dan Carmon, Ulrich Haböck, Swastik Kopparty and Shubhangi Saraf

• On Reed–Solomon Proximity Gaps Conjectures | Elizabeth Crites and Alistair Stewart

• Optimal Proximity Gaps for Subspace-Design Codes and (Random) Reed-Solomon Codes | Rohan Goyal and Venkatesan Guruswami

• All Polynomial Generators Preserve Distance With Mutual Correlated Agreement | Sarah Bordage, Alessandro Chiesa, Ziyi Guan and Ignacio Manzur

• SALSAA – Sumcheck-Aided Lattice-based Succinct Arguments and Applications | Shuto Kuriyama, Russell W. F. Lai, Michał Osadnik and Lorenzo Tucci

• Sum-check protocol for approximate computations | Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, and Justin Thaler

• A Note On Notes: Towards Scalable Anonymous Payments Via Evolving Nullifiers and Oblivious Synchronization | Sean Bowe and Ian Miers

• TensorSwitch: Nearly Optimal Polynomial Commitments From Tensor Codes | Benedikt Bünz, Giacomo Fenzi, Ron D. Rothblum and William Wang

• A Lattice-based Designated Verifier zkSNARK From Standard Assumptions | Mohammad Sadegh Ahmadi, Taraneh Eghlidos, Behzad Abdolmaleki and Ngoc Khanh Nguyen

• Vega: Low-Latency Zero-Knowledge Proofs Over Existing Credentials | Darya Kaviani and Srinath Setty

• Single-Server Private Outsourcing of zk-SNARKs | Kasra Abbaszadeh, Hossein Hafezi, Jonathan Katz and Sarah Meiklejohn

• Succinct Zero-knowledge Proofs From One-way Functions: The Blackbox Way | Eden Florentz- Konopnicki and Ron D. Rothblum

• Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs via Value Inference | Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos and Coen De Roover

• Pairing-Based SNARGs with Two Group Elements | Gal Arnon, Jesko Dujmovic and Eylon Yogev

• Scalable Private World Computer via Root iO: Application-Agnostic iO and Our Roadmap for Making It Practical | Sora Suegami and Enrico Bottazzi

• Optical Computing of Zero-knowledge Proof With Single-pixel Imaging | Wei Huang, Shuming Jiao, Huichang Guan, Huisi Miao and Chao Wang

Articles/Threads

• Proximity Gaps: What Happened and How Does It Affect Our Snarks | zkSecurity

• Probabilistic implication in SPLAT | Brandon Kase

• Fast Block Dissemination with Immediate Guarantees | Lucas Meier

• State of Privacy in Ethereum Survey | PSE

• Ztarknet — A Starknet L2 for Zcash | abdel

• lowercase SNARKs | Justin Drake

Videos/Podcasts

• Ethproofs call #6, Proximity Gaps | EthProofs

• ZK Whiteboard Sessions Mod 7: zkID (Anonymous Credentials), w/ Ying Tong NoirCon 3 | Aztec Network

• Ethereum Privacy Stack, Buenos Aires Part 1 | Web3PrivacyNow

• Ethereum Privacy Stack, Buenos Aires Part 2 | Web3PrivacyNow

• Privacy is Existential (Featuring Peter Van Valkenburgh) | Devconnect

• EthProofs Day | Devconnect

• Zooko & Eli on Zcash, ZK, Privacy, and Scaling | Starkware

• Lattices, Folding, & Symphony with Binyi Chen | ZK Podcast

• Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More | ZK Podcast

Guides and Resources

• A Note On Mutual Correlated Agreement for Reed-Solomon Codes | Ulrich Haböck

• Sum-check Is All You Need: An Opinionated Survey On Fast Provers In SNARK Design | Justin Thaler

• How Aztec Works | Alex Korn

• Pedersen commitments | Alin Tomescu

• Σ-phore | Alin Tomescu

• Stay in Range: Deeper Into Bulletproofs | ZK/SEC Quarterly

• Learn Sumcheck, MLE, and HyperPlonk: An Interactive Tutorial with SageMath | ZK/SEC Quarterly

Tools/Implementations

• Smart-Contract or EOA Spend Authority for Private Accounts | Adam Gagol

• Implementing Privacy Pools on EBSI for Institutional Programmable Privacy & Compliance | EugeRe

• Formally Verifying Zero-Knowledge Circuits: Introducing CertiPlonk | Nethermind

• A Cairo implementation DCAP that supports proving and onchain verification of TEE attestations | Cartridge

• Longfellow ZK | Dyne

Vulnerabilities

• On the Distribution of the Distances of Random Words | Benjamin E. Diamond, Angus Gruen

Project Updates

• Aztec Ignition Chain is live | Aztec

• S-Two Book | Starkware

• Irreducible is shutting down | Irreducible

• Proving Grounds Field Operations Now Live | Brevis

• ₿apps Campaign: Stress Testing the Citrea Ecosystem On the Road to Mainnet | Citrea

• ZisK 0.14 | ZisK

• Foundations of Private Shared State: The First Services | TACEO

• SP1 Hypercube proves 99.7% of Ethereum blocks in real time | Succinct

• Shielded Swaps in Zashi | ZCash

• Offchain Dependence = Almost Guaranteed Loss of Money | Fermah

• Miden Testnet v0.12 – What’s New for Builders | Miden

• Lagrange Labs Joins Lockheed Martin’s Supplier Ecosystem to Advance AI for Aerospace and Defense | Lagrange Labs

Workshop/Education/Internships

• Self Workshop | Self

• Getting Started with Privacy App Development on Aztec | Aztec

• Building on Zircuit A Hackathon Introduction | Zircuit

Events/Hackathons

• Theory of Cryptography Conference (TCC 2025) Aarhus, Denmark. Dec 1-5

• Asiacrypt | Melbourne, Australia. Dec 8-12

• RWC 2026 | Taipei, Taiwan. March 9–11, 2026

• zkSummit 14 | Europe tbd. May, 2026

• Eurocrypt | Rome, Italy. May 10-14, 2026

• Devcon India | Mumbai, India. Q4, 2026 ​​

————

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__!

Each month, we bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. ZK Mesh is produced by ZK Hack.

Research

• Symphony: Scalable SNARKs In the Random Oracle Model From Lattice-Based High-Arity Folding | Binyi Chen

• Zk-cookies: Continuous Anonymous Authentication for the Web | Alexander Frolov, Hal Triedman and Ian Miers

• Linear*-Time Permutation Check | Benedikt Bünz, Jessica Chen and Zachary DeStefano

• Lattice-Based zk-SNARKs With Hybrid Verification Technique | Supriya Adhikary, Puja Mondal and Angshuman Karmakar

• A Note On the Soundness of an Optimized gemini Variant | Ariel Gabizon and Nishat Koti

• High-Throughput Universally Composable Threshold FHE Decryption

• Linear-time and Logarithmically-sound Permutation and Multiset SNARKs | Bing-Jyue Chen, Lilia Tang, David Heath and Daniel Kang

• Towards Formal Verification and Corrupted Setup Security for the SwissPost Voting System | Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil-Pons and Sjouke Mauw

• Golden: Lightweight Non-Interactive Distributed Key Generation | Benedikt Bünz, Kevin Choi, Chelsea Komlo,

• Poseidon2b: A Binary Field Version of Poseidon2 | Lorenzo Grassi, Dmitry Khovratovich, Katharina Koschatko, Christian Rechberger, Markus Schofnegger, Verena Schröppel

• Dynark: Making Groth16 Dynamic | Tianyu Zhang, Yupeng Ouyang and Yupeng Zhang

• CoBBl: Dynamic Constraint Generation for SNARKs | Kunming Jiang, Fraser Brown and Riad S. Wahby

• Cryptographic Personas: Responsible Pseudonyms Without De-Anonymization | Rachel Thomas, Oliwia Kempinski, Hari Kailad, Emma Margaret Shroyer, Ian Miers and Gabriel Kaptchuk

• A Simplified Round-by-round Soundness Proof of FRI | Albert Garreta, Nicolas Mohnblatt and Benedikt Wagner

Articles/Threads

• Lagrange Interpolation for IQ < 200 | Lauri Peltonen

• An Overview of the LatticeFold Architectural Family | Stanford Blockchain Review

• Blindfold | Srinath Setty

• Zkzkevm: private evm | Barry Whitehat

• Removing Pairing, Bulletproofs, or ZKP from Range Proof of Pedersen Commitment | Leona Hioki

• Roc Camera: A camera that can prove images aren’t AI-generated | Gigazine

• The Infinite Verifiable Computing Layer of zkVM and ZK Data Coprocessor | Brevis

• Speedrun Development with ZisK: Distributed Proof Generation | Abix

• Privacy Pass + x402 = blinding for x402 | Kobi Gurkan

• Unfolding the Bulletproofs Magic: A SageMath Deep Dive | zkSecurity

• What is Cryptography Hiding from Itself? | Diego F. Aranha, Nikolas Melissaris

• Privacy matters – Difference between TEE, ZK, MPC and FHE | Eli Ben-Sasson

• Solana is Adding Modern ZK Syscalls | Solana Foundation

Videos/Podcasts

• ZKPassport, Obsidion & the Emerging Noir Ecosystem | ZK Podcast

• Payy and Payy Card, the Undoxable Credit Card | ZK Podcast

• ZK Whiteboard Sessions Mod 4: LatticeFold, w/ Binyi Chen | ZK Hack

• ZK Whiteboard Sessions Mod 5: The Ligero Proof System, w/ Muthu Venkitasubramaniam | ZK Hack

• Private Zcash-to-Aztec transfer demo | Aztec

• Making Zero-Knowledge Smart Contract Development Accessible, Secure & Practical | LF Decentralized Trust

Guides and Resources

• SoK: Lookup Table Arguments | Hossein Hafezi, Gaspard Anthoine, Matteo Campanelli and Dario Fiore

• Breaking Down Bulletproofs: No Pairings, No Trusted Setup | zkSecurity

• Lagrange interpolation for IQ < 200 | Lauri Peltonen

Tools/Implementations

• Rookie Numbers: A new sha256 precompile | ClementWalter

• Bringing Private Over-The-Counter (OTC) Swaps to Crypto | Aztec

Vulnerabilities

• MACI Platform Audit | Hashcloak

• Arbitrary code execution in guest via memory safety failure in `sys_read` | RiscZero

• Graeffe-Based Attacks On Poseidon and NTT Lower Bounds | Ziyu Zhao, Antonio Sanso, Giuseppe Vitto and Jintai Ding

• Fault to Forge: Fault Assisted Forging Attacks On LESS Signature Scheme | Puja Mondal, Suparna Kundu, Hikaru Nishiyama, Supriya Adhikary, Daisuke Fujimoto, Yuichi Hayashi and Angshuman Karmakar

Project Updates

• PSE Retreat Synthesis Report | PSE

• Supporting Privacy With New Funding Mechanisms | Ethereum Foundation

• Formal Verification of SP1 Hypercube | Succinct

• Secure Challenge Derivation in ZisK | ZisK

• The Brevis Guide: The Infinite Compute Layer for Everything | Brevis

• Zashi Swaps: Decentralized On-Ramp is Live | Electric Coin Company

• Citrea Fully Completes Its Audit Phase: A Major Step on the Road to Mainnet | Citrea

• Miden x Ligero | Miden & Ligero

• FibRace Benchmark Results Are Live! | Hylé

• Upgrading the Succinct Prover Network: Private Proving Is Here | Succinct

• ZK Likeness | Rarimo

• Sway Spotlight: Haven | Fuel Network

• Specification for the implementation of Zero-Knowledge Proofs based on arithmetic circuits in the EUDI Wallet | EU DID Wallet

• Provably V2 is out | Provably

• OpenVM live on EthProofs | OpenVM

• Formal Verification of Succinct’s SP1 HyperCube zkVM | Nethermind

Events/Hackathons

• Ethereum Privacy Stack from Web3privacy | Buenos Aires, Argentina. Nov 16

• Ethereum Cypherpunk Congress #2 | Buenos Aires, Argentina. Nov 16

• Devconnect | Buenos Aires, Argentina. Nov 17-22

• zkID Sessions | Buenos Aires, Argentina. Nov 18

• zkTLS Day | Buenos Aires, Argentina. Nov 19

• Encryption Day | Buenos Aires, Argentina. Nov 19

• EthProofs Day | Buenos Aires, Argentina. Nov 22

• ETHGlobal: Buenos Aires | Buenos Aires, Argentina. Nov 21-23

• Theory of Cryptography Conference (TCC 2025) Aarhus, Denmark. Dec 1-5

• Asiacrypt | Melbourne, Australia. Dec 8-12

• RWC 2026 | Taipei, Taiwan. March 9–11, 2026

• zkSummit 14 | Europe tbd. Spring/Summer 2026

• Eurocrypt | Rome, Italy. May 10-14 2026

————

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__!

Each month, we bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. ZK Mesh is produced by ZK Hack.

Research

• Plonk Is Simulation Extractable In ROM Under Falsifiable Assumptions | Helger Lipmaa

• SNARK Lower Bounds Via Communication Complexity | Rishabh Bhadauria, Alexander R. Block, Prantar Ghosh and Justin Thaler

• IVC In the Open-and-sign Random Oracle Model | Mary Maller, Nicolas Mohnblatt and Arantxa Zapico

• Query-Optimal IOPPs for Linear-Time Encodable Codes | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri and Matan Shtepel

• IronDict: Transparent Dictionaries From Polynomial Commitments | Hossein Hafezi, Alireza Shirzad, Benedikt Bünz and Joseph Bonneau

• UltraMixer: A Compliant Zero-Knowledge Privacy Layer for Tokenized Real-World Assets | Zonglun Li, Hong Kang and Xue Liu

• Unaligned Incentives: Pricing Attacks Against Blockchain Rollups | Stefanos Chaliasos, Conner Swann, Sina Pilehchiha, Nicolas Mohnblatt, Benjamin Livshits and Assimakis Kattis

• Zero-Knowledge AI Inference With High Precision | Arman Riasi, Haodi Wang, Rouzbeh Behnia, Viet Vo and Thang Hoang

• Scalable zkSNARKs for Matrix Computations: A Generic Framework for Verifiable Deep Learning | Mingshu Cong, Sherman S. M. Chow, Siu Ming Yiu and Tsz Hon Yuen

• Distributed SNARK Via Folding Schemes | Zesheng Li, Dongliang Cai, Yimeng Tian, Yihang Du, Xinxuan Zhang and Yi Deng

• Computing Pairings On Elliptic Curves With Embedding Degree Two Via Biextensions | Yuhao Zheng, Jianming Lin and Chang-an Zhao

• LastRings: Lattice-based Scalable Threshold Ring Signatures | Sohyun Jeon, Calvin Abou Haidar and Mehdi Tibouchi

• Leveraging Smaller Finite Fields for More Efficient ZK-Friendly Hash Functions | Gökçe Düzyol and Kamil Otal

• ChipmunkRing: A Practical Post-Quantum Ring Signature Scheme for Blockchain Applications | Dmitrii A. Gerasimov

• SUMMER: Recursive Zero-Knowledge Proofs for Scalable RNN Training | Yuange Li and Xiong Fan

• Keccacheck: towards a SNARK friendly Keccak | Marcin Kostrzewa, Matthew Klein, Ara Adkins, Grzegorz Świrski, and Wojciech Żmuda

• Polylogarithmic Polynomial Commitment Scheme over Galois Rings | Zhuo Wu, Xinxuan Zhang, Yi Deng, Yuanju Wei, Zhongliang Zhang and Liuyu Yang

• DualMatrix: Conquering zkSNARK for Large Matrix Multiplication | Mingshu Cong, Tsz Hon Yuen and Siu-Ming Yiu

Articles/Threads

• The importance of full-stack openness and verifiability | Vitalik Buterin

• My Journey to Building a ZK (STARK) Prover From Zero | Lauri Peltonen

• How Factoring Equality Polynomials Optimizes Sumcheck | Lambda Class

• The invisible upgrade: why institutions should care about crypto rails | @binji_x

• EF Proofs Call #5 Summary | tcoratger

• Trustless Bitcoin Oracle with zkSPV Contract | Oleksandr Kurbatov

• Intuitions Behind the Range Proofs of Bulletproof | David Wong

• Embedding Inner Products | Remco Bloemen

• The Race To Rewire Wall Street: Is Ethereum The Safest Bet? | Forbes

• You don’t need quantum hardware for post-quantum security | Cloudfare

• zkVMs, Circuits, and the Optimization Game | Aligned Layer

• Hash Functions 101 | ZK Hack

• It didn’t start as proofs | Eli Ben-Sasson

• UltraGroth Protocol Explained | Zam Dimon

• High-level intuitions for the Bulletproofs/IPA protocol | David Wong

Videos/Podcasts

• How to Build Hash Functions w/ Jean-Philippe (JP) Aumasson | ZK Hack

• High-Performance Engineering for SNARKs, w/ Jim Posen | ZK Hack

• EthProofs Call #5, Native Rollups | EthProofs

• David Tse: Realizing Nakamoto’s Dream: One-Time Signatures, Garbled Circuits & Zero-Knowledge Proofs | UC Berkeley

• PlonK: The Proving Scheme on Aztec | Aztec Network

• Collaborative zero-knowledge proofs | Tokamak ZKP World

• Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin | Zero Knowledge Podcast

• Zerocoin to zk-creds: Modern ZK History with Ian Miers | Zero Knowledge Podcast

Guides and Resources

• ZK Whiteboard Sessions Season 3 | ZK Hack

• Intro Book on Programmable Cryptography | 0xParc

Tools/Implementations

• Exact Coset Sampling for Quantum Lattice Algorithms | Yifan Zhang

• Private OTC Desk on Aztec | harshbajpai.eth

• Full L1 On-Chain ZK-STARK+PQC Verification On Solana: A Measurement Study | Jotaro Yano

• zkvot - Anonymous voting application | zkvot

• Hardhat ZKit | DL Solarity

• ZK Kit | PSE

Vulnerabilities

• Crates.io malicious crates | @rustlang_mirror

• Kocher’s Timing Attack: A Journey from Theory to Practice | zkSecurity

Project Updates

• Upward: Shifting Innovation to the Application Layer | Anoma

• PSE is now Privacy Stewards of Ethereum | PSE

• Proving is the new mining | Boundless

• zkVerify is Live on Mainnet! | zkVerify

• A New Brand for a New Era of Aztec | Aztec

• Constant-Depth NTT for FHE-Based Private Proof Delegation | PSE

• Accelerating Ethereum with Autoprecompiles | powdr

• Launching FibRace: prove to win! | Hyli

• Security Proofs on Serai DEX by HashCloak | HashCloak

• ZisK v0.11.0 is live | ZisK

• Building ZK Proofs for Ethereum With Nethermind Client | Nethermind

• Linea Boosts Growth With Brevis ZK-Powered Linea Ignition Program | Brevis

• Veridise Advancing ZK Security: Two New Publications Presented at CAV 2025 Conference | Veridise

• Private Cross-Chain Payments With Zashi CrossPay | Electric Coin Company

• 1 Year of Citrea Testnet | Citrea

• The Miden Compiler v0.4.0 – A Major Milestone | Miden

• Cairo M Design | Kakarot

Workshop/Education/Internships

• STABILITY 2025: Stability Workshop | Jaipur, India, December 15, 2025

Events/Hackathons

• Decompute 2025 | Singapore. 30 Sept & 11 Nov

• Dark Prague | Prague, Czech Republic. Oct 3-5

• Devconnect | Buenos Aires, Argentina. Nov 17-22

• zkID Sessions | Buenos Aires, Argentina. Nov 18

• zkTLS Day | Buenos Aires, Argentina. Nov 19

• EthProofs Day | Buenos Aires, Argentina. Nov 22

• Theory of Cryptography Conference (TCC 2025) | Aarhus, Denmark. Dec 1-5

• Asiacrypt | Melbourne, Australia. Dec 8-12

• RWC 2026 | Taipei, Taiwan. March 9–11, 2026

• zkSummit 14 | Europe tbd, Spring/Summer 2026

• Eurocrypt | Rome, Italy. May 10-14 2026

————

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__!

Each month, we bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. ZK Mesh is produced by ZK Hack.

Research

• Time-Space Trade-Offs for Sumcheck | Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri and Andrew Zitek-Estrada

• Constraint-Friendly Map-to-Elliptic-Curve-Group Relations and Their Applications | Jens Groth, Harjasleen Malvai, Andrew Miller and Yi-Nuo Zhang

• Glock: Garbled Locks for Bitcoin | Liam Eagen

• zip: Reducing Proof Sizes for Hash-Based SNARGs | Giacomo Fenzi, Yuwen Zhang

• Data Matching In Unequal Worlds and Applications to Smart Contracts | Dmitry Khovratovich, Mikhail Vladimirov and Benedikt Wagner

• Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs | Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra, Martin Sander and Jess Woods

• Design ZK-NR: A Post-Quantum Layered Protocol for Legally Explainable Zero-Knowledge Non-Repudiation Attestation | Minka Mi Nguidjoi Thierry Emmanuel, Mani Onana Flavien Serge, Djotio Ndié Thomas and Atsa Etoundi Roger

• qedb: Expressive and Modular Verifiable Databases (without SNARKs) | Vincenzo Botta, Simone Bottoni, Matteo Campanelli, Emanuele Ragnoli and Alberto Trombetta

• DIMSEPP: A Decentralized Identity Management System with Enhanced Privacy Protection | Yu Zhang and Zongbin Wang

• RGB I.0: Scalable Consensus for Client-side Validated Smart Contracts | Maxim Orlovsky

• AVPEU: Anonymous Verifiable Presentations With Extended Usability | Yalan Wang, Liqun Chen, Yangguang Tian, Long Meng and Christopher J.P. Newton

• When Can We Incrementally Prove Computations of Arbitrary Depth? | Matteo Campanelli, Dario Fiore and Mahak Pancholi

• Efficient Randomized Strong $2$-source Non-malleable Extractor for Any Linear Min-entropy | Divesh Aggarwal, Pranjal Dutta, Saswata Mukherjee, Satyajeet Nagargoje and Maciej Obremski

• TLShare: Private Authenticated MPC and FHE Inputs Over TLS | Manuel B. Santos, Dimitris Mouris, Xiang Xie, Miguel de Vega and Andrei Lapets

• PQ-STAR: Post-Quantum Stateless Auditable Rekeying | Shlomi Dolev, Avraham Yagudaev and Moti Yung

Articles/Threads

• Optimizing Sumcheck | Lambda Class

• Multilinear Polynomials: Survival Kit | Lambda Class

• Signature schemes you've never heard about | Kobi Gurkan

• So what are Ethproofs, really? | Zero Knowledge Podcast

• Are STARK/hash-based proof implementations really ZK? | Ian Miers

• The inner product argument | Sean Bowe

• Circle STARKs: Part III, Circle FFT | zkSecurity

• 6 myths about privacy on blockchains | a16z

• Jolt gets a 6× speedup — and we’re just getting started | a16z

• Sumcheck good. Lookups good. JOLT good. Particularly for zero-knowledge machine learning | ICME

• HD Wallet for Lattice Cryptography | Ethresearch

• EU Age Verification using a Ligero-inspired solution | Mamy Ratsimbazafy

• Are DID and Social Graphics a failure? | Satvik

Videos/Podcasts

• Ethproofs Call #4 | enshrine RISC-V? | Ethproofs

• How ZK inspired AI Watermarking with Miranda Christ | ZK Podcast

• zkPDF and zkID with Vikas Rushi and Ying Tong | ZK Podcast

• Ethproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with Justin Drake | ZK Podcast

• Lighter, Perp DEXs and Custom ZK Circuits | ZK Podcast

• NYC Meetup Videos: ZK Hack Meetups | ZK Hack

• zkForge Bootcamp - Introduction to Zero Knowledge | zkForge

• The Moonmath Manual to ZK-Snarks | ProgCrypto (ZK) Study Group 2025

Guides and Resources

• Linear algebra over field extensions | Guille Angeris

• A public framework to evaluate trusted setups of ZK proving systems | L2Beat

• Jolt | a16z

• 𝒫𝔩𝔬𝔫𝒦: A Hands-On Deep Dive | zkSecurity

• WHIR for Ethereum | Thomas Coratger, Giacomo Fenzi

• My Journey into ZK: From HTML to a Verifiable High Score | zkVerify

Tools/Implementations

• Noir Playground | 0xandee

• Aragon x MACI Private Voting | Aragon & PSE

• Cartesian Merkle Tree | Nethermind

• ZEX v0.1: Confidential Peer-to-Peer DEX | Ethresearch

• User-centric Private Data Availability | Celestia Forum

Vulnerabilities

• Monero 51% Attack | Charles Guillemet

• Two critical soundness bugs found in ZisK | COSTA research group

• RiscZero Vunerabilities | RiscZero

Project Updates

• Announcing LLZK: A Unified, Open-source Intermediate Representation (IR) for ZK | Veridise

• Ensue Made Public | Ensue

• Penumbra Labs Winding Down | Penumbra

• ZK proving on Arbitrum chains | Succinct

• Introducing ZK Coin | Boundless

• Introducing AnomaPay: A Secure, Global Stablecoin Router and Payments Network | Anoma

• Introducing Payy Card | Payy

• Glock is here | Alpen Labs

• Strategic Bundling, the Antidote to Modular Complexity | Zorp

• Aleo Token to be Listed in Revolut | Aleo

• Decentralized Off-Ramp for Shielded ZEC | Zashi

• The ZKWASM Tokenomics Cycle | Delphinus Labs

• The Age of Proof: Building Privacy-First Age Verification Infrastructure for the Web | Kakarot

• Introducing the Hyli Guide | Hylé

• Infinite Verifiable Compute Comes to Linea | Brevis

Events/Hackathons

• Builders Week Istanbul | Istanbul, Turkey. Sept 1 - 7, 2025

• Decompute 2025 | 30 Sept & 11 Nov 2025

• Devconnect | Buenos Aires, Argentina. Nov 17-22, 2025

• zkID Sessions | Buenos Aires, Argentina. Nov 18, 2025

• zkTLS Day | Buenos Aires, Argentina. Nov 19, 2025

• EthProofs Day | Buenos Aires, Argentina. Nov 22, 2025

• RWC 2026 | Taipei, Taiwan. March 9–11, 2026

• zkSummit 14 | Europe tbd, Spring/Summer 2026

• Eurocrypt | Rome, Italy. May 10-14 2026

• Theory of Cryptography Conference (TCC 2025) Aarhus, Denmark. Dec 1-5, 2025

• Asiacrypt | Melbourne, Australia. Dec 8-12, 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__!

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

• TACEO:Proof is live in Production | Taceo

• Aleo announces biggest upgrade since mainnet | Aleo

• 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

• Diving Deep into the Stack — But Not Too Deep | zkSync

Bootcamp/Education/Internships

• ASCrypto 2025

• zkFORGE Bootcamp 2025

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__!

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__!

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

• R1CS Vs Plonk: Zero Constraint Linearities | Rarimo

• TEE based private proof delegation | PSE

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

• powdr-OpenVM: End-to-End Autoprecompiles | powdr

• 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__!