zkMesh: Nov 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 bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition at the beginning of every month. Be sure to share and subscribe!
** ZK Hack Online returns in Jan 2024. Join our mailing list for more info!**
Research
Succinct Arguments over Towers of Binary Fields | Benjamin E. Diamond and Jim Posen
BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes | Hadas Zeilberger, Binyi Chen and Ben Fisch
Concrete Security for Succinct Arguments from Vector Commitments | Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan and Nicholas Spooner
Accountable Multi-Signatures with Constant Size Public Keys | Dan Boneh, Aditi Partap and Brent Waters
On Parallel Repetition of PCPs | Alessandro Chiesa, Ziyi Guan and Burcu Yıldız
Malleable Commitments from Group Actions and Zero-Knowledge Proofs for Circuits based on Isogenies | Mingjie Chen, Yi-Fu Lai, Abel Laval, Laurane Marco and Christophe Petit
On Quantum Simulation-Soundness | Behzad Abdolmaleki, Céline Chevalier, Ehsan Ebrahimi, Giulio Malavolta and Quoc-Huy Vu
On the Feasibility of E2E Verifiable Online Voting – A Case Study From Durga Puja Trial | Horia Druliac, Matthew Bardsley, Chris Riches, Christian Dunn, Luke Harrison, Bimal Roy and Feng Hao
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge | Daniel Luick, John Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang and Ning Luo
Non-Interactive Zero-Knowledge Functional Proofs | Gongxian Zeng, Junzuo Lai, Zhengan Huang, Linru Zhang, Xiangning Wang, Kwok-Yan Lam, Huaxiong Wang and Jian Weng
Dora: Processor Expressiveness is (Nearly) Free in Zero-Knowledge for RAM Programs | Aarushi Goel, Mathias Hall-Andersen and Gabriel Kaptchuk
Updatable Privacy-Preserving Blueprints | Bernardo David, Felix Engelmann, Tore Frederiksen, Markulf Kohlweiss, Elena Pagnin and Mikhail Volkhov
An Efficient Quantum Parallel Repetition Theorem and Applications | John Bostanci, Luowen Qian, Nicholas Spooner and Henry Yuen
BabySpartan: Lasso-Based SNARK for Non-Uniform Computation | Srinath Setty and Justin Thaler
Beyond MPC-in-the-Head: Black-Box Constructions of Short Zero-Knowledge Proofs | Carmit Hazay, Muthuramakrishnan Venkitasubramaniam and Mor Weiss
Family of Embedded Curves for BLS | Antonio Sanso
Traitor Tracing for Threshold Decryption | Dan Boneh, Aditi Partap and Lior Rotem
Articles/Threads
ZK Hack Istanbul Summary and Winners | ZK Hack
Insights and Reflections from DevConnect 2023 | O(1) Labs
The Odd Couple: ZK and Optimistic Rollups on a Scalability Date | AltLayer & RISC Zero
ZKID: A Step Towards Privacy-Preserving Digital Identity | ScalingX
Long Thread On Decentralized Prover Coordination Problem and Mechanisms | @ballsyalchemist
Nova: from IVC to general PCD for zkMapReduce | @nikkolasg1
Booster Rollups Part 2: ZK-EVM as a ZK Coprocessor | Ethereum Research
ZKPs, SIGINT and Psychological Warfare | @omershlomovits
The Current Landscape of ZK Projects | HC Capital
Explaining How Aztec Brings Privacy to Web3 | @MohamedFFouda
How to Build Modern SNARKs Systems | Joseandro Luiz
Binius: A Hardware-Optimized SNARK | Ulvetanna
Boosting Lasso+Jolt Through Faster Commitments – With Far-Reaching Consequences | Justin Thaler
A Technical FAQ on Lasso, Jolt, and Recent Advancements in SNARK Design | Justin Thaler
ZKML and Autonomous Worlds | EZKL x Lattice
Off-Chain Compute Is All You Need | @0x_emperor & @0xkrane
Demystifying ZKML | Vid Kersic
Beyond Zero-Knowledge: What’s Next in Programmable Cryptography? | PSE
Exit Games for EVM Validiums: the Return of Plasma | Vitalik Buterin
Videos/Podcast
ZK Hack Istanbul Workshops all videos | ZK Hack
ZK in 2023 by Zac Williamson | Antalpha Labs
ZK Accelerate 2023 all videos | Ingonyama
Access Transactions and Receipts On-chain with Axiom | Axiom
Episode 300: A ZK Podcast Retrospective | ZK Podcast
Catch up on zkSync with Alex G | ZK Podcast
Mina's zkApps and o1js with Brandon and Steve | ZK Podcast
Quantum Cryptography Part 2 with Or Sattath | ZK Podcast (Part 1 can be found here)
Guides and Resources
If You Don't Know, Look It Up or How to Create Lookup Tables for Zero Knowledge Proofs | LambdaClass Blog
Awesome-folding GitHub repo: A Curated List of Zero-Knowledge Folding Schemes | Lurk Labs
Cairo's Public Memory | Cryptologie Blog
Verkle Trees | Polytope Blog
Node Guardians’ New Campaign to Discover Noir Language | NodeGuardians x Noir
Introduction to FHE | Taiko Labs
ZK Benchmark Toolkit | Ingonyama
Vulnerabilities/Disclosures
Uncovering a ZK-EVM Soundness Bug in zkSync Era | ChainLight
Tools / implementations
From Scratch Implementation of 3 Multilinear Polynomial Commitment Schemes (Hyrax, Ligero & Brakedown) With Arkworks Backend | @0xHungryCats
Uniswap V4 Hook + Brevis ZK Coprocessor = Data-driven DEX Experiences | Brevis
Demonstration of Using a Metal Compute Shader to Accelerate plonky2/starky Proving | QED Protocol
Anon Exchange: Using Semaphore Protocol to Create an NFT Exchange Protecting Anonymity | @lilioo826 x PSE
FHE in Risc0 zkVM | HashCloak
Tech Deep Dive: Verifying FHE in RISC Zero, Part I | @weikengchen
Bridging Web2 and Web3 with Bonsai Pay: A Bonsai-powered Demo Application | RISC Zero
Foster Open Dialogues on Farcaster, zk-Prove your FID & Cast Privately | 33bits
Plonk in Python | tarassh
Writing Robust C - Best Practices for Finding and Preventing Vulnerabilities | EF
Project Updates
The Future of Consumer Data: How Snickerdoodle Delivers a Solution to the 3rd Party Cookie Problem | Snickerdoodle
Polygon Labs and NEAR Foundation Collaborate to Build a zkWasm L2 Prover as a Component for Polygon CDK | Polygon x NEAR
Chip Company Ingonyama Raises $20 Million in Seed Round | Ingonyama
Introducing Hyperbridge: An Interoperability Coprocessor | Polytope Labs
DM Your SUI with zkSend | Mysten Labs
Aztec Announces Noir v0.19.2 and Its List of Features | Aztec
Announcing zkSharding for Ethereum | ;nil= Foundation
Doubling Down on Open Source at RISC Zero | RISC Zero
Introducing Succinct | Succinct
Product Announcement: ZK-Containers | Ingonyama
ZKP2P Announces Its Alpha Launch | ZKP2P
Partnership Announcement: Welcoming Modulus to Ion’s Lab | ION Protocol
Creating a ZKP-Secured Bidirectional Bridge from Avail to Ethereum | Succinct x Avail
Introducing ‘Ten’ — A Leap Beyond Privacy | Obscuro Labs
Ola Opens Applications for DevTestnet Whitelist: Bringing Compliant Privacy to ZKRollups | Ola
Herodotus: Proving Ethereum’s State Using Storage Proofs on Starknet | StarkWare x Herodotus
Wallet Performance Issues Resolved, ECC Exiting Emergency Mode | Electric Coin Company
ZKP Requester-Prover Separation Model to Support Full ZK and Optimistic ZK | ZKPool
How Does One Combine Lagrange’s Recproofs and ZKMapReduce (ZMKR) Stack with Folding Schemes? | Lagrange
Events/Hackathons
Polygon Connect | Bengaluru, India. Dec 7
ETHIndia | Bengaluru, India. Dec 8 - 10
ZK HACK IV | Online. Jan 16 - Feb 6 2024
ETHDenver | Denver, US. Feb 23 - Mar 3
ETHGlobal London | London, UK. Mar 15 - 17
RWC 2024 | Toronto, Canada. March 25 - 27
zkSummit11 | Athens, Greece. Apr 10 - SAVE THE DATE
EuroSys 2024 | Athens, Greece. Apr 22 - 25
ETHGlobal Sydney | Sydney, Australia. May 3 - 5
DappCon 2024 | Berlin, Germany. May 21 - 23
ETHBerlin | Berlin, Germany. May 24 - 26
Eurocrypt 2024 | Zurich, Switzerland. May 26 - 30
DevCon | Southeast Asia. Spring 2024?
ETHGlobal Brussels | Brussels, Belgium. July 12 - 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 @__zkhack__!