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

• Cryptobazaar: Private Sealed-bid Auctions at Scale | Andrija Novakovic, Alireza Kavousi, Kobi Gurkan and Philipp Jovanovic

• A Note on Ligero and Logarithmic Randomness | Guillermo Angeris, Alex Evans and Gyumin Roh

• Untangling the Security of Kilian's Protocol: Upper and Lower Bounds | Alessandro Chiesa, Marcel Dall'Agnol, Ziyi Guan, Nicholas Spooner and Eylon Yogev

• Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos | Chengru Zhang, Xiao Yang, David Oswald, Mark Ryan and Philipp Jovanovic

• Compact Proofs of Partial Knowledge for Overlapping CNF Formulae | Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi and Ivan Visconti

• Adaptively Secure Attribute-Based Encryption from Witness Encryption | Brent Waters and Daniel Wichs

• Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable | Martin R. Albrecht and Kamil Doruk Gur

• Marian: An Open Source RISC-V Processor with Zvk Vector Cryptography Extensions | Thomas Szymkowiak, Endrit Isufi and Markku-Juhani Saarinen

• Interactive Line-Point Zero-Knowledge with Sublinear Communication and Linear Computation | Fuchun Lin, Chaoping Xing and Yizhou Yao

• LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK | Carmit Hazay, David Heath, Vladimir Kolesnikov, Muthuramakrishnan Venkitasubramaniam and Yibin Yang

• Code-Based Zero-Knowledge from VOLE-in-the-Head and Their Applications: Simpler, Faster, and Smaller | Ying Ouyang, Deng Tang and Yanhong Xu

• Lego-DLC: Batching Module for Commit-carrying SNARK under Pedersen Engines | Byeongjun Jang, Gweonho Jeong, Hyuktae Kwon, Hyunok Oh and Jihye Kim

• New Techniques for Preimage Sampling: Improved NIZKs and More from LWE | Brent Waters, Hoeteck Wee and David J. Wu

• Cache Timing Leakages in Zero-Knowledge Protocols | Shibam Mukherjee, Christian Rechberger and Markus Schofnegger

• Practical Implementation of Pairing-Based zkSNARK In Bitcoin Script | Federico Barbacovi, Enrique Larraia, Paul Germouty and Wei Zhang

• Rate-1 Zero-Knowledge Proofs From One-way Functions | Noor Athamnah, Eden Florentz – Konopnicki and Ron D. Rothblum

• DUPLEX: Scalable Zero-Knowledge Lookup Arguments Over RSA Group | Semin Han, Geonho Yoon, Hyunok Oh and Jihye Kim

• Overpass Channels: Horizontally Scalable, Privacy-Enhanced, With Independent Verification, Fluid Liquidity, and Robust Censorship Proof, Payments | Brandon "Cryptskii" Ramsay

Articles/Threads

• ZK Hack Montréal Recap | ZK Hack

• The Elegant Foundation: Plonkish Arithmetization | Psycho Virtual

• What Does It Mean To Know? | Samuel Spitz

• Glue and Coprocessor Architectures | Vitalik Buterin

• Hashing It Out: coSNARKs at TACEO | TACEO

• Web Proof, Make More Data Verifiable | @samoyedali

• Ova: A Slightly Better Nova | Benedikt Bünz

• The (Zero-Knowledge Proof) Singularity Is Near | Coindesk

• Turbocharged Zero-Knowledge Proofs for Mobile | Reclaim Protocol

• Introduction to Interactive Proofs and Mina |  | Psycho Virtual

• Cracking Proofs: The Benefits of ZKPs and Fraud Proofs | Lagrange

• Cracking ZK Coprocessors: Scaling Onchain Computation | Lagrange

• The Hitchhiker's Guide to Scaling Bitcoin with STARKs | Omar Espejel

• Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey | Ingonyama

• Data as a New Asset Class | Zap

• (Re)Introducing Kimchi: How the Berkeley Upgrade Transformed Mina's Proof System | o1Labs

• Plonk: A Mathematical Overview of this Proof System | Aligned

• RISC-V ZKVMs: the Good and the Bad | Argument

• Provable Watermark Extraction | Ingonyama

• Fake GLV: You Don't Need an Efficient Endomorphism to Implement GLV-like Scalar Multiplication in SNARK Circuits | Youssef El Housni

• Introduction to Polynomial Commitment Schemes (PCS) | Aligned

• Binius: Surfing on Binary Fields | Taiko

• The Acceleration of zkEVM Prover | Orbiter Finance

Videos/Podcasts

• Episode 338: On Trust Infrastructure with Arnaud Schenk | Zero Knowledge Podcast

• Episode 339: TEEs with Andrew Miller | Zero Knowledge Podcast

• Episode 341: coSNARKs with Ais and Lukas from TACEO | Zero Knowledge Podcast

• ZKVMs vs. ZK Circuits: A Spicy Debate | The Rollup 

• Project Spotlight Episode 2: Social Connection | Privacy & Scaling Explorations

• Summer '24 Research Seminars | a16z crypto 

Guides and Resources

• Knot Group Wiki on Programmable Cryptography and Advanced Decentralisation Technologies for Novel, Emergent Applications | Knot Group

• Notes on Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT | Leku

• Succinct Bootcamp Notes | @YourBuddyConner

• zkTLS Canon | Reclaim Protocol

• zkEVM Audit Education Sessions Resources | Scroll

• Introduction to Various ZK Languages | Lauri Peltonen

• Univariate Polynomial | @codeWhizperer

• Note on Mersenne 31 Polynomial Arithmetic | Ingonyama

Vulnerabilities/Disclosures

• EUCLEAK Side-Channel Attack on Infineon Security Microcontrollers (inc e-passports, YubiKey 5 Series) | NinjaLab

• Two Vulnerabilities in gnark's Groth16 Proofs | Zellic

• Aave v3 ZKSync Activation Issue Report | Aave

• Overcoming Security Risks in zkSharding | =nil; Foundation

Tools/Implementations

• Hyper-Greco: Verifiable FHE with GKR | @timoethey

• A JSON Parsing Library for the Noir Language | Aztec

• A Challenge on the Jolt zkVM | zkSecurity

Project Updates

• Introducing Boundless: The Verifiable Compute Layer | RISC Zero

• Aleo Mainnet is Here | Aleo

• A New Era for PSE | PSE

• Unveiling Fermah | Fermah

• zkEVM Formal Verification Project | Ethereum Foundation

• Fabric and Polygon Labs Collaborate to Accelerate the AggLayer | Fabric x Polygon

• Lurk 0.5 Benchmarks | Argument

• State of the Proving Infrastructure Landscape - 2024Q2 | Gevulot

• What’s New in o1js (Summer 2024) | o1Labs

• Polygon Miden Alpha Testnet v4 is Live | Polygon Miden

• Announcing the OpenPassport Playground | OpenPassport

• zkDL++ | Ingonyama

• An Introduction to Delayed Proving | Hylé

• Enshrining Offchain Compute | InfinityVM 

• Renegade, the First On-chain Dark Pool, Is Live on Arbitrum | Renegade

• ICICLE V3 | Ingonyama

• Introducing OP Succinct: Full Validity Proving on the OP Stack | Succinct

• Summary of the Design Choices Made for Valida | Lita

• Aligned Roadmap (Q3-Q4, 2024) | Aligned

• Soulforge; $100k Dedicated To The Soul Society Of Plonky3/Circom Development Supported By Polygon | zkBankai

• Zero-Knowledge Proof-of-Work (zkPow) | Zorp

• From Integration to Verification: Completing the First Steps in ZKsync’s Prover Network | zkSync

• Browser WASM Game Equipped with ZKWASM | Delphinus Labs

• Avail's Unification Component: Nexus | Avail

• Succinct Overview of the Risc(s) Kakarot Will Face | Kakarot zkEVM

• Designing High-performance zkVMs | RISC Zero

• Building Together > Building Alone: Meet the AggLayer’s Core Contributors | Polygon

• Lagrange: Our Thesis | Daedalus

• Request for Grant Proposals: Wallets | Aztec

• Unveiling Our ZK-Light Clients for Ethereum and Aptos | Argument

Events/Hackathons

• Builder Monastery ZuVillage | Ericeira, Portugal. September 16 - October 7

• Ârc & Builder Monastery Hackathon | Lisbon, Portugal. October 2 - 4

• zkSummit12 | Lisbon, Portugal. October 8 

• zkSummit Side Events (feat. ZK Hack Meetup) | Lisbon, Portugal. October 9 - 10

• ETHGlobal San Francisco | San Francisco, US. October 18 - 20

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

• ZK Hack Meetup #7 | 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__!