zkMesh: May 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 

• Caulk: Lookup Arguments in Sublinear Time by A. Zapico, V. Buterin, D. Khovratovich, M. Maller, A. Nitulescu, M. Simkin

• Bulletproofs++ by L. Eagen

• zk-Sherlock: Exposing Hardware Trojans in ZK by D. Mouris, C. Gouert, N. Georgios Tsoutsos 

• Post-Quantum Signatures on RISC-V with Hardware Acceleration by P. Karl, J. Schupp, T. Fritzmann, G. Sigl

• Aura: private voting with reduced trust on tallying authorities by A. Jivanyan, A. Feickert 

• Non-Interactive ZKP with Fine-Grained Security by Y. Wang, J. Pan 

• AntMan: Interactive ZKP with Sublinear Communication by C. Weng, K. Yang, Z. Yang, X. Xie, X. Wang

• Impossibilities in Succinct Arguments: Black-box Extraction and More by M. Campanelli, C. Ganesh, H. Khoshakhlagh, J. Siim

• Efficient Lifting for Shorter Zero-Knowledge Proofs and Post-Quantum Signatures by D. Kales and G. Zaverucha

• ZKP of Elliptic Curve Inner Products from Principal Divisors and Weil Reciprocity by L. Eagen

• A survey of elliptic curves for proof systems by D. F. Aranha, Y. El Housni, A. Guillevic

Articles

• Is Fully Homomorphic Encryption Now A Reality? | Cybersecurity Magazine

• Twitter agrees to $150 million fine over US data privacy complaint | The Block

• Privacy in Cosmos: Live in Amsterdam Recap | Zero Knowledge Validator Blog

• How Computer Scientists Learned To Reinvent The Proof | Quanta Magazine

• How to Prevent the Metaverse From Becoming a Nightmare | Coindesk

• Ernst & Young Unveils Supply Chain Manager on Polygon Network | Coindesk

• Zk Tech Gitcoin Gr13 Recap | Zero Knowledge Validator Blog

• Identity is the antidote for DEXs’ regulation problem | Cointelegraph

• The ZK Frontier: On SNARKs, STARKs, and Future Applications | The Tie

Videos/Podcast

• zkStudyClub: Collaborative zkSNARKs (A. Ozdemir, Stanford)

• Ep 1 - A Beginners guide to Ouroboros Samasika by MinaAcademy

• Vitalik Buterin: An Incomplete Guide to Rollups by Bankless

• Ep 228: Catch-up at DevConnect AMS with Tarun, Guillermo and Brendan

• Playlist: ZK HACK - Proofs, Arguments, and ZK - Thaler Study Group

• STARK @ Home 6: Deep FRI Dive by StarkWare

ZK in a TweetShell 

Arantxa Zapico 🧉 @arantxazapico

Caulk is out! Caulk achieves zero-knowledge lookups and membership proofs up to 100x faster than Poseidon Merkle trees. Joint work with Mary Maller, @VitalikButerin, @Khovr, @13portocale and @CryptoSimkin 👇🏽

IACR @IACR_News

#ePrint Caulk: Lookup Arguments in Sublinear Time: A Zapico, V Buterin, D Khovratovich, M Maller, A Nitulescu, M Simkin https://t.co/saQ2Gi9MW3

Guides and Resources

• Anatomy Of A Stark, Part 3: Fri | aszepieniec.github.io

• Multiplying Polynomials With Fast Fourier Transform | o1labs.org

• Practical Snark-Based Vdf - Zkproof Standards | zkproof.org

Tools 

• arnaucube/awesome-circom: A curated list of repos related to Circom

• cronokirby/boo-hoo: An implementation of ZKBoo

• maxgillett/giza: A Cairo VM prover implemented using Winterfell

• privacy-scaling-explorations/zk-keeper: ZK Keeper

• privacy-scaling-explorations/zkp-app-boilerplate: Build your zkp app with typescript, hardhat, circom, and snarkjs!

• risc0/battleship-example

• Initial implementation of JSONWebZeroknowledge standard | iden3/go-jwz

Project Updates

• Ecne: Automated Verification of ZK Circuits | 0xparc

• zk-ECDSA Part 2: Under the Hood | 0xparc

• zkPairing: zkSNARKs for Elliptic Curve Pairings (Part 1) | 0xparc

• Zkverse: Deep Dive Into Polygon Hermez 2.0 | polygon.technology

• Sui Devnet Public Release | Mysten Blog

• Namada - Anoma Specification | specs.anoma.net

• New Release 5.0.0 - Electric Coin Company | electriccoin.co

• Fort Protocol For Self-Sovereign Authentication | dusk.network

• Zcash Proof-Of-Stake Research | electriccoin.co

• Countdown to Aztec Connect | Jon Wu 

• Layer by Layer: A Guide to Aztec’s Security Approach | Aztec team  

• Winter 2022 zkApps Builders Program Wrap Up | Mina Protocol

• Offshift Ecosystem Lays out New Development Direction, Announces New Platform Offshift anon | Offshift Core

ZK Funding Sources

• GR14 ZK Tech Side Round | Gitcoin.co Grants

• Zcash Community Grants | zcashcommunitygrants.org

• Aztec Network Raises Total Bug Bounty to $2 Million | Aztec team

Events/Hackathons

• TPMPC 2022 Aarhus, Denmark. June 6 - 10 

• Consensus Austin. June 9

• Eth Prague Prague. June 10 - 12

• Summer School on Real-World Crypto & Privacy Šibenik, Croatia. June 13 - 17

• NFT.NYC  NYC. June 20 - 23

• Polkdadot Decoded Berlin, Mexico City, NY, Shanghai. June 29 - 30

• EthCC Paris. July 19 - 21

• ZCon3 Las Vegas. Aug 7 - 9 2022

• Crypto 2022 Santa Barbara. Aug 13 - 18

• The Science of Blockchain Conference 2022 (SBC'22) Stanford. Aug 29 - Sep 2

• ZKSummit8 Berlin. Sep 15 (more info to come)

• ZK Hackathon Montreal. Sep 30 (more info to come)

• Devcon Bogota, Colombia. Oct 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!