About me
I do engineering and applied cryptography in the Ethereum Foundation.
You can find me on Twitter, GitHub, or by email.
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 101 (presentation)
- Verkle Trees - Another iteration of VKTs MSM
- 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
Anatomy of a Verkle proof (2024-01-19)
Tonelli-Shanks with precomputed dlog tables (2023-03-05)
Implementing Algorand’s sumhash512 cryptographic hash function in Rust (2022-08-14)
Write barriers in the Go garbage collector (2022-01-25)
The Journey of Running a Go Program over Tor (2019-04-27)
The intuition behind Algorand’s cryptographic sortition (2019-03-27)
Simulating a Fraud-Proof Blockchain (2019-02-19)
See all articles…