About

I'm a protocol engineer focused on ZK cryptography, EVM bytecode analysis, and formal methods. I build production-grade Rust tooling for constraint systems and bytecode-level program analysis.

On the security side, I do competitive smart contract auditing on Code4rena and Cantina, and work with Immunefi and BNB Chain bug bounty programs. Protocols I've reviewed include Injective, Axelar, BNB Chain, Jupiter Lend, Kiln, and Coinbase.

My research focuses on the intersection of formal verification and real-world protocol security — using algebraic methods and machine-checked proofs to make correctness arguments that don't rely on trust.