zkMesh: July 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!
** Apply to attend the upcoming zkSummit10 in London **
Research
ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances by Liam Eagen and Ariel Gabizon
Zombie: Middleboxes that Don’t Snoop by Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, and Michael Walfish
Hash Functions Monolith for ZK Applications: May the Speed of SHA-3 be With You by Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger, and Roman Walch
Automated Analysis of Halo2 Circuits by Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, and Mohsen Ahmadvand
XHash8 and XHash12: Efficient STARK-friendly Hash Functions by Tomer Ashur, Al Kindi, and Mohammad Mahzoun
Zero Knowledge Virtual Machine step by step by Tim Dokchitser and Alexandr Bulkin
Fiat-Shamir Security of FRI and Related SNARKs by Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari and Michał Zając
How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach by Markulf Kohlweiss, Mahak Pancholi and Akira Takahashi
ZK-for-Z2K: MPC-in-the-Head Zero-Knowledge Proofs for Z2k by Lennart Braun
Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM by Yibin Yang
Tornado Vote: Anonymous Blockchain-Based Voting by Robert Muth and Florian Tschorsch
Bulletproofs With Stochastic Equation Sets by Michael Brand and Benoit Poletti
SoK: Public Randomness by Alireza Kavousi, Zhipeng Wang and Philipp Jovanovic
Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators by Erik Rybakken, Leona Hioki and Mario Yaksetig
The Geometry of Constant Function Market Makers by Guillermo Angeris and Alex Evans, Tarun Chitra, Theo Diamandis and Kshitij Kulkarni
Threshold Encrypted Mempools: Limitations and Considerations by Antoine Rondelet and Quintus Kilbourn
Instant Zero Knowledge Proof of Reserve by Xiang Fu
zkDL: Efficient Zero-Knowledge Proofs of Deep Learning Training by Haochen Sun and Hongyang Zhang
Benchmarking the Setup of Updatable zk-SNARKs by Karim Baghery, Axel Mertens and Mahdi Sedaghat
Articles
The zero-knowledge attack of the year might just have happened, or how Nova got broken | zksecurity | David Wong
17 misconceptions about SNARKs (and why they hold us back) | a16z blog | Justin Thaler
Getting Started In ZK | ZK Hack Blog
Learnings from the KZG Ceremony | PSE blog | Nico Serrano
Decentralized Proving, Proof Markets, and ZK Infrastructure | Trace
ZK’s are Awesome But… | Leandro Pereira
Optimism moves forward with two proposals to add zk-proofs | The Block | James Hunt
EU Metaverse Strategy Set to Examine Privacy, Competition and Rights | Coindesk | Jack Schickler
Transparency for the Whales, Privacy for the Plebs | Coindesk | Marc Hochstein
Worldcoin Being Probed by French Privacy Regulator for ‘Questionable’ Practices | Coindesk | Jack Schickler
ZkUniverse #1 | ZkCampus
ZPU: The Zero-Knowledge Processing Unit | Ingonyama blog
Videos/Podcast
Episode 282: Error Correcting Codes & Information Theory with Ron Rothblum | ZK Podcast
Episode 284: Using Formal Verification on ZK Systems with Jon Stephens | ZK Podcast
Episode 285: Intents with Chris Goes from Anoma | ZK Podcast
zkStudyClub - ProtoStar | Binyi Chen & Benedikt Bünz, Espresso Systems
zkParis Live (full day recording) | ZKV & Geometry
EthCC 2023 videos:
Guides and Resources
miniSTARK: Implement your own zero-knowledge proofs | TABconf
Awesome Zero Knowledge | Odra dev
How To Create a ZK Smart Contract | Alex Roan
Intro to Zero-Knowledge: A Guided Tour of the ZK Landscape, Part 1 | Zellic
ZK-Friendly Hash Functions | Zellic
Project Updates
Axiom Open Source Program | Axiom
Securing $40M+ TVL on Gnosis Chain with Succinct's Ethereum ZK Light Client | Succinct Labs
Aztec Sequencer Selection Finalists | Aztec Labs
Proving full node of Ethereum in ZK | Polyhedra Network
Polygon Miden: Asset Model | Polygon Labs
Releasing the Espresso Sequencer Testnet II: Doppio | Espresso Systems
How to See in the Dark: Navigating Penumbra | Espresso Systems
Starknet Quantum Leap: Major Throughput Improvements are Here! | Starknet
RISC Zero raises $40 million Series A Round | Risc Zero
Manta Launches Manta Pacific: The Modular Ecosystem for ZK Applications | Manta Network
Revolutionizing KYC in Web 3: A Deep Dive into zCloak’s zk-SBT | zCloak
Privacy app comparison: zkBob private wallet & Railgun / Railway wallet | zkBob
Events/Hackathons
Zcon4 | Barcelona, Spain. July 30 - Aug 1
ZKProof 5.5 - A day in Barcelona | Barcelona, Spain. Aug 2
Stanford Blockchain Conference | Stanford, USA. Aug 28 - 30
Starknet Summit | Stanford, USA. Aug 31
Korea Blockchain Week | Seoul, Korea. Sept 5 - 6
DappCon | Berlin, Germany. Sept 11 - 13
DeCompute 2023 | Singapore, Sept 12 - 13
Protocol Berg | Berlin, Germany. Sept 15
zkSummit10 | London, UK. Sept 20
ETHGlobal NYC | NYC, USA. Sept 22 - 23
Cosmoverse 2023 | Istanbul, Turkey. Oct 2 - 4
ZK Hack Istanbul | Istanbul, Turkey. Nov 10 - 12. Mark your calendars
Devconnect | Istanbul, Turkey. Nov 13 - 19
ETHGlobal Istanbul | Istanbul, Turkey. Nov 17 - 19
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__!