zkMesh: April 2023 recap

Welcome to zkMesh, a monthly newsletter covering the latest in decentralized privacy-enhancing technologies, privacy protocol development, and zero knowledge systems research. We include recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events.

zkMesh is produced by ZK Hack. 

Research 

• HyperNova: Recursive arguments for customizable constraint systems by Abhiram Kothapalli and Srinath Setty

• Towards a Nova-Based ZK-VM by Oskarth

• Practically-exploitable Cryptographic Vulnerabilities in Matrix by Martin R. Albrecht, Sofía Celi, Benjamin Dowling and Daniel Jones

• Too Much Crypto by Jean-Philippe Aumasson

• New algorithms for the Deuring correspondence: Towards practical and secure SQISign signatures by Luca De Feo, Antonin Leroux, Patrick Longa and Benjamin Wesolowski

• Subset-optimized BLS Multi-signature with Key Aggregation by Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Francois Garillot, Jonas Lindstrom, Ben Riva, Arnab Roy, Alberto Sonnino, Pun Waiwitlikhit and Joy Wang

• Lightweight Asynchronous Verifiable Secret Sharing with Optimal Resilience by Victor Shoup and Nigel P. Smart

• Algebraic cryptanalysis of POSEIDON by Tomer Ashur, Thomas Buschman and Mohammad Mahzoun

• Customizable constraint systems for succinct arguments by Srinath Setty, Justin Thaler and Riad Wahby

• A Framework for Practical Anonymous Credentials from Lattices by Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen and Alessandro Sorniotti

• From Polynomial IOP and Commitments to Non-malleable zkSNARKs by Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo and Michal Zajac

• Derecho: Privacy Pools with Proof-Carrying Disclosures by Josh Beal and Ben Fisch

• Towards practical post quantum stealth addresses by asanso

• Testudo: Efficient SNARKs with Smaller Setups by Matteo Campanelli, Nicolas Gailly, Rosario Gennaro, Philipp Jovanovic, Mara Mihali and Justin Thaler 

Articles

• Empowering Users to Verify Twitter’s Algorithmic Integrity with zkml | Daniel Kang

• Bridging the Gap: How ZK-SNARKs Bring Transparency to Private ML Models with zkml | Daniel Kang 

• Do language models possess knowledge (soundness)? | Tarun Chitra and Henry Prior 

• Checks and balances: Machine learning and zero-knowledge proofs | a16zcrypto

• A review of floating point numbers in Zero-knowledge proof systems | Icme Blog

• ZK Hardware Acceleration: The Past, the Present and the Future | Cysic

• The State of Zero-Knowledge Applications in Ethereum Part 1: Introduction | andyguzman.eth

• Zero-Knowledge Proofs for Voting | O(1) Labs Blog

• New Privacy Blockchain Namada Proposes First-Ever Shielded Airdrop to Zcash | CoinDesk

• Digital Euro Will Have ‘Maximum Level of Privacy’—But Not as Much as Cash: ECB Board Member | Decrypt

Videos/Podcast

• Zero Knowledge Podcast: FHE and ZKPs with Sunscreen’s Ravital Solomon

• Zero Knowledge Podcast: Between Two ZK Events with Nico and Guillermo

• Zero Knowledge Podcast: History of Plonk, Noir, and the building of Aztec 3

• ZK Study Club: Supernova with Srinath Setty - MS Research

• zkSummit9: all videos here

• ZK Hack Lisbon: all videos here 

Guides and Resources

• How to secure digital assets with multi-party computation and Confidential Space | Chris Diya and Bertrand Portier

• Proposal for Handling The Memory of zkVM | Hanh Tang, Minh Pham, and Chiro Hiro

• Proof Carrying Data | Zuzalu Passport GitHub

• The Cairo Programming Language | The Cairo Book GitHub

• How to create a Zero Knowledge DApp: From zero to production | Vivian Plasencia

• Polynomial Commitments | Seun Lanlege

• Notes about optimizing emulated pairing (part 1) | Ivo Kubjas

• Hardware Review: GPUs , FPGAs and Zero Knowledge Proofs | 0xMonia

Disclosures

• Facebook: Critical bugs in Facebook/Polygon Winterfell library

Tools / implementations 

• UltraGroth: Challenge rounds in Groth16-like system

• PPSwap: A compliant ZK AMM that allows for shielded withdrawals, deposits, transfers, and swaps

• zkWASM: The Future of Scalable Computation in Blockchain

Project Updates

• Announcing ZPrize 2023 | ZPrize

• Revolutionizing DeFi Security: ZK Proof of Exploit on RISC Zero | RISC Zero

• Fixed-Point Arithmetic in LEO | Aleo

• Neural Network Inference with Leo | Aleo

• Sequencer Decentralization and Liveness | Espresso Systems

• The State of Zero Knowledge 2023 Report | Mina Protocol

• Digital Privacy for All, Built on First Principles | Nym Tech

• How to Bridge to Polygon zkEVM Mainnet Beta in 3 Easy Steps | Polygon

• Zero-Knowledge Proofs for Voting | O(1) Labs

• Reflection on ZK Hack & ZK Summit | RISC Zero

• Experimental Zebra progress bars | Zcash Foundation

Events/Hackathons

• Financial Cryptography 2023 | Brač, Croatia. May 1-5

• PKC 2023 | Atlanta, USA. May 7-10

• Ingonyama’s CTF | Virtual. May 11  

• zkWeek in the Pit - Jump Crypto | Chicago, USA. May 15-20

• Edcon | Podgorica, Montenegro. May 19-23

• ethdam | Amsterdam, Netherlands. May 20-21 

• Gateway to Cosmos Conference | Prague, Czech Republic. June 3-5

• Privacy In Cosmos | Prague, Czech Republic. June 7 

• ETHPrague | Prague, Czech Republic. June 9-11

• EthCC | Paris, France. Jul 17-21

• zkDay | Paris, France. Jul 20

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

• Korea Blockchain Week | Seoul, Korea. Sept 5-6 

• DappCon | Berlin, Germany. Sept 11-13

• zkSummit10 | tbd. Sept/Oct 2023

• 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__!