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

• ZKP - Deep into zkEVM source code (MPT Circuit) | Star LI  

• 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ù

• TPMPC 2022 Playlist

ZK in a TweetShell 

Chris | Yicheng @ChrisYicheng

There are two main problems with scaling: - Scalable verification of computation - Scalable verification of data Availability Danksharding will meet the needs of DA very well. Regarding computational verification, zkEVM is likely to rewrite the game's rules. zkEVM 🧵

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!