1. Lean for software engineering.
An ongoing project with Claude, designed to learn how to read/write lean specifications, that formally verify an AI-generated code.
latest writeup
2. Lectures on Math and Cryptography / Ethereum Protocol Fellowship (2026).
latest writeup
3. Circle STARKs: notes from a seminar in Stateless Consensus EF (2024).
4. Elliptic curves over finite fields and their pairings,
an elementary and rigorous account.
Book project (2024).
5. Lattices.
Notes from a seminar I ran in 2023 (poorly edited).