TEEs are a crutch for weak people who don’t want to solve hard problems. Fight me.

New paper in Eprint (eprint.iacr.org/2024/370). We show that fully secure MPC with two-thirds honest majority (t<n/3) is possible over *any modulus* with communication O(n|C|). Prior works required an extra factor of log(n) to be able to use Shamir secret-sharing [1/2]

Our early work on Mechanism Design for ZK-Rollup Prover Markets is now public; please attend a talk at ZKSummit today arxiv.org/abs/2404.06495

Excited to share some early results on ZK Rollup prover market fee mechanisms. A prover market is where ZK provers sell proof capacity, and users pay to get transactions proven (potentially coordinated by sequencers). EIP-1559 is a nice TFM for L1, but it does not work here

This paper, written by researchers from Matter Labs (∎, ∆), Yale University, Hebrew University, and Imperial College London, explores Prooφ, a mechanism design for prover fee markets on ZK-rollups. Fee markets for provers competing to generate ZKPs differ from transaction fee mechanisms such as EIP-1559.

BREAKING: Travelling salesman problem is in BQP!* * We all trust IACR preprints these days. eprint.iacr.org/2024/626

The Research team I have created and lead is no longer part  of Matter labs. It’s one of the most capable and productive teams working on rollup-related problems and blockchain-related research, more broadly. matter-labs.io/research/

1/ Privacy Tech Overview: ZK, FHE, MPC, and TEEs A structured look at four key privacy-preserving technologies, based on insights from our "Study Room 003: Demystifying the privacy tech family" event. Big thanks to researcher speakers Hang Yin from Phala , Liam

TEE has never been so easy... This SDK could be the game changer. github.com/Phala-Network/…

BREAKING: Donald Trump announces he intends to change the name of The Chinese Remainder Theorem to The USA Remainder Theorem

Wenhao is going to present Prooφ: A ZKP Market Mechanism arxiv.org/abs/2404.06495 (to appear in FC), a joint work with Lulu Zhou, Aviv Yaish , Ben Fisch ☕️ , Ben Livshits.

Many sophisticated MEV bot contracts use control flow obfuscation techniques to protect their logic. However, this also causes existing tools to struggle with analyzing obfuscated smart contracts, leaving critical vulnerabilities hidden. Excited to share our solution: SKANF (1/n)

During the weekend I finished building a little app I call "zkLabeler" (zklabeler.netlify.app). It's a zkTLS powered labeler for BlueSky. It's a cool application of zkTLS, and a fun learning experience of BlueSky's take on decentralization.

Can cryptography solve the problem of MEV? One approach is an encrypted mempool, where users broadcast encrypted transactions that are only revealed after they are sequenced. Hence, a consensus protocol would have to commit to a transaction ordering blindly, seemingly