zkMesh: Apr 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!
** ZK Hack Kraków is happening May 17 - 19 (APPLY TO JOIN US)**
Research
On Proving Pairings by Andrija Novakovic and Liam Eagen
Polylogarithmic Proofs for Multilinears over Binary Towers by Benjamin E. Diamond and Jim Posen
Trustless Audits without Revealing Data or Models by Suppakit Waiwitlikhit, Ion Stoica, Yi Sun, Tatsunori Hashimoto and Daniel Kang
Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation by Enrico Bottazzi
A Time-Space Tradeoff for the Sumcheck Prover by Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi and Andrew Zitek-Estrada
Mechanism Design for ZK-Rollup Prover Markets by Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch and Benjamin Livshits
Vision Mark-32: ZK-Friendly Hash Function Over Binary Tower Fields by Tomer Ashur, Mohammad Mahzoun, Jim Posen and Danilo Šijačić
Proofs for Deep Thought: Accumulation for large memories and deterministic computations by Benedikt Bünz and Jessica Chen
Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs by Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic and Sebastian Steinhorst
The Last Challenge Attack: Exploiting a Vulnerable Implementation of the Fiat-Shamir Transform in a KZG-based SNARK by Oana Ciobotaru, Maxim Peter and Vesselin Velichkov
Families of prime-order endomorphism-equipped embedded curves on pairing-friendly curves by Antonio Sanso and Youssef El Housni
Large-Scale Private Set Intersection in the Client-Server Setting by Yunqing Sun, Jonathan Katz, Mariana Raykova, Phillipp Schoppmann and Xiao Wang
Split Gröbner Bases for Satisfiability Modulo Finite Fields by Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark Barrett and Işil Dillig
Optimizing and Implementing Fischlin's Transform for UC-Secure Zero-Knowledge by Yi-Hsiu Chen and Yehuda Lindell
Zero-Knowledge Proof Vulnerability Analysis and Security Auditing by Xueyan Tang, Lingzhi Shi, Xun Wang, Kyle Charbonnet, Shixiang Tang and Shixiao Sun
On the Power of Interactive Proofs for Learning by Tom Gur, Mohammad Mahdi Jahanara, Mohammad Mahdi Khodabandeh, Ninad Rajgopal, Bahar Salamatian and Igor Shinkar
Articles/Threads
What If… Verifying the Execution of Pairings Inside SNARKs Can Be Done Much Faster Than Already Known? | @__geometrydev__
Accelerating Polygon zkEVM | Irreducible (formerly Ulvetanna)
As Scroll Gets More Popular, Here's a Closer Look at the Data | The Block
The 4 Features of a zkVM: How to Choose your ZK Toolkit | Paul Gafni
The Cost of Composition: An Exploration in the State of the Art for Foreign Field Arithmetic in Zero Knowledge Proofs | Wyatt Benno
A Note on the Elliptic Curve Pairing Checks in Zero-Knowledge Proofs | David Wong
The 4 Features of a zkVM: How to Choose your ZK Toolkit | RISC Zero
Zero-knowledge Proofs of Identity Using Electronic Passports | Ethereum Research Forum
Introducing ZKAudit — Trustless Audits of ML with ZKML | Daniel Kang
Zero Knowledge Summit (zkSummit) 2024: Field Notes | a16z Crypto
New ZKP Bridge Paper for Ethereum Full Node | Ethereum Research Forum
A Journey into Zero-Knowledge Proofs | David Wong
Binius: Highly Efficient Proofs Over Binary Fields | Vitalik Buterin
Videos/Podcasts
Full playlist of zkSummit11 videos are here
How to Minimize Foreign Arithmetic in ZKP Circuits (Michele Orrù: French NCSR) | zkStudy Club
Circle STARKs | Ulrich Habock
Episode 318: Threshold Signature Schemes & FROST with Chelsea Komlo | Zero Knowledge Podcast
Episode 319: The Past & Present of the L2 Landscape with Jordi Baylina | Zero Knowledge Podcast
Episode 321: STIR with Gal Arnon & Giacomo Fenzi | Zero Knowledge Podcast
ZPrize 2023 Winners Announcement | ZPrize
Guides and Resources
MoonMath Study Group by ZK Hack | ZK Hack
MACI-RPGF Demo | MACI
Sharded Storage | ZeroPool
Simple Examples of Proofs Integration to Get Started with Lurk | Lurk Labs
Vulnerabilities/Disclosures
Hamburger Factory Validity | @xuwinniexu
Public Report of Lighter ZK circuits | zkSecurity
Overflow Vulnerability in Polygon's zkEVM Storage machine | @georgwiese (Georg Wiese)
Tools/Implementations
An EVM Verifier for the HONK | @Maddiaa0
KZG Commitment in Rust | @kaijuneer
Proof of Passport Protocol Using zk-SNARKs | zk-passport
Project Updates
Launching Pratham: A New Era of Digital Media Authenticity | @0xmayalabs
A New Era in SNARK Design: Releasing Jolt | Justin Thaler
zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model | @illyaGera (Illya Gerasymchuk)
Becoming Irreducible | Irreducible
PVDE and SKDE: Two Options for Delay Encryption (DE) | Radius
Penumbra's Summoning Ceremony Continues | Penumbra
A Deep Dive into Custom Prover Sets | Gevulot
Empowering DeFi with Affordable ZKP: The Brevis-NEBRA Collaboration | Nebra x Brevis
Partnership Announcement: Aligned X Ingonyama | Ingonyama
How to Leverage RISC Zero's zkVM to Scale Bitcoin | RISC Zero
Faster Client-Side Proving with Parallelism | Penumbra
TFHE-rs v0.6: Zero-Knowledge Support and Signed Integer Operations on GPU | Zama
Deep-dive into the Latest MSM Hardware Implementation | Ingonyama
Mina Protocol to Integrate Celestia’s Modular Data Availability Layer | Mina Protocol
Events/Hackathons
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
ETHPrague | Prague, Czech Republic. May 31 - June 2
EthCC | | Brussels, Belgium. July 8 - 11
ETHGlobal Brussels | Brussels, Belgium. July 12 - 14
ZK Hack Montréal | Montréal, Canada. Aug 9 - 11 (SAVE THE DATE)
ETHWarsaw | Warsaw, Poland. September 5 - 8
ETHGlobal Singapore | Singapore. September 20 - 22
zkSummit12 | Lisbon, Portugal. Oct 8 (SAVE THE DATE)
ETHGlobal San Francisco | San Francisco, US. October 18 - 20
DevCon | Bangkok, Thailand. November 12 - 15
ETHGlobal Bangkok | Bangkok, Thailand. November 15 - 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__!