zkMesh: June 2022 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 the Zero Knowledge Podcast & ZK Hack.
It includes links to 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!
** Find your next job working on zk topics over on the ZK Jobs Board! **
Research
On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups by D. Catalano, D. Fiore, R. Gennaro, E. Giunta
Updatable Encryption from Group Actions by A. Leroux, M. Roméas
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators by M. Campanelli, M. Hall-Andersen
New Lattice Two-Stage Sampling Technique and its Applications to Functional Encryption by Q. Lai, F. Liu, Z. Wang
Arithmetization of Σ¹₁ relations in Halo 2 by M. Thomas
Efficient Proofs of Knowledge for Threshold Relations by G. Avitabile, V. Botta, D. Friolo, I. Visconti
Tight Preimage Resistance of the Sponge Construction by C. Lefevre, B. Mennink
The Cost of Statistical Security in Interactive Proofs for Repeated Squaring by C. Freitag, I. Komargodski
Maliciously Secure Multi-Party PSI with Lower Bandwidth and Faster Computation by Z. Qui, K. Yang, Y. Yu, L. Zhou
Linear-map Vector Commitments and their Practical Applications by M. Campanelli, A. Nitulescu, C. Ràfols, A. Zacharakis, A. Zapico
Efficient and Adaptively Secure Asynchronous Binary Agreement via Binding Crusader Agreement by I. Abraham, N. Ben-David, S. Yandamuri
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators by M. Campanelli, M. Hall-Andersen
A New Approach to Efficient Non-Malleable Zero-Knowledge by A. Kim, X. Liang, O. Pandey
Succinct Classical Verification of Quantum Computation by J. Bartusek, Y. Tauman Kalai, A. Lombardi, F. Ma, G. Malavolta, V. Vaikuntanathan, T. Vidick, L. Yang
Articles
Groth-Sahai Proofs Are Not That Scary | Ethereum Blog
The State of Zero Knowledge Report | Mina Blog
Lunarpunks, Privacy and the New Encryption Guerillas | Rachel-Rose O'Leary
UK Scraps Plan to Monitor Unhosted Digital Wallets | Decrypt
NFT, Private Wallet Fates Hang on EU Crypto Talks This Week | Coindesk | Jack Schickler
Not private enough: Mixers and decoys won’t protect you for long | Electric Coin Company Blog
ZK Jargon Decoder | Github
Binance warns against use of litecoin's Mimblewimble privacy feature | The Block | Vishal Chawla
Videos/Podcast
Ep 232: Cutting Edge ZK Research with Mary Maller | ZK Podcast
Ep 234: zkEVM with Scroll's Ye Zhang and Haichen Shen | ZK Podcast
Ep 236: Aztec Connect and Private DeFi with Charlie and Joe | ZK Podcast
STARK Recursion | ETHPrague
GKR Implementations - Justin Thaler | ZK HACK
zkStudyClub: Gemini - Elastic SNARKs for Diverse Environments | Michele Orrù
ZK in a TweetShell
Vulnerabilities & Audit
Hertzbleed Attack | Elliptic News
Hacker steals $100 million from Harmony blockchain bridge | Mashable
Guides and Resources
Some ways to use ZK-SNARKs for privacy | Vitalik Buterin
How to create a zk DApp: From zero to production | Vivian Plasencia
ZK Research Resources | 0xst
Visualizing Elliptic Curve Cryptography | Michael Driscoll
ZK Playground - Cario in the Cloud | zkzccel.io
Tools
Toy implementation of Narwhall in OCaml | David Wong
Sui devnet rc-0.4.0 released | Mysten Labs
Project Updates
zkSync 2.0 Public Testnet is Live | Mattlerabs Blog
How to Host a Dark Forest Community Round | Dark Forest Blog
ZKP in a Browser? You got it! | zClock Blog
Rollux, L2 ZK-Rollups | Syscoin Blog
zkREPL: An Online Development Environment for zkSNARKs | 0xPARC Blog
On-chain Procedural Generation | 0xPARC Blog
Proof of Stake: Approach, focus, and next steps | Electric Coin Company Blog
Mina zkApps | o1labs Blog
zk.money Migration Guide | Aztec Team
Ecosystem Updates - June 2022 | Mina Protocol
The Basics, The Controversies, The Opportunities of Open Data | Mysterium Network
STARKs, StarkEx, and StarkNet. StarkWare Glossary | StarkWare
Viewing and Freezing with CAPE | Espresso Systems
Events/Hackathons/TrustedSetups
Information-Theoretic Cryptography | MIT. July 5-7
ETHBarcelona | Barcelona. July 6-8
ETHcc Community Conference | Paris. July 19-21
Symposium on Principles of Distributed Computing | Salerno, IT. July 25-29
Cryptology | Putrajaya, Malaysia. July 26-28
ZCon 3 | Las Vegas. August 7-9
Algorithmic Number Theory Symposium | Bristol, UK. August 8-12
The 4th International Conference on Science of Cyber Security | Matsue city, Japan | August 10-12
Failed Approaches and Insightful Losses in Cryptology | Online. August 13
The Science of Blockchain Conference | Stanford. August 28-31
QCrypt | Taipei, Taiwan. August 28 - September 2
Dappcon | Berlin. September 12-14
zkSummit 8 | Berlin. September 15
Devcon | Bogotá, Columbia. October 11-14
ETHLisbon | October 28-30
ETHSF '22 | San Francisco. November 3-5
Theory of Cryptography Conference | Chicago. November 7-10
International Conference on Smart Contracts and Blockchain | Dubai. November 10-11
Istanbul Blockchain Week | Istanbul. November 15-16
————
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 @zeroknowledgefm!