zkMesh: May 2023 recap
Welcome to zkMesh, a monthly newsletter covering the latest in decentralized privacy-enhancing technologies, privacy protocol development, and zero knowledge systems research.
zkMesh is produced by ZK Hack.
We include recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition at the beginning of every month and be sure to share and subscribe!
**Need more ZK Mesh? Catch our new weekly zkMesh Mini twitter threads**
Research
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs) by Alex Ozdemir, Riad S. Wahby, Fraser Brown and Clark Barrett
Study of Arithmetization Methods for STARKs by Tiago Martins and João Farinha
ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols (update) by Benedikt Bünz and Binyi Chen
Non-Interactive Zero-Knowledge from Non-Interactive Batch Arguments by Jeffrey Champion and David J. Wu
Weak Fiat-Shamir Attacks on Modern Proof Systems by Quang Dao, Jim Miller, Opal Wright and Paul Grubbs
Benchmarking ZK-Circuits in Circom by Colin Steidtmann and Sanjay Gollapudi
Arithmetization of predicates into Halo 2 using application specific trace types by Morgan Thomas
Ou: Automating the Parallelization of Zero-Knowledge Protocols by Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac and Zhong Shao
Formalizing Soundness Proofs of SNARKs by Bolton Bailey and Andrew Miller
Lightweight Asynchronous Verifiable Secret Sharing with Optimal Resilience by Victor Shoup and Nigel P. Smart
Privacy-preserving Attestation for Virtualized Network Infrastructures by Ghada Arfaoui, Thibaut Jacques, Marc Lacoste, Cristina Onete and Léo Robert
The Referendum Problem in Anonymous Voting for Decentralized Autonomous Organizations by Artem Grigor, Vincenzo Iovino and Giuseppe Visconti
Lattice-based Commit-Transferrable Signatures and Applications to Anonymous Credentials by Qiqi Lai, Feng-Hao Liu, Anna Lysyanskaya and Zhedong Wang
Batch Proofs are Statistically Hiding by Nir Bitansky, Chethan Kamath, Omer Paneth, Ron Rothblum and Prashant Nalini Vasudevan
LFHE: Fully Homomorphic Encryption with Bootstrapping Key Size Less than a Megabyte by Andrey Kim, Yongwoo Lee, Maxim Deryabin, Jieun Eom and Rakyong Choi
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators by Matteo Campanelli, Mathias Hall-Andersen and Simon Holmgaard Kamp
A flexible Snark via the monomial basis by Steve Thakur
An Introduction to Zero-Knowledge Proofs in Blockchains and Economics by Aleksander Berentsen, Jeremias Lenzi and Remo Nyffenegge
Articles
Private delegated computation is here, and there will be bugs! | zksecurity.xyz
ZK programmability adds a whole new layer to worry about | zksecurity.xyz
Verified Execution of GPT, Bert, CLIP, and more | Daniel Kang
zkEVM Community Edition Part 1: Introduction | Privacy and Scaling Explorations
Breaking Down Recursive ZK-STARKs | Lev Menshchikov
Zero-Knowledge Machine Learning (ZKML): Projects Exploring the Space | Bastian Wetzel
Building a Zero Knowledge web app with Halo 2 and Wasm (part 1) | Yu Jiang Tham
Understanding the Technical Aspects of Aztec 3 and Noir | erayajk
Leveraging zkMiners to Optimize Blockchain Gas Costs and Enhance Privacy | SurferMonkey
Learning Zero Knowledge Proof as a Non-Technical Person from Scratch | Annalisa Caballero
Etonec and Mina Foundation to Create ZK-Powered Compliance Tool By Year’s End | CoinDesk
How Homomorphic Encryption Can Make Blockchain Private | Forbes
The Rollup Multiverse | Jon Charbonneau
How Computer Scientists Learned to Reinvent the Proof | Quanta magazine
On Ashton Kutcher and Secure Multi-Party Computation | Matthew Green
Videos/Podcast
Guides and Resources
Smart Contract Auditing with 0xWeiss: Let's Audit Together! | Open Sense
A Guide To Building Your Web3 Project Proposal: ZK Edition | Mina Protocol
Introduction to ZK-Friendly Hash Functions | Zellic.io
All you wanted to know about Plonk | LambdaClass Blog
How to code a ZK App (each step explained) so you can create privacy preserving apps | Alysia Tech
What is a zero-knowledge proof system? | Alin Tomescu
Disclosures
Tools / implementations
Project Updates
Aztec: the Hybrid zkRollup | Aztec Labs
Announcing the Aleo Tooling & Infrastructure Grants Program | Aleo
Build with zero knowledge by joining Mina’s zkIgnite, Cohort 2 | Mina Protocol
Penumbra’s DEX Arrives From The Future | Penumbra
The Zcash Foundation’s Q1 2023 Report | Zcash Foundation
ECC restructuring to better serve Zcash | Electric Coin Company
Manta Network to Enable On-chain Private Identity in Arbitrum Ecosystem | Manta Network
Having your Privacy & Eating it Too — RAILGUN Proof of Innocence | Railgun
Where's Waldo on RISC Zero | RiscZero
Everything You Wanted to Know About Polygon zkEVM’s Prover, But Were Too Afraid to Ask | Polygon Labs
How to privacy enhance your apps and wallets — using NymConnect | Nym
Building an FHE compiler for the real world | Sunscreen
StarkWare - Builtins and Dynamic Layouts | Starkware
Events/Hackathons
Gateway to Cosmos Conference | Prague, Czech Rep. June 3-5
Web3 Privacy Prague | Prague, Czech Rep. June 5
Privacy In Cosmos | Prague, Czech Rep. June 7
ETHPrague | Prague, Czech Rep. June 9-11
ETH Global Waterloo | Waterloo, Canada. June 23-25
EthCC | Paris, France. Jul 17-21
Modular Summit | Paris, France. July 21-22
Zcon4 | Barcelona, Spain. July 30 - Aug 1
CLE - Crypto Lounge Experience | Barcelona, Spain. July 29
Stanford Blockchain Conference | Stanford, USA. Aug 28-30
Korea Blockchain Week | Seoul, Korea. Sept 5-6
DappCon | Berlin, Germany. Sept 11-13
DeCompute 2023 | Singapore. Sept 12-13
zkSummit10 | London, Sept 20 - Mark your calendars!
DevCon | Southeast Asia. Spring 2024
————
There you have it! Hope you liked this edition of zkMesh. 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__!