zkMesh: December 2022 recap

Welcome to the final zkMesh of 2022 (and what a year this has been) !

zkMesh is produced by the Zero Knowledge Podcast & ZK Hack. 

Full of the latest research, articles, videos, podcasts, tweets, tools, project updates, and events, we aim to give you an overview of what is happening right now in ZK. Expect a new edition at the beginning of every month and be sure to share and subscribe!   

** Find your next job working in ZK over on the ZK Jobs Board ** 

Research 

• Private Re-Randomization for Module LWE and Applications to Quasi-Optimal ZK-SNARKs by Ron Steinfeld, Amin Sakzad, Muhammed F. Esgin, Veronika Kuchta

• Goldilocks NTT Trick By Tomer Solberg

• Interactive Authentication by Deepak Maram, Mahimna Kelkar, Ittay Eyal

• What Can Cryptography Do For Decentralized Mechanism Design? by Elaine Shi, Hao Chung, Ke Wu

• Practical Quantum-Safe Voting from Lattices, Extended by Ian Black, Emma McFall, Juliet Whidden, Bryant Xie, Ryann Cartor

• Stronger Security and Generic Constructions for Adaptor Signatures by Wei Dai, Tatsuaki Okamoto, Go Yamamoto

• Survey on Fully Homomorphic Encryption, Theory, and Applications by Chiara Marcolla, Victor Sucasas, Marc Manzano, Riccardo Bassoli, Frank H.P. Fitzek, Najwa Aaraj

• Efficient Aggregatable BLS Signatures with Chaum-Pedersen Proofs by Jeff Burdges, Oana Ciobotaru, Syed Lavasani, Alistair Stewart

• 2FA zk-rollups using SGX - zk-s[nt]arks - Ethereum Research by Justin Drake 

• SuperNova: Proving universal machine executions without universal circuits by Abhiram Kothapalli, Srinath Setty

• Bingo: Adaptively Secure Packed Asynchronous Verifiable Secret Sharing and Asynchronous Distributed Key Generation by Ittai Abraham, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern

• Accountable Light Client Systems for PoS Blockchains by Oana Ciobotaru, Fatemeh Shirazi, Alistair Stewart, Sergey Vasilyev 

• cq: Cached quotients for fast lookups by Liam Eagen, Dario Fiore, Ariel Gabizon

• Hardware-friendliness of HyperPlonk by Omer Shlomovits

Articles

• Arithmetization schemes for zk-SNARKs | Entropy1729

• Climbing the tower: Field extensions | Entropy1729

• Fully-homomorphic encryption, zero-knowledge proofs, and multiparty computation | Entropy1729

• What in the Ethereum application ecosystem excites me | Vitalik.ca

• The Anatomy of Proof Generation By Andy Arditi, Ye Zhang | Scroll.io

• How Crypto Can Avoid the Next FTX | Coindesk

• Brian Retford, Jason Morton, and Ryan Cao answer questions about ZKML and why it is important for the future of data privacy | Reddit

• The Wild Crypto World in 2022: Fraud, Security Breaches & Resilient Builders | Ledger 

Videos/Podcast

• TheIACR: Linear-map Vector Commitments and their Practical Applications with Arantxa Zapico

• TheIACR: Zero-Knowledge Protocols for the Subset Sum Problem from MPC-in-the-Head with Rejection

• Delendum: Lookup tables with Ariel Gabizon

• RISC Zero: FRI Summary 5 Unpacking the FRI acronym

• ZK HACK workshops: Aztec, RISC Zero, TypeScript,  EF Privacy & Scaling Explorations group and Aleo

• Zero Knowledge Podcast: Proof of Solvency with Kostas Chalkias

ZK in a Tweetshell 

Lúcás Meier @cronokirby

ZK-SNARKs: because sometimes you want to prove you're smart without actually having to talk to anyone.

Sean Bowe @ebfull

@badcryptobitch as the BLS12-381 designer I can tell you I just yolo'd and asked some famous cryptographers to doublecheck me. they were like "yeah that's fine" and now it's the center of countless blockchains lol

Guides and Resources

• Into the Asymmetry | Antonio Sanso 

• ZKP Knowledge Base | Delendum

• Why and How zk-SNARK Works | Maksym Petkus

 Tools 

• https://www.malachite.rs/ 

• https://github.com/starkoracles/zkos 

• https://github.com/zama-ai/concrete-ml 

Project Updates

• Aztec Raises $100 million to Build Encrypted Ethereum | Medium.com

• Introducing Poseidon377, our instantiation of a SNARK-friendly hash | Penumbra

• ZPrize 2022 Entries | Github

• Aleo: Can You Keep a Secret? | Not Boring by Packy McCormick

• ZPrize results | ZPrize blog

• What’s Going On with Privacy Coins? And What Does It Mean for Dusk? | Dust

• Gnosis Merge Announcement  | Gnosis

• The Z Games: Pushing ZK Provers to the Extreme | Ingonyama

• It’s Not a Race: Auditing Polygon zkEVM | Polygon  

• Etonec highlights Mina Protocol in report on how to design a compliant, privacy-preserving fiat stablecoin with zero-knowledge proofs | Mina

Events/Trusted Setups/Hackathons

• Ethereum KZG Ceremony | Virtual. Starts ~Jan 10 

• StarkWare Sessions 2023 | Tel Aviv. Feb 5-6

• ETHDenver | Denver, USA. Feb 24 - Mar 5

• Interop Summit | Denver. Feb 27-28 

• SXSW Conference | Austin, USA. Mar 10-15

• Paris Blockchain Week | Paris, France. Mar 20-24

• FHE.org | Tokyo. March 26 

• RWC 2023 | Tokyo. March 27 

• zkSummit9 | location Tbd. March 30 [SAVE THE DATE!]

• Gateway Conference (Cosmos) | Prague, Czech Rep. Apr 12-14

• EthCC | Paris, France. Jul 17-21

• Stanford Blockchain Conference | Stanford, USA. Aug 28-30

• DappCon | Berlin, Germany. Sept 11-13

————

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!