Home

Hi 👋👋, I'm a cryptography researcher who enjoys thinking out loud on this website.

Some quick resources, if you're looking for something specific:

See below for some highlighted work 👇

What's new? 🆕

Note Inductive types in Lean
Sep 28, 2026
Arti On software carpentry
Sep 17, 2026
Note Universal composability (UC)
Sep 13, 2026
Note Formal verification in Lean
Aug 17, 2026

Posts 📝

Papers 🎓

DekartProof: Efficient Vector Range Proofs and Their Applications
Jul 1, 2025 · Cryptology ePrint Archive’25
Distributed Randomness using Weighted VRFs
May 15, 2025 · EUROCRYPT’25

Talks 👨🏻‍🏫

Aptos confidential assets
Mar 24, 2026 · @X Live
Catena: Efficient Non-equivocation via Bitcoin
Feb 28, 2018 · @MIT @IEEE S&P’17

Projects 🛠️

Chunky PVSS
Feb 1, 2026
Verkle trees
Jun 1, 2018