zkMesh: November 2022 recap
Welcome to zkMesh, a monthly newsletter covering the latest in decentralized privacy-enhancing technologies, privacy protocol development, and zero knowledge systems research.
zkMesh is produced by the ZK Hack and includes links to research, useful articles, videos, podcasts, tweets, tools, project updates, and events. Expect a new edition at the beginning of every month and be sure to share and subscribe!
** Join the next workshops at ZK HACK III! **
Research
Witness Encryption for Succinct Functional Commitments and Applications by Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin by Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath
Algorithm-Substitution Attacks on Cryptographic Puzzles by Pratyush Ranjan Tiwari, Matthew Green
The Power of the Differentially Oblivious Shuffle in Distributed Privacy Mechanisms by Mingxun Zhou, Elaine Shi
Succinct Vector, Polynomial, and Functional Commitments from Lattices by Hoeteck Wee, David J. Wu
Efficient Asymmetric Threshold ECDSA for MPC-based Cold Storage by Constantin Blokh, Nikolaos Makriyannis, Udi Peled
The inspection model for zero-knowledge proofs and efficient Zerocash with secp256k1 keys by Huachuang Sun, Haifeng Sun, Kevin Singh, Akhil Sai Peddireddy, Harshad Patil, Jianwei Liu, Weikeng Chen
Linear-map Vector Commitments and their Practical Applications by Matteo Campanelli, Anca Nitulescu, Carla Ràfols, Alexandros Zacharakis, Arantxa Zapico
An efficient verifiable state for zk-EVM and beyond from the Anemoi hash function by Jianwei Liu, Harshad Patil, Akhil Sai Peddireddy, Kevin Singh, Haifeng Sun, Huachuang Sun, Weikeng Chen
The Key Lattice Framework for Concurrent Group Messaging by Kelong Cong, Karim Eldefrawy,Nigel P. Smart, Ben Terner
Simulation-Extractable zk-SNARK with a Single Verification by Jihye Kim, Jiwon Lee, Hyunok Oh
Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams by Dario Fiore, Ida Tucker
Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves (ECFFT part II) by Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit
flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size by Ariel Gabizon, Dmitry Khovratovich
New Dolev-Reischuk Lower Bounds Meet Blockchain Eclipse Attacks by Ittai Abraham, Gilad Stern
Baloo: Nearly Optimal Lookup Arguments by Arantxa Zapico, Ariel Gabizon, Dmitry Khovratovich, Mary Maller, Carla Ràfols
Truncator: Time-space Tradeoff of Cryptographic Primitives by Foteini Baldimtsi, Konstantinos Chalkias, Panagiotis Chatzigiannis, Mahimna Kelkar
Compact, Efficient and UC-Secure Isogeny-Based Oblivious Transfer by Yi-Fu Lai, Steven D. Galbraith, Cyprien Delpech de Saint Guilhem
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators by Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
Accountable Threshold Signatures with Proactive Refresh by Dan Boneh, Aditi Partap, Lior Rotem
Threshold Signatures with Private Accountability by Dan Boneh, Chelsea Komlo
Non-Interactive Publicly-Verifiable Delegation of Committed Programs by Riddhi Ghosal, Amit Sahai, Brent Waters
CycloneNTT: An NTT/FFT Architecture Using Quasi-Streaming of Large Datasets on DDR- and HBM-based FPGA Platforms by Kaveh Aasaraai, Emanuele Cesena, Rahul Maganti, Nicolas Stalder, Javier Varela, Kevin Bowers
Articles
Secret Network Crypto Transactions Not So Secret After All | Blockworks
Incrementally verifiable computation: Nova | Entropy1729
Having a safe CEX: proof of solvency and beyond | Vitalik.ca
Constructing ZK SNARK Circuits | jtriley.eth
Cross-chain Future | Delendum Research | Iso Lab
Decentralization of ZK Rollups | Delendum Research | Ibrahim Yusufali
Part I: What to build next in Zero Knowledge? | Delendum Research
How to transform code into arithmetic circuits | Entropy1729
Binance releases proof-of-reserves system, starting with bitcoin | The Block | Tim Copeland
What Will It Look Like When Taxation and Privacy Collide? | Coindesk | Matthew Niemerg
Uniswap Updates Privacy Policy: Will Track User Data for Optimization | Tokenist | Tim Fries
Videos/Podcast
ZK Whiteboard Sessions: Module Sixteen: Multi-Asset Shielded Pools & Module Fifteen: Inner Product Argument in Halo 2 with Ying Tong
Delendum: aPlonk and Ferveo with Miguel and Mac
RISC Zero Study Club Reed Solomon Codes
ZKProofs: Linear-Time SNARKs for R1CS and Friend | Justin Thaler (Georgetown)
0xPARC ZKML Day: ZK-Enabled Digital Identity
ZKProofs: ZKP Languages - Where We Are Now | Kobi Gurkan (Geometry)
Delendum: Private Execution on Blockchain
a16z crypto research talks: SNARK Design Part III with Justin Thaler
CESC 2022: Day 1 AM Session
ZK in a Tweetshell
Guides and Resources
Social Applied ZK Projects on Ethereum | shrey jain
Rust Cryptography Engineering Study Group Syllabus - HackMD | Thor Kamphfner
The Rust Programming Language | Steve Klabnik and Carol Nichols, with contributions from the Rust Community
Tools
The intuition behind the sum-check protocol in 5 minutes | https://cryptologie.net/
andrewmilson/ministark: 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
https://github.com/MystenLabs/sui/blob/main/crates/sui-framework/docs/groth16.md
nalinbhardwaj/Nova-Scotia: Middleware to compile Circom circuits to Nova prover
cawfree/zk-starter: zero knowledge for those with zero knowledge
Project Updates
Decentralizing Rollups: Announcing the Espresso Sequencer | Espresso Systems
Cheap, Anonymous Vickrey Auctions on-chain | Aayush Gupta
ZkSync is integrating with RNS.ID to enable on-chain IDs and better data security | The Block | Mike Truppa
Introducing Provers in Aleo Testnet 3 | Aleo | Paytrush Mishra
Dusk Network co-launches the Leading Privacy Alliance | Dusk | Sabine de Witte
Releasing Espresso Testnet 1: Americano | Espresso Systems
Espresso HotShot: Consensus Designed for Rollups | Espresso Systems
Ropsten Shutdown Announcement | Ethereum Foundation Blog
Lelantus Spark code audit begins | Reuben Yap
10/26 Mainnet Bug Retro | Mina Protocol
Mina Launches zkApps Era | Mina Protocol
zkIgnite, Cohort 0 Begins | Mina Protocol
Top Wallet Hacks with a VPN | didem63
Threshold Network To Integrate Chainlink Proof of Reserve to Help Securely Monitor BTC Deposits | Threshold | Hagan Dietz
Introducing the Nym SDK — powerful privacy served directly to your browser | Nym
The Oasis Privacy Layer, powered by Sapphire | Oasis Foundation
Ethereum Account Abstraction: Everything you need to know! | Panther Team
Accelerating Penumbra's Merkle Tree by up to 4,000,000x | Penumbra
StarkNet Performance Roadmap | StarkWare
The Zcash Foundation's Q3 2022 Report | Zcash Foundation
A preliminary note on Vitalik’s proposal for arithmetic hash-based proto-danksharding | zkLinkDeFi | Kurt Pan
Events/Hackathons/Courses
ZK Hack | Virtual. Multi-week. 22 Nov - 13 December
Asiacrypt 2022 | Taipei, Taiwan 5-9 December
ETHIndia | Bengaluru. Dec 2 - 4
FHE.org | Tokyo. March 26
RWC 2023 | Tokyo. March 27
ETHDenver | Denver, USA. 2-5 March
If you would like to see your event listed in the next ZK Mesh, get in touch!
————
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 @zeroknowledgefm!