zkMesh: August 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
Mova: Nova Folding Without Committing To Error Terms by Nikolaos Dimitriou, Albert Garreta, Ignacio Manzur and Ilia Vlasov
Stackproofs: Private Proofs of Stack and Contract Execution Using Protogalaxy by Liam Eagen, Ariel Gabizon, Marek Sefranek, Patrick Towa and Zachary J. Williamson
Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments by Michel Dellepere, Pratyush Mishra and Alireza Shirzad
zk-Promises: Making Zero-Knowledge Objects Accept the Call for Banning and Reputation by Maurice Shih, Michael Rosenberg, Hari Kailad and Ian Miers
Improved Polynomial Division in Cryptography by Kostas Kryptos Chalkias, Charanjit Jutla, Jonas Lindstrom, Varun Madathil and Arnab Roy
Proximity Gaps in Interleaved Codes by Benjamin E. Diamond and Angus Gruen
HyperPianist: Pianist with Linear-Time Prover via Fully Distributed HyperPlonk by Chongrong Li, Yun Li, Pengfei Zhu, Wenjie Qu and Jiaheng Zhang
Succinct Non-Subsequence Arguments by San Ling, Khai Hanh Tang, Khu Vu, Huaxiong Wang and Yingfei Yan
Non-Interactive Zero-Knowledge from LPN and MQ by Quang Dao, Aayush Jain and Zhengzhong Jin
Safe Curves for Elliptic-curve Cryptography by Daniel J. Bernstein and Tanja Lange
Efficient Zero-Knowledge Arguments for Paillier Cryptosystem by Borui GONG, Wang Fat Lau, Man Ho Au, Rupeng Yang, Haiyang Xue and Lichun Li
Greyhound: Fast Polynomial Commitments from Lattices by Ngoc Khanh Nguyen and Gregor Seiler
Simulation Security in the Random Oracle Model by Jérémi Do Dinh
MAESTRO: Multi-party AES using Lookup Tables by Hiraku Morita, Erik Pohle, Kunihiko Sadakane, Peter Scholl, Kazunari Tozawa and Daniel Tschudi
A Survey on the Applications of Zero-Knowledge Proofs by Ryan Lavin, Xuekai Liu, Hardhik Mohanty, Logan Norman, Giovanni Zaarour and Bhaskar Krishnamachari
Articles/Threads
ZK Hack Montréal Recap | ZK Hack
"zkTLS" is a misnomer | Nico Mohnblatt
Crypto’s AirTag Moment: Unlocking Mass Adoption with Web Proofs | Dan Elitzer & Peter Shoemaker (Nascent)
NIST Releases First 3 Finalized Post-Quantum Encryption Standards | NIST
Jolt R1CS - How + why we rewrote Circom in Rust 🦀 | Sam Ragsdale
Programmable Cryptography (Part 1) | gubsheep (0xPARC)
What Is A Provable App? | Hylé
How We Implemented The BN254 Ate Pairing in Lambdaworks | LambdaClass
Introducing the ZK Market Map | @garythung
Advanced Formal Verification of ZKP: How ZK Memory Was Proven | CertiK
Yet Another Circle STARK Tutorial | Timofey Yaluhin (Chainsafe)
ShardDAG: Ordering and Exploitation in Sharded Blockchains | =nil; Foundation
Accelerating Client-Side Cryptography with WebGPU | Penumbra
Programming ZKPs - From Zero to Hero | oskarth
Videos/Podcasts
SBC'24 Recordings
ZK Hack Montréal Playlist | ZK Hack
Episode 334: ZK Research Update with Joe Bonneau | Zero Knowledge Podcast
Episode 335: Groth16, IVC and Formal Verification with Nexus | Zero Knowledge Podcast
Episode 336: ZK in Celestia with Connor O’Hara | Zero Knowledge Podcast
Guides and Resources
Bulletproofs: a Crypto Gunfight at the OK Corral | rafal0x and Emanuele Ragnoli
ZK Session Keys | Microchain Protocol
Exploring Leo: A Primer on Aleo Program Security | zkSecurity
SuperSpartan by Hand | Alberto Centelles (Anoma)
HyperNova by Hand | Alberto Centelles (Anoma)
Do All Roads Lead to MPC? | Hannes (Equilibrium)
Vulnerabilities/Disclosures
Breaking Down the Intel SGX (TEE) Breach | Pratyush Ranjan Tiwari
Update on Intel SGX (TEE) Breach: Clarifications and Mitigations | Pratyush Ranjan Tiwari
Intel SGX Key Disclosure Claim | Intel
Tools/Implementations
RISC Zero Solana Groth16 Verifier | RISC Zero
Broth16: A Toy Implementation of Groth16 | @kevincharm
Privacy-preserving KYC | Tisura
Project Updates
Datasheet - Estimating The Total Time and Work Required For Proving zkVM Applications | RISC Zero
Tonk Introduces Speakeasy | Tonk
Open Source the fastest Universal Proof Aggregation Engine | Nebra
SP1 is live | Succinct
Devnet Goes Live: Introducing Alpha Build with $100K in Prizes | Aztec
An Observatory Fork of SP1 | Argument Computer Corporation
What Does A ZK Verification Layer Do? | Aligned
noname 2.0: Unlocking Numeric Generics, Folding Schemes, and a Playground | zkSecurity
How ZKP2P’s Secondary Ticket Marketplace Is Powered By TLSProxy | ZKP2P
Speed Matters: The Case for Sending Risc0 zkVM Proofs Directly to zkVerify | zkVerify
Renowned Cryptographer and Coauthor of PLONK, Ariel Gabizon Rejoins Aztec Labs as Chief Scientist | Aztec
RISC Zero Is Now Fully Open Source | RISC Zero
Talk On Passport ZKPs Covering Almost Everything Built On Rarimo This Year | Rarimo
Provably V1 Alpha is Here | Provably
Introducing Proof of Clean Hands | Zeronym
How We Created A Research Fast VM for ZKsync | LambdaClass
Events/Hackathons
ETHWarsaw | Warsaw, Poland. September 5 - 8
ETHGlobal Singapore | Singapore. September 20 - 22
Builder Monastery ZuVillage | Ericeira, Portugal. September 16 - October 7
zkSummit12 | Lisbon, Portugal. October 8
ETHGlobal San Francisco | San Francisco, US. October 18 - 20
Invisible Garden | Chiang Mai, Thailand. September 30 - November 10
DevCon | Bangkok, Thailand. November 12 - 15
ETHGlobal Bangkok | Bangkok, Thailand. November 15 - 17
ZK Hack V | Online. Fall 2024 (more info soon!)
————
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__!