About me
I’m part of the zkEVM team at the Ethereum Foundation.
You can find me on Twitter, GitHub, or by email.
Blog posts
Deep dive into Circle-STARKs FFT (2024-10-13)
Anatomy of a Verkle proof (2024-01-19)
Tonelli-Shanks with precomputed dlog tables (2023-03-05)
Write barriers in the Go garbage collector (2022-01-25)
The intuition behind Algorand’s cryptographic sortition (2019-03-27)
See all articles…Pinned repos
- go-kzg-ceremony-client: An EIP-4844 KZG Powers of Tau ceremony client.
- zig-verkle-crypto: Cryptography for Ethereum Verkle Trees.
- curdleproofs: A zero-knowledge shuffle argument.
- poseidon: A Zig implementation of Poseidon hash function.
- merlin: Composable proof transcripts for public-coin arguments of knowledge
- go-filsigner: Pure Go Filecoin signing library.
HackMD docs and presentations
- Code-access gas overhead and chunkers comparison
- Preimages generation & distribution strategy
- Another iteration of VKTs MSM
- Batch affine points addition vs. mixed additions
- Verkle Trees 101 (presentation)
- Verkle Trees - Proof creation/verification notes
Verkle Trees - BLOCKHASH opcode(presentation)Better looking into EIP-2935 now.- Bandersnatch - Finite-field square root optimization notes