About me
I do engineering and applied cryptography in the Ethereum Foundation.
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.
Other docs
- Verkle Trees - BLOCKHASH opcode (presentation)
- Verkle Trees - Preimages generation & distribution strategy
- Verke Trees - Batch affine points addition vs. mixed additions
- Verkle Trees - Proof creation/verification notes
- Verkle Trees - Proof worst-case scenario
- Bandersnatch - Finite-field square root optimization notes
Blog posts
(2024-01-19)Anatomy of a Verkle proof
(2023-03-05)Tonelli-Shanks with precomputed dlog tables
(2022-01-25) Write barriers in the Go garbage collector
(2019-04-27) The Journey of Running a Go Program over Tor
(2019-02-19)Simulating a Fraud-Proof Blockchain
See all articles…