Research
- Unsecured Lending via Delegated Underwriting: no collateral, identity checks, or centralized underwriting. Existing users sponsor new borrowers by putting their own credit at risk, which makes Sybil accounts economically useless
- Commitment-Satisfaction Committees: solves the Ethereum Foundation's open problem ROP-4, introducing an in-protocol mechanism where attester subcommittees enforce arbitrary proposer commitments under ePBS
- SOLO: Liquid Staking for Solo Validators: solo Ethereum validators need 32 ETH. SOLO lowers that to 1.25 ETH with a permissionless LST backed by stake that cannot be slashed
- zkUniswap: offloads Uniswap V3 swap computation to a zk coprocessor, verifies proofs on-chain, and captures MEV through pool-lock auctions
- PEPC-DVT: enforces proposer commitments through distributed validator technology with no Ethereum consensus changes; one of the earliest out-of-protocol PEPC designs
- Making PEPC-DVT private: uses BLS blinded multi-signatures to enforce private proposer commitments, enabling PEPC-style MEV-Boost
- Consensus Algorithms for Blockchains: peer-reviewed survey of proof-of-work, proof-of-stake, and delegated proof-of-stake, with a blockchain implementation from scratch
Open Source
optimism: significant contributions to the OP Stack smart contracts, which power Base and OP Mainnet. Led Upgrade #6 (MCP L1)
sandwich-mitigating-uniswap-v2: Uniswap V2 fork that enforces a sequencing rule that makes sandwich attacks unprofitable
mev-tax: Solidity library for priority-fee-based MEV taxes
emily: generic EVM protocol for credible commitments; reference implementation used across PEPC research, with ERC-4337 and ERC-6551 integrations
sequencer-commitments: OP Stack prototype enabling credible sequencer commitments
transience: Solidity library for reentrancy-aware transient storage
restaking.wtf: protocol for restaking any ERC-20 to validate trust networks
prime-field-arithmetic: Solidity implementation of secp256k1 finite-field arithmetic for elliptic curve operations
quark: protocol for cash-settled ERC-721 derivatives with on-chain pricing and no oracles
multistaker: protocol for staking ERC-20s across chains using a single smart contract
newsfact: protocol for market-based news fact-checking
Education
- University of Waterloo: Bachelor of Honours Mathematics, Mathematical Physics (on leave)
- Harvard University: coursework in mathematics and computer science