zkMesh: Feb 2024 recap
Welcome to zkMesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero knowledge systems research.
zkMesh is produced by ZK Hack.
We bring you links to recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition every month. Be sure to share and subscribe!
** Apply to ZK Hack Kraków May 17-19**
Research
Circle STARKs by Ulrich Haböck, David Levit and Shahar Papini
zkPi: Proving Lean Theorems in Zero-Knowledge by Evan Laufer, Alex Ozdemir and Dan Boneh
SoK: What Don't We Know? Understanding Security Vulnerabilities in SNARKs by Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara and Benjamin Livshits
Strong Batching for Non-Interactive Statistical Zero-Knowledge by Changrui Mu, Shafik Nassar, Ron D. Rothblum and Prashant Nalini Vasudevan
Monolith: Circuit-Friendly Hash Functions with New Nonlinear Layers for Fast and Constant-Time Implementations by Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger and Roman Walch
LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems by Dan Boneh and Binyi Chen
FRIDA: Data Availability Sampling from FRI by Mathias Hall-Andersen, Mark Simkin and Benedikt Wagner
Beyond the circuit: How to Minimize Foreign Arithmetic in ZKP Circuits by Michele Orrù, George Kadianakis, Mary Maller and Greg Zaverucha
Proofs for Deep Thought: Accumulation for Large Memories and Deterministic Computations by Benedikt Bünz and Jessica Chen
A New Approach for Non-Interactive Zero-Knowledge from Learning with Errors by Brent Waters
IDEA-DAC: Integrity-Driven Editing for Accountable Decentralized Anonymous Credentials via ZK-JSON by Shuhao Zheng, Zonglun Li, Junliang Luo, Ziyue Xin and Xue Liu
2PC-MPC: Emulating Two Party ECDSA in Large-Scale MPC by Offir Friedman, Avichai Marmor, Dolev Mutzari, Omer Sadika, Yehonatan C. Scaly, Yuval Spiizer and Avishay Yanai
On the Security of Nova Recursive Proof System by Hyeonbum Lee and Jae Hong Seo
Amplification of Non-Interactive Zero Knowledge, Revisited by Nir Bitansky and Nathan Geier
Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics by Dimitris Mouris, Christopher Patton, Hannah Davis, Pratik Sarkar and Nektarios Georgios Tsoutsos
Asymmetric Cryptography from Number Theoretic Transformations by Samuel Lavery
NIZKs with Maliciously Chosen CRS: Subversion Advice-ZK and Accountable Soundness by Prabhanjan Ananth, Gilad Asharov, Vipul Goyal, Hadar Kaner, Pratik Soni and Brent Waters
Vortex: A List Polynomial Commitment and its Application to Arguments of Knowledge by Alexandre Belling, Azam Soleimanian and Bogdan Ursu
Zero-Knowledge Proofs of Training for Deep Neural Networks by Kasra Abbaszadeh, Christodoulos Pappas, Dimitrios Papadopoulos and Jonathan Katz
zkMatrix: Batched Short Proof for Committed Matrix Multiplication by Mingshu Cong, Tsz Hon Yuen and Siu Ming Yiu
Scalable Collaborative zk-SNARK: Fully Distributed Proof Generation and Malicious Security by Xuanming Liu, Zhelei Zhou, Yinghao Wang, Bingsheng Zhang and Xiaohu Yang
Articles/Threads
ZK Hack IV Retrospective | ZK Hack Blog
Ask Security Questions | Vitalik Buterin
How Does Basefold Polynomial Commitment Scheme Generalize FRI | LambdaClass Blog
Brendan Farmer - Aggregated Blockchains | Polygon
Sumchecks and Snarks | Computational Complexity
Our Highly Subjective View on the History of Zero-knowledge Proofs | LambdaClass Blog
ZK Sharding: A Leap Forward in Blockchain Scalability | Fetcch
Zero-knowledge Is Easy or The Ultimate How-to Article | Nikita Kolmogorov
You Don't Need a Ph.D. to Build ZK-Enabled AppsI | @DoganEth
Wormhole Inks Partnership With AMD Amid Zero-Knowledge Embrace | The Defiant
Videos/Podcast
ZK Debate Series: GPU or FPGA - The Hardware Battle in ZK Development | ZPrize
ZK Jargon Decoder with Nico Mohnblatt | Zero Knowledge Podcast
Episode 312: ZKP2P with Brian & Richard | Zero Knowledge Podcast
Episode 313: Revisiting Hardware with Ingonyama | Zero Knowledge Podcast
AMD and ZPrize using FPGAs to Accelerate Zero Knowledge | AMD
Guides and Resources
Starknet and zkSync: A Comparative Analysis | Nethermind
zkBank: You Think You Have What It Takes to Work at zkSecurity? | zkSecurity
Implementing BabySNARK in Our Internal Bootcamp | LambdaClass Blog
Zero Knowledge Proofs for Kids | zkSync
Vulnerabilities/Disclosures
Tools / implementations
When the Doom Music Kicks In | RISC Zero
Reef: A zkSNARK System for Proving That a Committed Document Matches a Regex | University of Pennsylvania
A Simple Template to Generate ZK Proofs with Noir on Mobile Using React Native | @madztheo
Proving Ethereum Signatures in o1js with Keccak and ECDSA | o1Labs
Mina to Ethereum ZK Bridge | LambdaClass
Project Updates
Binance Will Delist Monero on 2024-02-20 | Binance
Proof Composition: Unlocking Recursion and Modularity for ZK Developers | RISC Zero
zkSafeZones Whitepaper | zkLocus
Upgrading Every EVM Chain to ZK: Introducing the Type 1 Prover | Polygon
Lilith, a High-performance Backend System for Zero-knowledge Proof Generation at Scale | EZKL
Introducing Succinct Network: The Protocol for Programmable Truth | Succinct Labs
Product Update: ICICLE V1.3.0 | Ingonyama
Introducing SP1: A performant, 100% Open-source, Contributor-friendly zkVM | Succinct Labs
Introducing SP1 Reth: A Performant Type-1 zkEVM Built with SP1 | Succinct Labs
Starknet Provisions Program | Starknet
Introducing Freedom Tool | Rarimo
ZK Grants | Ethereum Foundation ESP | Ethereum Foundation
Chapter 13: Scaling Intelligence | Modulus Lab
Launching Brevis V2: Generalized ZK Coprocessor for Data-driven dApps | Brevis
Devnet Developer Onboarding Begins! | Gevulot
Slush Joins Matter Labs to Play a Critical Role in Advancing the Hyperchain Ecosystem for ZK Stack | zkSync
Wormhole to Use AMD Chips for Scaling 'Light Client' Proofs on Interoperability Platform | The Block
The Road to Aleo Mainnet | Aleo
Events/Hackathons
ETHDenver | Denver, US. Feb 23 - Mar 3
ZK Hack Meetup | London, UK. Mar 6
ETHGlobal London | London, UK. Mar 15 - 17
RWC 2024 | Toronto, Canada. March 25 - 27
zkSummit11 | Athens, Greece. Apr 10
ZK Accelerate | Athens, Greece. Apr 11
EuroSys 2024 | Athens, Greece. Apr 22 - 25
ETHGlobal Sydney | Sydney, Australia. May 3 - 5
ZK Hack Kraków | Kraków, Poland. May 17 - 19
DappCon 2024 | Berlin, Germany. May 21 - 23
ZKProof 6 | Berlin, Germany. May 22 - 24
ETHBerlin | Berlin, Germany. May 24 - 26
Eurocrypt 2024 | Zurich, Switzerland. May 26 - 30
ETH Prague | Prague, Czech Republic. May 31 - June 2
ETHGlobal Brussels | Brussels, Belgium. July 12 - 14
DevCon | Bangkok, Thailand. November 12 - 15
————
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__!