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: solution to Ethereum Foundation 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 an LST minted against stake that cannot be slashed
- zkUniswap: offloads Uniswap V3 swap computation to a zk co-processor, 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 so the DVT network can sign blocks without seeing contents, enabling a PEPC-style MEV-Boost
- Consensus Algorithms for Blockchains: peer-reviewed survey of PoW, PoS, and DPoS, plus a from-scratch implementation, published in Olympiads in Informatics
Open Source
optimism: core contributions to OP Stack contracts and node software. Led Upgrade #6 (MCP L1), which enabled atomic cross-chain contract upgrades across the Superchain
sandwich-mitigating-uniswap-v2: Uniswap V2 fork that enforces the Greedy Sequencing Rule to make sandwich attacks unprofitable
emily: generic EVM protocol for credible commitments; reference implementation used across PEPC research, with ERC-4337 and ERC-6551 integrations
zkUniswap: Uniswap V3 fork that offloads swap computation to a RISC Zero zk co-processor with on-chain proof verification
sequencer-commitments: OP Stack prototype for programmatic sequencer commitments
mev-tax: Solidity library for priority-fee-based MEV taxes
transience: Solidity library for reentrancy-aware transient storage
multistaker: protocol for staking across chains and protocols from one contract
restaking.wtf: protocol for restaking any ERC-20 to validate on-chain trust networks
prime-field-arithmetic: Solidity implementation of secp256k1 finite-field arithmetic
quark: cash-settled NFT derivatives with on-chain pricing and no oracle dependency
newsfact: protocol for market-based news fact-checking
Education
- University of Waterloo: Bachelor of Honours Mathematics, Mathematical Physics (on leave)
- Harvard University: coursework in computer science and mathematics