ZK Mesh: April 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
Need for Zkspeed: Accelerating HyperPlonk for Zero-Knowledge Proofs | Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg and Brandon Reagen
Linear-Time Accumulation Schemes | Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
GIGA Protocol: Unlocking Trustless Parallel Computation In Blockchains | Alberto Garoffolo, Dmytro Kaidalov, Roman Oliynykov, Daniele Di Tullio and Mariia Rodinko
FICS and FACS: Fast IOPPs and Accumulation via Code-Switching | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Matan Shtepel
Efficient Verifiable Mixnets From Lattices, Revisited | Jonathan Bootle, Vadim Lyubashevsky and Antonio Merino-Gallardo
ColliderVM: Stateful Computation On Bitcoin Without Fraud Proofs | Victor I. Kolobov, Avihu M. Levy and Moni Naor
Efficient SNARKs for Boolean Circuits Via Sumcheck Over Tower Fields | Tianyi Liu and Yupeng Zhang
Proving CPU Executions In Small Space | Vineet Nair, Justin Thaler and Michael Zhu
Attribute-Based Publicly Verifiable Secret Sharing | Liang Zhang, Xingyu Wu, Qiuling Yue, Haibin Kan and Jiheng Zhang
MProve-Nova: A Privacy-Preserving Proof of Reserves Protocol for Monero | Varun Thakore and Saravanan Vijayakumaran
Publicly Verifiable Generalized Secret Sharing Schemes and Their Applications | Liang Zhang, Dongliang Cai, Tao Liu, Haibin Kan and Jiheng Zhang
Efficient Foreign-Field Arithmetic In PLONK | Miguel Ambrona, Denis Firsov and Inigo Querejeta-Azurmendi
Zero-Knowledge Protocol for Knowledge of Known Discrete Logarithms: Applications to Ring Confidential Transactions and Anonymous Zether | Li Lin, Tian Qiu, Xin Wang, Hailong Wang, Changzheng Wei, Ying Yan, Wei Wang and Wenbiao Zhao
Threshold (Fully) Homomorphic Encryption | Carl Bootland, Kelong Cong, Daniel Demmler, Tore Kasper Frederiksen, Benoit Libert, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Titouan Tanguy, Samuel Tap and Michael Walter
Threshold FHE With Efficient Asynchronous Decryption | Zvika Brakerski, Offir Friedman, Avichai Marmor, Dolev Mutzari, Yuval Spiizer and Ni Trieu
GKR for Boolean Circuits With Sub-linear RAM Operations | Yuncong Hu, Chongrong Li, Zhi Qiu, Tiancheng Xie, Yue Ying, Jiaheng Zhang and Zhenfei Zhang
Packed Sumcheck Over Fields of Small Characteristic With Application to Verifiable FHE | Yuanju Wei, Kaixuan Wang, Binwu Xiang, Xinxuan Zhang, Yi Deng, Hailong Wang and Xudong Zhu
Myco: Unlocking Polylogarithmic Accesses in Metadata-Private Messaging | Darya Kaviani, Deevashwer Rathee, Bhargav Annem, Raluca Ada Popa
Articles/Threads
Hardware-friendliness of HyperPlonk, Part2 | Ingonyama
Code Optimizations In the Landscape of Post-Quantum Cryptography | Privacy and Scaling Explorations (PSE)
The Wisdom of Iroh | Lambda Class
Long term l1 execution layer proposal replace the evm with risc-v | Vitalik Buterin
10 ZK use cases | Hyle
Explanation of Spartan Protocol | Srinath Setty
Evolving zkTLS: Privacy-Preserving Computation from Decentralized Oracles | Nillion
Smart Contracts Were Just the Beginning: Why Ethereum’s Future Is ZK-Proven Execution | Kakarot
Confidential Balances: Empowering Confidentiality in the Solana Ecosystem | Helius
WHIR | @tcoratger
Three new zkVMs unveiled on Ethproofs call #1 | @eth_proofs
Videos/Podcasts
Coordinating Provers with Norbert from ZkCloud | Zero Knowledge Podcast
ZK Benchmarks with Conner Swann | Zero Knowledge Podcast
Building ZK Registries Onchain with Rarimo | Zero Knowledge Podcast
Ethproofs Call #1 | zkVMs | Ethereum
ZK Hack Meetup Recordings Playlist | ZK Hack
Guides and Resources
Guide to Halo2 soundness issues | @0xteddav
Variants of KZG: Part I, Univariate | zkSecurity
Accelerating ZK Proving with WebGPU: Techniques and Challenges | zkSecurity
Hypercube IR: The Foundation of Zero-Knowledge Proof System | Cysic
Tools/Implementations
Micro zk-proofs JS library | Paul Miller
Project Updates
Introducing R0VM 2.0 | RISC Zero
Kakarot’s Next Stop: A Provable Future | Kakarot
Updated! Ingonyama Research Grants 2025 | Ingonyama
BaseFold±: A Simple Improvement to BaseFold’s Multilinear Polynomial Commitment Scheme Using… | Ingonyama
Usual Money Activates Revenue Switch Powered By Brevis | Brevis
Introducing CoFHE: FHE-Based Encryption Everywhere With a Single Line of Code | Fhenix
Miden: The Edge Blockchain | @0xMiden
Shielded ZEC In Brave Wallet | ZCash | Electric Coin Company
EVM Bytecode Compatibility Is Now Live On ZKsync Era | ZKsync
Benchmarking Bionetta, the Client-side zkML Framework | Rarimo
Tangerine Upgrade: BitVM Activation On Clementine & Core Protocol Upgrades | Citrea
Fireside Chat With Jacob Weightman: How RISC Zero Achieves Provable & Continuous zkVM Security With… | Veridise
First zk-rollup with Stage 1 confirmed: What it is and why it matters | Scroll
Mina Community Call: Strategic Changes and Ecosystem Updates | Mina
Events/Hackathons
Invisible Garden | Costa Rica. April 21 - May 31, 2025
zkSummit13 | Toronto. May 12, 2025
ZK Hack Meetup #13 | Prague, Czech Republic. May 28, 2025
ETHGlobal Prague | Prague, Czech Republic. May 30 - June 1, 2025
DappCon 25 | Berlin, Germany. June 16 - 18, 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__!