zkMesh: October 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 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

• WHIR: Reed-Solomon Proximity Testing With Super-Fast Verification | Gal Arnon, Alessandro Chiesa, Giacomo Fenzi and Eylon Yogev

• Arc: Accumulation for Reed-Solomon Codes | Benedikt Bünz, Pratyush Mishra, Wilson Nguyen and William Wang

• NeutronNova: Folding Everything That Reduces to Zero-check | Abhiram Kothapalli and Srinath Setty

• Nebula: Efficient Read-write Memory and Switchboard Circuits for Folding Schemes | Arasu Arun and Srinath Setty

• Blaze: Fast SNARKs From Interleaved RAA Codes | Martijn Brehm, Binyi Chen, Ben Fisch, Nicolas Resch, Ron D. Rothblum and Hadas Zeilberger

• FLI: Folding Lookup Instances | Albert Garreta and Ignacio Manzur

• Instance Compression, Revisited | Gal Arnon, Shany Ben-David and Eylon Yogev

• One-Shot Native Proofs of Non-Native Operations In Incrementally Verifiable Computations | Tohru Kohrita, Patrick Towa and Zachary J. Williamson

• Pricing Factors and TFMs for Scalability-Focused ZK-Rollups | Stefanos Chaliasos, Nicolas Mohnblatt, Assimakis Kattis and Benjamin Livshits

• Basefold In the List Decoding Regime | Ulrich Haböck

• DART: Distributed Argument of Knowledge for Rough Terrains | Steve Thakur

• Dynamic zk-SNARKs | Weijie Wang, Charalampos Papamanthou, Shravan Srinivasan and Dimitrios Papadopoulos

• SNARKs for Virtual Machines Are Non-Malleable | Matteo Campanelli, Antonio Faonio and Luigi Russo

• Verifiable Value Added Tax | Victor Sint Nicolaas and Sascha Jafari

• Fully-Succinct Arguments Over the Integers From First Principles | Matteo Campanelli and Mathias Hall-Andersen

• STARK-based Signatures From the RPO Permutation | Shahla Atapoor, Cyprien Delpech de Saint Guilhem and Al Kindi

• Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees | Christodoulos Pappas and Dimitrios Papadopoulos

• Really Complex Codes With Application to STARKs | Yuval Domb

• Lollipops of Pairing-friendly Elliptic Curves for Composition of Proof Systems | Craig Costello and Gaurish Korpal

• DeepFold: Efficient Multilinear Polynomial Commitment From Reed-Solomon Code and Its Application to Zero-knowledge Proofs | Yanpei Guo, Xuanming Liu, Kexi Huang, Wenjie Qu, Tianyang Tao and Jiaheng Zhang

• Curve Forests: Transparent Zero-Knowledge Set Membership With Batching and Strong Security | Matteo Campanelli, Mathias Hall-Andersen and Simon Holmgaard Kamp

• zkFFT: Extending Halo2 With Vector Commitments & More | Aram Jivanyan, Gohar Hovhannisyan, Hayk Hovhannisyan and Nerses Asaturyan

• Blind zkSNARKs for Private Proof Delegation and Verifiable Computation Over Encrypted Data | Mariana Gama, Emad Heydari Beni, Jiayi Kang, Jannik Spiessens and Frederik Vercauteren

• Robust Double Auctions for Resource Allocation | Arthur Lazzaretti, Charalampos Papamanthou and Ismael Hishon-Rezaizadeh

• Batch Range Proof: How to Make Threshold ECDSA More Efficient | Guofeng Tang, Shuai Han, Li Lin, Changzheng Wei and Ying Yan

• Embedded Curves and Embedded Families for SNARK-Friendly Curves | Aurore Guillevic and Simon Masson

• DEEP Commitments and Their Applications | Alan Szepieniec

Articles/Threads

• Possible Futures of the Ethereum Protocol, Part 4: The Verge | Vitalik Buterin

• The War on Passwords Is One Step Closer to Being Over | Wired

• Ethereum’s Identity Crisis: Privacy Tech To Unlock Adoption | Fatemeh Fannizadeh

• zkVM Testing Report: Evaluating Zero-Knowledge Virtual Machines for Nescience | Vac Research

• On Distributed FRI-based Proof Generation | =nil;

• WE-KZG: Encrypt to KZG | zkSecurity

• Cracking ZK Coprocessors: Scaling Onchain Computation | Lagrange

• Introducing ZKstats.io | Standard Crypto

• Web Proofs for Web3 Applications | vlayer

• Exploring ZK Frameworks: Mastermind Game In 5 Different ZK Languages | Veridise

• Mina’s Decentralization Approach | Lauri Peltonen

• Insights from zkSummit 12: Advancements, Challenges, and the Future of ZK | o1Labs

• Cryptography and Sovereignty | Psycho Virtual

• Vac 101: Transforming an Interactive Protocol to a Noninteractive Argument | Vac Research

• World's First ZK-Backed Digital Identity Launched In Buenos Aires for 3.6M Eligible Citizens | ZKsync

• Proposal for Development of a "Universal Verifier" | Adrian Hamelink

• Accumulated Test Vectors | Filippo Valsorda

• Naysaying Ligero and Brakedown proofs | NP Labs

Videos/Podcasts

• ZK Whiteboard Sessions Season 2 | ZK Hack

• ZK12 Recordings | zkSummit

• Episode 342: Catch-up with Zac and Ariel | Zero Knowledge Podcast

• STIR (and WHIR), Proximity Testing and Constraint Testing | Giacomo Fenzi

• ZK Hack Meetup Videos | ZK Hack

• zkLogin: Onboarding the Next Billion Users to Web3 | Deepak Maram

Guides and Resources

• zkintro | oskarth

• Deep Dive Into Circle STARKs FFT | Ignacio Hagopian

• Down the Rabbit-Hole: The Low-Degree Test | Psycho Virtual

• Low Degree Extension for IQ < 200 | Lauri Peltonen

Vulnerabilities/Disclosures

• fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup | Polygon

Tools/Implementations

• WHIR Implementation | Giacomo Fenzi, Michele Orrù and Remco Bloemen

• Tutorial 2 – How to Develop a Web Application Using Zkwasm | Delphinus Labs

• Building Blocks of a Circle STARK Verifier in Bitcoin Script | Bitcoin Wildlife Sanctuary

Project Updates

• Binary Tower Fields Are The Future of Verifiable Computing | Irreducible

• Aleo’s Record Model: Building a more secure, efficient blockchain | Aleo

• powdr labs, The Beginning | powdr labs

• AnonKlub: Reflections on Our Journey in Privacy-Preserving Solutions | PSE

• Conduit Launches OP Succinct: A Giant Leap for ZK | Succinct

• Secure Union’s Proving System – Participate In the Trusted Setup Ceremony | Union

• Introducing Zksafe: A Privacy Tool for Safe Signers | 1kx

• I'm Departing ECC, But It's Going To Be Fine! | Electric Coin Company

• A Guide to Selecting the Right Data Availability Layer | Avail

• My Retrospective on Personae | lsankar.eth

• Hylé Joins the Zkboost Consortium | Hylé

• domains.zkp2p.xyz: Trade Domain Names Using zkTLS and zkEmail | ZKP2P

• Gevulot Joins ZKsync’s Prover Decentralization Initiative | Gevulot

• Introducing Steel 1.0 | RISC Zero

• Circom 2.2.0 is Just Released and "Buses" Are Here! | Albert Rubio

• Road to Mainnet | Aztec

• Succinct Ships: Optimized bn254 & bls12-381 Precompiles In SP1 | Succinct

• Masamune: The Smart Contract Security Search Tool | Zellic

• Nexus Launches World’s First Open Prover Network | Nexus

• We’re Excited to Unveil o1js-blobstream | Geometry Research

• Folding-Schemes Team Updates Oct 2024 | 0xPARC

• Introducing xOS: The Provable Exchange | Hashflow

• How Zero-knowledge Powers The Future of Blockchain Wallets | Aleo

• On Blockchains | Hylé

• Enhancing Security By Moving an IV to a Public Input | Reclaim Protocol

• A First Look at Collaborative Noir | TACEO

• Learnings From Aztec’s Proving Contest | Gevulot

• Why You Should Pay Attention to RC-STARKs | Ingonyama

• ZK Identity Registry | Rarimo

• Public vs. Private State: Aleo’s Innovative Solution to Blockchain Data Storage | Aleo

• Cysic Enhances Scroll’s ZK Rollup Efficiency with Advanced Hardware Integration | Cysic

• MPC's Role In Advancing World ID Privacy Features | TACEO

• Introducing ZK-SXG: Verifiable Web Proofs using Signed HTTP Exchanges (SXG) | Crema Labs

• Introducing Valida zkVM Rust Alpha Compiler | Lita

• Introducing Scroll’s First Airdrop: A Celebration of the Global Community | Scroll

• Taiko Mainnet Upgrade and Ontake Hardfork | Taiko

• MinaCon and Beyond | Pallad

• Accelerating Ethereum's Verge: Harnessing GPU Power for Zero-Knowledge Proofs | Polyhedra

• Zero-knowledge Machine Learning on the Mina Protocol | Mina

• Introducing DARA: A New Design for ZK Prover Networks | Lagrange

• powdrVM: A Multi-Prover, Future-Proof zkVM | powdr

Events/Hackathons

• Invisible Garden | Chiang Mai, Thailand. September 30 - November 10

• Aggregation Summit | Bangkok, Thailand. November 10 - 11

• ZK Accelerate | Bangkok, Thailand. November 11

• ZK Connect | Bangkok, Thailand. November 11

• ZK Hack Meetup #8 | Bangkok, Thailand. November 11

• DevCon | Bangkok, Thailand. November 12 - 15

• ETHGlobal Bangkok | Bangkok, Thailand. November 15 - 17

• ZK Hack V | Online. November 26 - December 17

————

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__!