About Me

I'm a senior Rust engineer and cryptography engineer/researcher with 6 years of industry experience building low-latency, mission-critical systems for financial applications. I work on performance-critical software end to end, from protocol and virtual-machine internals to matching engines and on-chain systems, and I'm passionate about cryptography, formal verification (Lean 4), privacy, open-source software, web3 security, and financial math.

I am deeply interested in DeFi and have built central limit order books (CLOBs) and decentralized exchanges across a range of virtual machines. Currently, I work as a protocol engineer at Miden, where I architect and optimize the transaction kernel and core libraries in Rust and Miden Assembly and own security review of protocol changes. I am an adamant supporter of privacy technology and believe in the importance of financial privacy and user sovereignty.

As a Rust Engineer, ZKP Researcher, and Web3 Security Researcher, I've conducted audits for various DeFi protocols, including Sway/Fuel VM protocols at Linum Labs, and built an order-book exchange on Polygon Miden with Composability Labs. I particularly enjoy working on finance-related blockchain projects, and as a result, I've received grants from Arbitrum, Aave, 1inch, and Sablier. For my whitehat hacking efforts, I've received bug bounty payouts from Immunefi.

We won 1st and 2nd place at ETHGlobal NYC Hackathon 2023 for UniHedge, a protocol for hedging impermanent loss on Uniswap V3, and 2nd place at ETHGlobal Bangkok Hackathon 2024 for Tornado Cash 2.0, where I created an improved version of Tornado Cash. I also won ETHGlobal Buenos Aires, where I built a post-quantum hardware wallet.

Talks

“Comparing & Benchmarking Post-Quantum Digital Signatures” — EthCC[9], Cannes (Apr 2026).

“Building a Privacy-Preserving CLOB on Polygon Miden” — EthCC L2 Conference (Jul 2024).