Engineer. Builder. Curious.

I'm a software engineer, cryptography researcher, whitehat hacker, and crypto anarchist. I like building systems, privacy apps, and tools that make something useful or interesting possible. My work ranges from everyday applications to cryptographic protocols and mathematical libraries. I'm a techno optimist.

Finance, systems, and security

My first real crypto job was at a crypto hedge fund in 2021. I got into crypto by building an Ethereum mining rig in 2018, then scaled up during the pandemic in 2020. I enjoy finance and the mathematics behind it, particularly option pricing. I've worked on an on-chain options startup, built order-book exchanges with Composability Labs, and written a complex-number library for Solidity. That work has included optimizing Rust order-matching engines and implementing financial algorithms in smart contracts.

I also worked at Polygon as a developer relations engineer and a protocol engineer on Polygon Miden. I work on Miden's protocol team, where I've built the Agglayer integration and contribute to the core protocol.

I also led the team behind UniHedge, a project for hedging impermanent loss in Uniswap liquidity positions using Aave. It won prizes from Aave, 1inch, and Arbitrum at ETHGlobal New York.

I'm an Immunefi bug bounty recipient. My security work spans smart contracts and cryptography, including audits at Linum Labs and vulnerability reports with working proofs of concept. I enjoy understanding how a system can fail and helping make it more robust.

Privacy and things I've built

I am a proponent of privacy technologies such as Zcash and Miden, and I value financial privacy and open-source software.

In 2022–2023, I got super interested in Tornado Cash and rewrote it from scratch in Noir, replacing MiMC with Poseidon.

I've built Chess.fish, an on-chain chess platform in Solidity supported by an Arbitrum grant, and a post-quantum hardware wallet that received Ledger's most creative project award at ETHGlobal Buenos Aires.

My apps and code catalogue brings together products, experiments, and libraries, including projects from Polylog Labs. A lot of my work doesn't have a frontend: protocol code, research, and libraries live in my GitHub repositories.

Mathematics and cryptography

I enjoy studying Reed-Solomon codes, list decoding, and formal proofs in Lean. My work reached #1 on the better.codes soundness leaderboard. I wrote about the research, code, and verification process in this post.

I also research post-quantum digital signatures and proving systems, including zkFLOCK, VEIL + FLOCK, and Falcon signature aggregation. My talk in Cannes covers comparing and benchmarking post-quantum digital signatures.

Away from the computer, I enjoy chess, working out, travel, history, linguistics, and music.