ZK Mesh: February 2025 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

• LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems | Dan Boneh and Binyi Chen

• Neo: Lattice-based Folding Scheme for CCS Over Small Fields and Pay-per-bit Commitments | Wilson Nguyen and Srinath Setty

• Towards a White-Box Secure Fiat-Shamir Transformation | Gal Arnon and Eylon Yogev

• DFS: Delegation-friendly zkSNARK and Private Delegation of Provers | Yuncong Hu, Pratyush Mishra, Xiao Wang, Jie Xie, Kang Yang, Yu Yu and Yuwen Zhang

• Context-Dependent Threshold Decryption and Its Applications | Dan Boneh, Benedikt Bünz, Kartik Nayak, Lior Rotem and Victor Shoup

• Homomorphic Encryption for Large Integers From Nested Residue Number Systems | Dan Boneh and Jaehyung Kim

• Traceable Verifiable Random Functions | Dan Boneh, Aditi Partap and Lior Rotem

• Zinc: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers | Albert Garreta, Hendrik Waldner, Katerina Hristova and Luca Dall'Ava

• On the Power of Polynomial Preprocessing: Proving Computations In Sublinear Time, and More | Matteo Campanelli, Mario Carrillo, Ignacio Cascudo, Dario Fiore, Danilo Francati and Rosario Gennaro

• FHE-SNARK Vs. SNARK-FHE: From Analysis to Practical Verifiable Computation | Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng and Xianhui Lu

• How to Share an NP Statement or Combiners for Zero-Knowledge Proofs | Benny Applebaum and Eliran Kachlon

• HasteBoots: Proving FHE Bootstrapping In Seconds | Fengrun Liu, Haofei Liang, Tianyu Zhang, Yuncong Hu, Xiang Xie, Haisheng Tan and Yu Yu

• Leap: A Fast, Lattice-based OPRF With Application to Private Set Intersection | Lena Heimberger, Daniel Kales, Riccardo Lolato, Omid Mir, Sebastian Ramacher and Christian Rechberger

Articles/Threads

• ZKWS S2, the Full Journey | ZK Hack

• Understanding the Math Behind ZKPs | @oskarth

• Balancing Performance and Security in zkVM Benchmarking | Burning Bridges

• Projects That Shaped Modern zkVMs — Part 1 | zkSecurity

• What Does It Take to Prove a ZK-L2? | ZkCloud

• The ZK Endgame: Rollup Interoperability for Ethereum | Conduit

• Verifiable Multi-Exponentiation and Multi-Scalar Multiplication (MSM) | Decentralized Thoughts

• Retrospective: Summa | Privacy and Scaling Explorations (PSE)

• Latticefold and Lattice-based Operations Performance Report | Nethermind

• Privacy-focused Layer 2s Will Transform Ethereum's Enterprise Future | Cryptoslate

• If A 'ZK'-Prover Network Asks For Your Data. Don’t Give It to Them. | ICME

• Multiparty Notaries for zkTLS | TACEO

• Why and How TikTok Is Using ZK | ZKV

• zkTLS and the Future of Onchain Entertainment | Sophon

• You Should Not Build Tornado Cash with FHE | Leku

• Towards Formal Verification of the First RISC-V zkVM | Nethermind

• Merkle Mountain Ranges for Performant Data Authentication | commonware

• Lattice-Based Proof Systems | Privacy and Scaling Explorations (PSE)

• Opening the Door to Crypto with zkTLS | Sophon

• Performant Client-side Proving Thread | DCBuilder (@DCbuild3r)

Videos/Podcasts

• Back to the Future with Zero Knowledge | Zero Knowledge Podcast

• Taking ZK IRL with Cursive | Zero Knowledge Podcast

• ZODA & The Accidental Computer | Zero Knowledge Podcast

• ZK in Solana with Mert Mumtaz | Zero Knowledge Podcast

• Proof is in the Pudding: How To Prove False Statements | Archetype x zkSecurity

Guides and Resources

• zkBugs | zkSecurity

• Publicly Verifiable & Private Collaborative ML Model Training | Hashcloak

• SoK: Understanding zk-SNARKs: The Gap Between Research and Practice | Junkai Liang, Daqi Hu, Pengfei Wu, Yunbo Yang, Qingni Shen and Zhonghai Wu

• Jolt & Lasso: for Newbies (Notes) | backdoor (@backdoor607)

Vulnerabilities/Disclosures

• Highlights From the Veridise O1js V1 Audit: Three Zero-knowledge Security Bugs Explained | Veridise

• Responsible Disclosure: A Potential Sequencer-prover Inconsistency In the Cairo VM | Lambda Class

• Uncovering and Fixing an Inflation Bug in Aleo | zkSecurity

• Fuzzer Found Soundness Bug in Noir | Valentin Wüstholz (@vwuestholz)

Tools/Implementations

• Zirgen CIrcuits Compiler and RISC Zero Circuits | RISC Zero

• Adding an Anonymity Revoker to Tornado Cash: Implementation | NP Labs

• A Witness Encryption Construction over KZG-Committed Data | Vlad (@Vladfdp)

• Introduction to Programmable Cryptography Workbook | Flying Nobita (@FlyingNobita)

• zkVMs Benchmark | Yet Another Company

• Rust Implementation of the FRI Polynomial Commitment Scheme | Kai Jun Eer (@kaijuneer)

Project Updates

• Introducing ZKP2P v2 | ZKP2P

• Who Verifies the (zk) Verifier? Nethermind! | Nethermind

• Introducing Pluto | Pluto

• Major Development Upgrade for a Multistack Future: Pessimistic Proofs Live On Agglayer Mainnet | Polygon

• January 2025 @ Hylé | Hylé

• [Project Untitled]: First Look of the Whitepaper | o1Labs

• Introducing ICICLE-Stwo: A GPU-Accelerated Stwo Prover | Ingonyama

• Introducing Mina’s zkML Library: Developer Guide to Verifiable, Privacy-Preserving AI Inference | Mina

• Citrea's BitVM-Based Bitcoin Bridge - Clementine's Latest Design | Citrea

• Collaborative Snarks with EZKL | EZKL

• The Succinct Prover Network Testnet Is Live | Succinct

• Introducing Pico: A Modular and Performant zkVM | Brevis

• Union Chain to Launch a ZK Chain | ZKsync

• Announcing the Nexus Layer 1 | Nexus

• Introducing Scroll Security Council | Scroll

• Self Protocol, a Sybil-Resistant Identity Primitive for Real People Launches Following Acquisition of Leading ZK-Project OpenPassport | Celo

• Privacy on Starknet Pt. 2 | Private Computation & Pokémon (Stwokémon) | teddy (@franklyteddy)

• Namada’s Mainnet Rollout | Namada

• Introducing bugs.zksecurity.xyz: A Knowledge Base for ZK Bugs | zkSecurity

• Aztec Foundation Launches to Accelerate Vision of Programmable Privacy | Aztec

• ICICLE V3.5: Sumcheck With Lambda Functions | Ingonyama

• Bringing Zero-Knowledge Proofs to Mobile: EZKL and Inference Labs Partner on Subnet 2 | EZKL

• Tales From the ZK Residency: Herodotus Builds a Coprocessor With SP1 | Succinct

• Mastering O1js On Mina: Four Key Strategies for Secure Development | Veridise

• Introducing OP Succinct Lite: ZK Fraud Proofs On the OP Stack | Succinct

• The Master Plan | Proofbase

Events/Hackathons

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

• ZK Hack Meetup #10 | Sofia, Bulgaria. March 26, 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

• Invisible Garden | Costa Rica. April 21 - May 31, 2025

• zkSummit13 | Toronto. May 12, 2025

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

• DappCon 25 | Berlin, Germany. June 16 - 18, 2025

• ZK Hack Berlin | Berlin, Germany. June 20 - 22, 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__!