zkMesh: July 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!   

** Check out the new ZK Hack video series ZK Whiteboard Sessions! ** 

Research 

• Ferveo: Threshold Decryption for Mempool Privacy in BFT networks by Joseph Bebel, Dev Ojha

• Piranha: A GPU Platform for Secure Computation by Jean-Luc Watson, Sameer Wagh, Raluca Ada Popa 

• Scooby: Improved Multi-Party Homomorphic Secret Sharing Based on FHE by Ilaria Chillotti, Emmanuela Orsini, Peter Scholl, Nigel Paul Smart, Barry Van Leeuwen

• Distributed Shor’s algorithm by Ligang Xiao, Daowen Qiu, Le Luo, Paulo Mateus 

• Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves by Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit 

• Nirvana: Instant and Anonymous Payment-Guarantees by Akash Madhusudan, Mahdi Sedaghat, Philipp Jovanovic, Bart Preneel

• zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure by Michael Rosenberg, Jacob White, Christina Garman, Ian Miers

• Quantum Rewinding for Many-Round Protocols by Russell W. F. Lai, Giulio Malavolta, Max Planck, Nicholas Spooner

• OpenFHE: Open-Source Fully Homomorphic Encryption Library by Ahmad Al Badawi, Jack Bates, Flavio Bergamaschi, David Bruce Cousins,Saroja Erabelli, Nicholas Genise, Shai Halevi, Hamish Hunt, Andrey Kim, Yongwoo Lee, Zeyu Liu, Daniele Micciancio, Ian Quah, Yuriy Polyakov, Saraswathy R.V., Kurt Rohloff, Jonathan Saylor, Dmitriy Suponitsky, Matthew Triplett, Vinod Vaikuntanathan, Vincent Zucca

• Zero-Knowledge in EasyCrypt by Denis Firsov, Dominique Unruh

• Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable by Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta, Max Planck, Sri AravindaKrishnan Thyagarajan

• Caulk+: Table-independent lookup arguments by Jim Posen, Assimakis A. Kattis

• PEReDI: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies by Aggelos Kiayias, Markulf Kohlweiss, Amirreza Sarencheh

• An efficient key recovery attack on SIDH (preliminary version) by Wouter Castryck, Thomas Decru

• Towards a Theory of Maximal Extractable Value I: Constant Function Market Makers by Kshitij Kulkarni, Theo Diamandis, Tarun Chitra

• Fast Modular Multiplication by Yuval Domb 

Articles

• Mental Poker in the Age of SNARKs - Part 1 | Geometry Blog 

• Aztec Launches DeFi Privacy Bridge Aztec Connect | Coindesk | Brandy Betz

• Aleo to test Virtual Machine ahead of mainnet launch | The Block | Vishal Chawla

• Field selection for recursive SNARKs | Delendum | Gautam Botrel

• Breaking supersingular isogeny Diffie-Hellman (SIDH) | ellipticnews  

• ZK in Identity | Delendum | Shashank Agrawal

• Edward Snowden on the Long Road to Internet Privacy | Coindesk | 

• Ethereum’s Rollup Race: What is a ‘True’ zkEVM? | Coindesk | Sam Kessler, Sage D. Young

• Fast Modular Multiplication | Ingonyama | Yuval Domb 

• NIST Announces First Four Quantum-Resistant Cryptographic Algorithms | NIST.gov

Videos/Podcast

• zkStudyClub: Caulk - Lookup Arguments in Sublinear Time (Arantxa Zapico) | ZeroKnowledge Podcast 

• Ep 237 - Exploring ZK Research with Jens Groth | ZeroKnowledge Podcast 

• Privacy Evolution with Aleo and Anoma on Vimeo 

• Edward Snowden on the Long Road to Internet Privacy 

• ZK Whiteboard Sessions by ZK Hack and Polygon

ZK in a TweetShell 

Georgios Konstantopoulos @gakonst

who's using ZKPs in the non-blockchain context to do outsourced verifiable computation? e.g. AWS Lambdas + a proof attached for correct execution? does anybody need this even?

JP Aumasson @veorq

how do you say "zero-knowledge proof" in your language(s)? 🇫🇷 Preuve à divulgation nulle de connaissance

Guides and Resources

• Notes on the Groth16 proof system

Tools 

• GitHub - nalinbhardwaj/zordle: Wordle, but with ZK proofs! 

• GitHub - emp-toolkit/emp-zk: Efficient and Interactive Zero-Knowledge Proofs 

• poseidon-hash 0.1.0

• GitHub - lucasgleba/zkRiscV: A Risc-V CPU implemented as a zk-SNARK 

• GitHub - pornin/crrl: Rust library for cryptographic research 

Project Updates

• Mina Ecosystem Updates – July 2022 | Mina Blog

• Dark Forest Dev Update - Summer Break | Dark Forest Blog

• Understanding the Rust starter Project | RISC Zero Blog

• Announcing the Scroll pre-alpha testnet | Scroll Blog

• ECC Transparency Report for Q4 2021 | Electric Coin Co. Blog

• Transparency Report — Q2 2022 | Mina Blog

• Triple Masking with Turbo-Plonks on Forge testnet | Findora Blog

• Semaphore V2 is live! | Privacy & Scaling Explorations Blog

• Introducing the Concrete Framework | Zama Blog

• Privacy on Moonbeam - Events Series | zkValidator Blog 

• Semaphore V2 is Live! | Privacy & Scaling Explorations

• 100 Days to Mainnet | Matter Labs    

• Aztec Network Launches First Ever Private DeFi Solution for Ethereum | Aztec team

• Nightmarket [Guest Post] | 0xparc blog | 0xSage and xyz_pierre

• Gateways to privacy | Nym

• Oasis Labs Partners with Meta to Assess Fairness for its AI Models using Cutting-edge Privacy Technologies | The Oasis Lab Team

• Regenesis: StarkNet’s No-Sweat State Reset | StarkWare blog

• Part 1: StarkNet Sovereignty: A Decentralization Proposal | StarkWareblog

• Tornado Cash Classic UI is now Open Source | Tornado Cash              

Events/Hackathons/TrustedSetups

• ZCon 3 | Las Vegas. August 7 - 9

• Algorithmic Number Theory Symposium | Bristol, UK. August 8 - 12

• 10 Applications of ZKP | Virtual. Aug 12 

• Science of Cyber Security | Matsue city, Japan. August 10 - 12

• Failed Approaches and Insightful Losses in Cryptology | Virtual. August 13

• The Science of Blockchain Conference | Stanford, CA. August 29 - 31

• QCrypt | Taipei, Taiwan. August 28 - September 2

• Dappcon | Berlin. September 12 - 14

• zkSummit 8 | Berlin. September 15. 

• CHES 2022 Registration | Leuven, Belgium, September 18 - 21 

• Devcon | Bogotá, Columbia. October 11 - 14 

• ETHLisbon | Lisbon. 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!