zkMesh: April 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.
We include 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
New optimization techniques for PlonK’s arithmetization by Miguel Ambrona, Anne-Laure Schmitt, Raphael R. Toledo, Danny Willems
Gemini: Elastic SNARKs for Diverse Environments by Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
Schwartz-Zippel for multilinear polynomials mod N by Benedikt Bünz, Ben Fisch
Algorithm-Substitution Attacks on Cryptographic Puzzles by Pratyush Ranjan Tiwari and Matthew Green
Design and analysis of a distributed ECDSA signing service by Jens Groth and Victor Shoup
Dew: Transparent Constant-sized zkSNARKs by Arasu Arun, Chaya Ganesh, Satya Lokam, Tushar Mopuri, Sriram Sridhar
Multi-Party Computation in the GDPR by Lukas Helminger and Christian Rechberger
Side-Channel Analysis of Lattice-Based Post-Quantum Cryptography: Exploiting Polynomial Multiplication by Catinca Mujdei, Arthur Beckers. Jose Bermundo. Angshuman Karmakar, Lennert Wouters, Ingrid Verbauwhede
ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs by Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
Articles
Coordinated security disclosures affecting Bulletproofs and Plonk | Trail of Bits Blog (1 of 3)
OurNetwork #118: Coverage on L2s | OurNetwork | Spencer Noon
A design of decentralized ZK rollups based on EIP-4844 | ethResear.ch
Canetti et al's Paradoxical Encryption Scheme | Cronokirby
Decentralized Speed: Advances in Zero Knowledge Proofs | a16z Blog
Dollars and Sense: Cheap Privacy with Aztec Connect | Aztec Blog
Edward Snowden Played Key Role in Zcash Privacy Coin's Creation | Naomi Brockwell
Hardware Acceleration for Zero Knowledge Proofs | Paradigm Blog | Georgios Konstantopoulos
Physical Threshold Encryption | Daniel Escudero
Privacy Focused Monero Plans Hard Fork in July | Shaurya Malwa
Privacy Tech in Review: Secret Network NFTs | ZKValidator Blog
Private Binding Negotiations discussion | ethResear.ch
Real World Cryptography Conference 2022 | Marie-Sarah Lacharite
Videos/Podcast
zkSummit7 Main and Side Stage talks | zkSummit7 @Devconnect Amsterdam
Episode 226: Dark Forest and 0xPARC with Gubsheep | Zero Knowledge Podcast
zkStudyClub: ZKP Security, in Practice | zkStudyClub | JP Aumasson
A threshold ECDSA protocol - design and implementation | RWC Friday Sessions | Victor Shoup
Applied ZK Workshop | 0xParc @Devconnect Amsterdam
Session-27: ZK and Forward Secrecy | RWC Closing
What was The Ceremony & Who is John Dobbertin? | ZCash Media
ZK in a TweetShell
Vulnerabilities/Audits
The Frozen Heart vulnerability in PlonK | Trail of Bits Blog
Guides and Resources
Intuitive advanced cryptography | Nguyen Thoi Minh Quan
How to setup a cairo dev environment | @Th0rgal_
Cryptographic Protocols Lecture Notes | Berry Schoenmakers
Zero-Knowledge-Proof Mining | Crypto White
Fast amortized Kate proofs | Dankrad Feist and Dmitry Khovratovich
Applied ZK Workshop Reading List | 0xPARC
Battleship on RISC ZERO - Battleship with Rust and RISC Zero's ZKVM
ZK Machine Learning - A tutorial and demo | 0xPARC
Tools
Amarna: Static analysis for Cairo programs | Trail of Bits Blog
ZKP NFT Airdrop | @enricobottazzi
Base64 encoding in Cairo | @dhruvkelawala
Background checker with ZKPs | @tomoima525
ZK-Block Boilerplate for Zk dapps | @heypran
ZK-Keeper | ZK Identity management & proofs | @AppliedZKP
Murky | Merkle Generator and Prover in Solidity | @dmfxyz
Oriac - Rust port of the Cairo VM | @xJonathanLEI
Zebra 1.0.0 Beta Test 8 Released | @ZcashFoundation
Project Updates
Polygon ID | New Zero Knowledge Identity system
Mina Bidge: In-EVM Mina State Verification | Nil Blog
Mezcal, A New Vision For Celo | Ocelot Labs Blog
Loopring Quarterly Update (Q1/2022) | Loopring blog
Coinbase Lists Mina Protocol | Mina Blog
Stake Migration and Proxy Re-encryption Nodes | Threshold | Arjun Hassard
Zcash 4.7.0 Update Release | Electric Coin Company
Dollars and Sense: Cheap Privacy with Aztec Connect | Aztec | Jon Wu
DZK Awarded Chainlink-Filecoin Grant for zk-Rollup Research | Chainlink
Dark Forest v0.6 Round 5 Wrapup | Dark Forest Team
How to Host a Dark Forest Community Round | Dark Forest Team
The Horizen Q1 2022 Review | Horizen News
Confidential NFTs Launching on Oasis — Army of Minions | Oasis Protocol | Charlie Bussat
Introducing Square One: Your Starting Point to Building on Substrate, Polkadot, and Kusama | Parity Technologies
Kevin Smith Launches New Film “KillRoy Was Here” with Legendao and Secret Network | Secret Network
StarkGate Alpha | StarkWare
ZK Funding Sources
Mina Q1 Grant nominations | Mina Form
ZPrize is live!
Events/Hackathons/TrustedSetups
MIT Bitcoin Expo Cambridge, MA. May 7
Gateway Hackathon Prague. May 16 - 17
Blocksplit.net Split, Croatia. May 23 - 25
FHE Conference. Trondheim, Norway. May 29
Eurocrypt 2022 Trondheim, Norway. May 30 - June 3
Consensus Austin. June 9
Eth Prague Prague. June 10 - 12
Summer School on Real-World Crypto & Privacy Šibenik, Croatia. June 13 - 17
EthCC Paris. July 19 - 21
NFT.NYC NYC. June 20 - 23, 2022
Polkadot Decoded: Berlin, Mexico City, New York and Shanghai. June 29 - 30
ZCon3 [CFP open] Las Vegas. Aug 7-9 2022
Crypto 2022 Santa Barbara. August 13 - 18
The Science of Blockchain Conf 2022 (SBC'22) Stanford. Aug 29 - Sep 2
zkSummit 8. Berlin (tentative). September 2022
Devcon. Bogota, Columbia. October 11 - 14
————
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!