zkMesh: September 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 in ZK over on the ZK Jobs Board! **
Research
Bringing IBC to Ethereum using ZK-Snarks - zk-s[nt]arks ethresear.ch post
ERC721 Extension for zk-SNARKs - zk-s[nt]arks ethresear.ch post
No More Attacks on Proof-of-Stake Ethereum? by Francesco D'Amato, Joachim Neu, Ertem Nusret Tas, David Tse
On Committing Authenticated Encryption by John Chan, Davis Phillip Rogaway
Anonymous Public Key Encryption under Corruptions by Zhengan Huang,Junzuo Lai, Shuai Han, Lin Lyu, Jian Weng
Puncturable Key Wrapping and Its Applications by Matilda Backendal, Felix Günther, Kenneth G. Paterson
Privacy-Preserving Authenticated Key Exchange in the Standard Model by You Lyu, Shengli Liu, Shuai Han, Dawu Gu
Homomorphic Encryption on GPU by Ali Şah Özcan, Can Ayduman, Enes Recep Türkoğlu, Erkay Savaş
Efficient Proofs of Software Exploitability for Real-world Processors by Matthew Green, Johns, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer
Fully-Secure MPC with Minimal Trust by Yuval Ishai, Arpita Patra, Sikhar Patranabis, Divya Ravi, Akshayaram Srinivasan
Flashproofs: Efficient Zero-Knowledge Arguments of Range and Polynomial Evaluation with Transparent Setup by Nan Wang, Sid Chi-Kin Chau
An ECDSA Nullifier Scheme for Unique Pseudonymity within Zero Knowledge Proofs by Aayush Gupta, Kobi Gurkan
A Toolbox for Barriers on Interactive Oracle Proofs by Gal Arnon, Amey Bhangale, Alessandro Chiesa, Eylon Yogev
Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field by Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu
zkBridge: Trustless Cross-chain Bridges Made Practical by Tiancheng Xie, Jiaheng Zhang, Zerui Cheng, Fan Zhang, Yupeng Zhang, Yongzheng Jia, Dan Boneh, Dawn Song
A Note on Reimplementing the Castryck-Decru Attack and Lessons Learned for SageMath by Rémy Oudompheng, Giacomo Pope
Efficient ZK Proofs for Keccak by Angus Gruen
SoK: Hash functions in Zero Knowledge Proofs by Karthik Inbasekar
Articles
Recursive zkSNARKs: Exploring New Territory | 0xPARC | Nalin
Base Layer Neutrality | Paradigm | Rodrigo Seira, Amy Aixi Zhang, Dan Robinson
Configurable Privacy Case Study: Partitioned Privacy Pools | Espresso Systems | Ben Fisch
OFAC Breaks Its Silence on Funds Locked With Tornado Cash | Tokenist | Tim Fries
Crypto Exchange Huobi to Delist 7 Privacy Coins, Including Zcash, Monero | Coindesk | Shaurya Malwa
Ethereum Coin Mixer Tornado Cash Is Back on GitHub | Decrypt | Mat Di Salvo
Coinbase Backs Tornado Cash Lawsuit Against U.S. Treasury | Decrypt | Stacy Elliott
The Problem Tornado Cash Raises About Base Layer Censorship on Ethereum | Coindesk | Amy Aixi Zhang, Rodrigo Seira
OFAC Backtracks but Tornado Cash Sanctions Already Set a Terrifying Precedent | Coindesk | Zac Colbert
Videos/Podcast
EigenLayr: Permissionless Feature Addition to Ethereum with Sreeram Kannan | a16z crypto research
ZK Whiteboard Sessions Module Eight: Achieving Decentralised Private Computation
ZK Whiteboard Sessions Module Nine: Introduction to zkRollups with Barry Whitehat
ZK Whiteboard Sessions BONUS: Interview with Ariel Gabizon on The PLONK Origin Story and Roadmap
ZK Whiteboard Sessions Module Ten: zkEVM with Jordi Baylina
ZK Podcast Episode 245: Sanctions against Tornado Cash: a Legal Perspective
ZK Podcast Episode 246: Adversarial Machine Learning Research with Florian Tramèr
ZK Podcast Episode 247: Exploring Penumbra with Henry de Valence
0xPARC Foundation presents 06 SnarkyJS
ZK in a Tweetshell
Guides and Resources
Zero Knowledge Canon, part 1 & 2 | a16zCrypto | Elena Burger, Bryan Chiang, Sonal Chokshi, Eddy Lazzarin, Justin Thaler and Ali Yahya
Zero Knowledge Proofs | Haun Ventures | Breck Stodghill
# Credible Confessions: Credible Confessions is an application that allows prominent members of a community to release anonymous yet credible pieces of writing.
Tools
Project Updates
Towards the endgame of blockchain interoperability with proof of consensus | Succinct Labs
GIP-57: Should Gnosis DAO support research of a zkSNARK-enabled light client and bridge? | Gnosis Forum
A Vamp-IR's Guide to Arithmetic Circuits (and Perfectly Boiled Eggs) | Anoma | Vasily Sidorov
Proof Compression. Leveraging the flexibility of zk-SNARKs | Aztec Network | Luke Edwards
Explaining the “Network” in Aztec Network| Aztec Network | Jon Wu
Congratulations on The Merge — now prepare to cure the hangover with a strong dose of privacy! | Nym
Testnet 29: Shielded Swaps Have Arrived | Penumbra
StarkNet Regenesis — The Plan. TL;DR | StarkWare
Project Registration Is Now Open for zkSync 2.0 Mainnet Alpha | zkSync
Events/Hackathons
Devcon | Bogotá, Columbia. October 11 - 14
ETHLisbon | Lisbon. October 28 - 30
Zero-Knowledge Proof Workshop Affiliated with CESC | UC Berkeley. Oct 30
ETHSF '22 | San Francisco. Nov 3 - 5
Theory of Cryptography Conference | Chicago. Nov 7 - 10
International Conference on Smart Contracts and Blockchain | Dubai. Nov 10 - 11
Istanbul Blockchain Week | Istanbul. Nov 15 - 16
ZKProof Workshop | Tel-Aviv. Nov 15 - 17
Sub0 | Lisbon. Nov 28 - 29
ZK Hack | Virtual. Multi-week. Nov - Dec → follow @__zkhack__ for updates!
ETHIndia | Bengaluru. Dec 2 - 4
FHE.org | Tokyo. March 26, 2023
RWC 2023 | Tokyo. March 27, 2023
————
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!