ZK Mesh: December 2024 Recap

Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

ZK Mesh is produced by ZK Hack.

We bring you recent research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition every month. Be sure to share and subscribe!

Research

• ZODA: Zero-Overhead Data Availability | Alex Evans, Nicolas Mohnblatt and Guillermo Angeris

• Lova: Lattice-Based Folding Scheme From Unstructured Lattices | Giacomo Fenzi, Christian Knabenhans, Ngoc Khanh Nguyen and Duc Tu Pham

• Scribe: Low-memory SNARKs Via Read-Write Streaming | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Karan Newatia and Steve Wang

• Mira: Efficient Folding for Pairing-based Arguments | Josh Beal and Ben Fisch

• Orbweaver: Succinct Linear Functional Commitments From Lattices | Ben Fisch, Zeyu Liu and Psi Vesely

• PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification | Binbin Gu, Juncheng Fang and Faisal Nawab

• BOIL: Proof-Carrying Data From Accumulation of Correlated Holographic IOPs | Tohru Kohrita, Maksim Nikolaev and Javier Silva

• Endomorphisms for Faster Cryptography On Elliptic Curves of Moderate CM Discriminants | Dimitri Koshelev and Antonio Sanso

• Two-Round 2PC ECDSA at the Cost of 1 OLE | Michael Adjedj, Constantin Blokh, Geoffroy Couteau, Antoine Joux and Nikolaos Makriyannis

• Efficient Succinct Zero-Knowledge Arguments In the CL Framework | Agathe Beaugrand, Guilhem Castagnos and Fabien Laguillaumie

• Proof of Time: A Method for Verifiable Temporal Commitments Without Timestamp Disclosure | Alexander John Lee

• Xiezhi: Toward Succinct Proofs of Solvency | Youwei Deng and Jeremy Clark

• Anonymous Credentials From ECDSA | Matteo Frigo and Abhi Shelat

• PrivCirNet: Efficient Private Inference Via Block Circulant Transformation | Tianshi Xu, Lemeng Wu, Runsheng Wang and Meng Li

• On the Traceability of Group Signatures: Uncorrupted User Must Exist | Keita Emura

• Crescent: Stronger Privacy for Existing Credentials | Christian Paquin, Guru-Vamsi Policharla and Greg Zaverucha

• Zero Knowledge Memory-Checking Techniques for Stacks and Queues | Alexander Frolov

• Bypassing the characteristic bound in logUp | Liam Eagen and Ulrich Haböck

Articles/Threads

• What I Would Love to See In a Wallet | Vitalik Buterin

• Privacy-First CBDCs: Leveraging Cryptography and Ethereum for Next-Gen Digital Currencies | Aztec

• Zero-Knowledge Tech Can Define Future but Has to Win Over Skeptical Public | Newsweek

• Commitments and Zero-knowledge Attestations over TLS 1.3: DiStefano Protocol | Brave

• ZODA: An Explainer | Bain Capital Crypto

• Succinct Blockchains with Accumulation: A Path Forward | Psycho Virtual

• Continuous Read-Only Memory Constraints | LambdaClass

• All Rollups Are Apps, All Apps Are Rollups | Hylé

• On the Gas Efficiency of the WHIR Polynomial Commitment Scheme | @xyz_pierre & @GiacomoFenzi

• A Primer on Hybrid Merkle Trees | NP Labs

• Groth16 at a Glance | @alinush407

• Optimizing Montgomery Multiplication in WebAssembly | Bain Capital Crypto

• Mira: Efficient Folding for Pairing-based Arguments | Josh Beal & Ben Fisch

Videos/Podcasts

• ZK Whiteboard Sessions - S2M6: An Update on Folding with Albert Garreta | ZK Hack

• ZK Hack V Online - All The Recordings | ZK Hack

Guides and Resources

• Aztec Contracts 0–100 | @niallinio

• Arithmetic Circuits in Rust | NP Labs

• Awesome zkVM | @piapark_eth & @alexanderlhicks

• Getting Started with MACI | Benjamin Barahona

• Understanding Binius, Part I | L2 Iterative Ventures

• Understanding Binius, Part II | L2 Iterative Ventures

Vulnerabilities/Disclosures

• Chosen-Instance Attack | Bain Capital Crypto

• Partial Exposure Attacks Against a Family of RSA-like Cryptosystems

Tools/Implementations

• latticefold: A lattice-based non-interactive folding scheme written in Rust | Nethermind

• ZKMPC: Publicly Auditable MPC for General-purpose Computations | @sheagrief

• Cosmos ZK Voting | Vitwit

Project Updates

• RISC Zero zkVM 1.2: Introducing Application-defined precompiles | RISC Zero

• Succinct Network Whitepaper | Succinct

• The o1Roadmap: Advancing Mina, Furthering ZK, and Solving Web3’s Biggest Problem | o1Labs

• Namada Mainnet Is Live! | Namada

• Kakarot's Next Stop: A Provable Future | Kakarot ZK-EVM

• Joining Tools For Humanity to Build a Better World | Modulus Labs

• The Future of ZK Development Is Here: Announcing the Noir 1.0 Pre-Release | Aztec

• Introducing zkBasename: Elevate Your Privacy on Base with Zero Knowledge Proofs | NovaNet

• Gevulot Firestarter is LIVE | Gevulot

• The Technical Foundations of [Project Untitled] | o1Labs

• Using ZKPs On Solana With the SP1 Solana Verifier | Succinct

• Mina and Ethereum's Future: Convergent Evolution | Psycho Virtual

• ZKsync SSO: Developer Toolkit for Better User Experience | ZKsync

• ZK Accelerate Bangkok: Videos, Photos & Recap | Ingonyama

• ZKsync Roadmap 2025: Web3 Without Compromise | ZKsync

• Open Source Polygon Plonky3 Is Once Again the Fastest ZK Proving System | Polygon

• 2024 in Review | Hylé

• Soulforge Winning projects ($100K Open Source Grants Program for Plonky3/CIRCOM Development) | zkBankai

• Citrea’s Prover: Designed for Bitcoin | Citrea

• Building the World’s Largest ZK Rollup With Mantle | Succinct

• Research Meets Ecosystem: The Applied Cryptography Team Roadmap | o1Labs

• Drumroll Please: Introducing Zashi-Keystone Hardware Wallet Integration for Shielded ZEC | ZCash

• Announcing Valida zkVM 0.7.0 | Lita Foundation

• Introducing OpenVM | OpenVM

• ZK in Sui | ZKV

• Lagrange Introduces the Infinite Proving Layer: Expanding Decentralized Proving to ZK Rollups | Lagrange

• Gevulot Is Now ZkCloud | ZkCloud

• World in Review: 4 Milestones That Defined 2024 | World

Events/Hackathons

• ETHDenver | Denver, US. February 23 - March 2, 2025

• ZKProof 7 | Sofia, Bulgaria. March 23 - 25, 2025

• Real World Crypto | Sofia, Bulgaria. March 26 - 28, 2025

• ETHGlobal Taipei | Taipei, Taiwan. April 4 - 6, 2025

• BUIDL Asia | Seoul, South Korea. April 15 - 16, 2025

• zkSummit 13 | Toronto. May 12, 2025

• ETHGlobal Prague | Prague, Czech Republic. May 30 - June 1, 2025

• ETHCC | Cannes, France. June 30 - July 3, 2025

————

There you have it! Hope you liked this edition of ZK Mesh. 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__!