I’m a Solidity engineer with 4+ years of professional blockchain experience building security-critical, upgradeable EVM systems.
My work includes account abstraction, modular protocol architecture, DeFi infrastructure, formal verification, smart-contract security, deployment tooling, and production debugging.
- ERC-4337
UserOperationcreation and session-key integrations - In-app smart wallets and account-abstraction debugging
- EIP-7702 wallet security tooling in Rust
- Modular and upgradeable Solidity architectures
- Foundry fuzz, invariant, property, scenario, and fork testing
- Certora specifications and audit remediation
- ERC-4626 vaults and Uniswap V3 strategies
A security-focused Rust CLI for inspecting and resetting EIP-7702 delegations assigned to EOAs.
Built with Rust, Alloy, Tokio, Clap, tracing, and secure private-key handling.
Major contributor to a public Solidity protocol.
- Migrated the protocol from a factory architecture to the Diamond pattern to address EIP-170 contract-size limitations
- Authored 82 of 101 protocol pull requests
- Maintained nearly 90% Hardhat test coverage
- Built deployment scripts, interaction tooling, subgraphs, and protocol tests
Professional work includes:
- ERC-4337 in-app wallet integrations,
UserOperationcreation, and session keys - A UUPS-upgradeable, command-based modular protocol router
- An ERC-4626 vault and multi-strategy allocation system
- Uniswap V3 concentrated-liquidity strategy management
- Circuit breakers, withdrawal controls, and role-based security
- Foundry invariant suites and Certora specifications
- Arbitrum deployments, subgraphs, and operational tooling
Some of this work is currently private or under active development.
- Competitive smart-contract security research
- Confirmed finding in a Cantina audit competition
- Audit preparation, remediation, and design reviews
- Invariant-driven protocol architecture
- Gas optimization and threat-aware design
Smart contracts: Solidity, EVM, OpenZeppelin, ERC-4337, EIP-7702, ERC-4626, Uniswap V3, UUPS, Diamond pattern
Security and testing: Foundry, Hardhat, Certora, fuzz testing, invariant testing, fork testing, Tenderly
Infrastructure: Rust, TypeScript, JavaScript, Ethers.js, GraphQL, The Graph, Goldsky, Git, CI/CD
I write about smart-contract architecture, testing methodology, security, and DeFi: