zkMesh: March 2023 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 ZK Hack.
We include recent 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!
Research
Goblin Plonk: lazy recursive proof composition by Zac Williamson
Semacaulk, a gas-efficient zero-knowledge set membership protocol by Andrija Novakovic, Koh Wei Jie, and Kobi Gurkan
Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States by Léo Colisson, Garazi Muguruza and Florian Speelman
Poseidon2: A Faster Version of the Poseidon Hash Function by Lorenzo Grassi, Dmitry Khovratovich and Markus Schofnegger
Multilinear Schwartz-Zippel mod N with Applications to Succinct Arguments (Update) by Benedikt Bünz and Ben Fisch
A Vulnerability in Implementations of SHA-3, SHAKE, EdDSA, and Other NIST-Approved Algorithm by Nicky Mouha and Christopher Celi
Secret Sharing Scheme with Perfect Concealment by Izumi Takeuti and Tomoko Adachi
A Generic Transform from Multi-Round Interactive Proof to NIZK by Pierre-Alain Fouque, Adela Georgescu, Chen Qian, Adeline Roux-Langlois and Weiqiang Wen
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy by Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits and Arthur Gervais
Piano: Extremely Simple, Single-Server PIR with Sublinear Server Computation by Mingxun Zhou, Andrew Park, Elaine Shi and Wenting Zheng
How to achieve bidirectional zero-knowledge authentication? By Jin Li, Xingyu Li, Chang Chen, Guoyu Yang, Junyang Li, Qi Chen and Hongyang Yan
Privacy-Preserving Tree-Based Inference with Fully Homomorphic Encryption by Jordan Frery, Andrei Stoian, Roman Bredehoft, Luis Montero, Celia Kherfallah, Benoit Chevallier-Mames and Arthur Meyre
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols by Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown and Wenting Zheng
cqlin: Efficient linear operations on KZG commitments with cached quotients by Liam Eagen and Ariel Gabizon
Fully Adaptive Schnorr Threshold Signatures by Elizabeth Crites, Chelsea Komlo and Mary Maller
Articles
SNARK Security and Performance | a16zcrypto
io.finnet and Kudelski Security uncover four critical vulnerabilities in signature protocols for MPC wallets | MPC Alliance
zkVMs are cool, but have you heard of zkCPUs? | Cryptologie
Diving DEEP FRI in the STARK world: learning your daily moon math with a concrete example | Not a Monad
Using Metal and Rust to make FFT even faster | Not a Monad
Stablecoins pose greater privacy risk than digital euro | The Block
Tornado Cash Fork, Privacy Pools, Deployed on Optimism Testnet | CoinDesk
Fireblocks claims it detected vulnerability, now patched, in competitor BitGo's TSS wallets | The Block
Videos/Podcast
Zero Knowledge Podcast: Episode 266: ZK Hardware Sessions with Zprize Pt. 1
Zero Knowledge Podcast: Episode 267: ZK Hardware Sessions with Zprize Pt. 2
Zero Knowledge Podcast: Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun
ZK Study Club: Lattice-Based Zero-Knowledge (Muhammed Esgin - Monash University)
0xParc: ZK Security Research
TheIACR: Session on Privacy and ZKP (RWC)
ZK in a Tweetshell
Guides and Resources
Proto-Danksharding FAQ Moderate approach: works with any ZK-SNARK by Ethereum
Pairings for beginners by Craig Costello
0xPARC/plonkathon: educational python plonk implementation, based on vitalik's py_plonk
The Anatomy of Proof Generation by Scroll
Leveraging an existing PKI for a trustless and privacy preserving identity verification scheme
Cryptography Research Booklet H2 2022 by Geometry
Cool Another Interesting Threshold Signature In The House by cronokirby
Efficient threshold BLS & Encryption by Nicolas Gailly
Tools / implementations
zkpod.ai - Zero Knowledge Podcast answers all your questions!
ZeroSync bringing STARKs to Bitcoin!
Telepathy from Succinct
paritytech/ark-substrate: Library to integrate arkworks-rs/algebra into Substrate
spalladino/zkp-tests: Playing with zero-knowledge proof languages
Project Updates
Sunsetting Aztec Connect | Aztec
gm zkEVM! | zkSync
zkConnect | Sismo
Next Billion Fellowship Cohort 3 - Call for applications | Ethereum Foundation
Goerli Shapella Announcement | Ethereum Foundation
What are zkOracles? | Mina
Kimchi MIP: A proposed upgrade to Mina’s proof system | Mina
Writing a zkApp or Tooling Proposal in 4 Weeks: Phase 1 of zkIgnite Cohort 1 | Mina
Bringing Zero-Knowledge Proofs to Penumbra | Penumbra
Polygon zkEVM Mainnet Beta is Live | Polygon
STARK: Endgame | StarkWare
O(1) Labs ZKP Partner Program Announcement | O(1) Labs
Where’s Waldo on RISC Zero | RISC Zero
Events/Hackathons
ZK Hack Lisbon | Lisbon, Portugal. March 31-April 1
ZKML Community @Lisbon | Lisbon, Portugal. April 3
zkSummit9 | Lisbon, Portugal. April 4
Eurocrypt 2023 | Lyon, France. April 23-27
Leading Privacy Istanbul | Istanbul. April 27-30
Financial Cryptography 2023 | Brač, Croatia. May 1-5
PKC 2023 | Atlanta. May 7-10
ethdam | Amsterdam. May 20-21
Gateway to Cosmos Conference | Prague, Czech Rep. June 3-5
EthCC | Paris, France. Jul 17-21
Stanford Blockchain Conference | Stanford, USA. Aug 28-30
DappCon | Berlin, Germany. Sept 11-13
zkSummit10 | tbd Autumn 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__!