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? 🆕

Post Formal verification in Lean
Aug 17, 2026
Post Notes on NEAR’s MPC
May 1, 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