Independent Security Auditor specializing in smart contract audits, formal verification, and blockchain security for DeFi protocols, cross-chain infrastructure, and Web3 applications.
🔍 Audit Services: Solidity Audits | Rust Audits | Move Audits | Cairo Audits | Go Audits | Security Consulting
📫 Book an Audit: X (@kirkeelee) | Telegram (@Oxker2)
- Smart Contract Security Audits (Solidity, Move, Rust, Cairo, Golang)
- DeFi Protocol Security Reviews
- Cross-chain Bridge & Infrastructure Audits
- Formal Verification & Invariant Testing
| Project | Rank |
|---|---|
| Index x Morpho Leverage Integration(Solidity) | 🥇 1st Place |
| xKeeper (Solidity) | 🥈 2nd Place |
| Rova (Solidity, Move) | 🥉 3rd Place |
| Covalent - EWM Light Client (Solidity) | 🥉 3rd Place |
| LoopFi (Solidity) | 🥉 3rd Place |
| Gamma Liquidity Management (Solidity) | 7th Place |
| Midas - Instant Minter/Redeemer (Solidity) | 7th Place |
| Tokemak (Solidity) | 7th Place |
| Kwenta x Perennial Integration Update(Solidity) | 7th Place |
| AXION (Solidity) | 9th Place |
| Super DCA Liquidity Network (Solidity) | 9th Place |
| Project | Engagement Type | Description | Report |
|---|---|---|---|
| 40acres Finance | Sherlock Collaborative Audit | 40Acres is the leading DeFi protocol to lend, borrow, and automate strategies for vote escrow NFTs holders, like veAERO & veVELO. | |
| C8ntinuum Launchpad (Solidity) | Solo Audit | TheDecentralized launchpad for token creation, funding, and trading via bonding curves. | Report |
| ProvLabs Nu Blockchain(Solidity, Rust, Go) | Sherlock Collaborative Audit | Blockchain platform enabling global access to real-world assets with no minimums or lockups. | |
| Sake Finance (Solidity) | Sherlock Collaborative Audit | Transparent yield platform generating sustainable returns from onchain and RWA sources. | |
| Bounce (Solidity) | Guardian Audits | ||
| 3Jane (Solidity) | Sherlock Collaborative Audit | Credit-based money market enabling unsecured credit lines backed by verifiable crypto proofs. | Report |
| Seamless Protocol - Leverage Tokens (Solidity) | Sherlock Collaborative Audit | Leverage tokens simplifying complex DeFi strategies into tradeable ERC-20 tokens. | Report |
Sherlock Profile with all contest activity
| Project | Description | Findings (M/H) |
|---|---|---|
| Reserve Money (Solidity) | Decentralized treasury protocol accumulating 1 million ETH powered by community and DeFi. | 1H, 3M |
| Dango Dex (Rust) | All-in-one DeFi L1 chain running on its own Rust-based virtual machine. | 1M |
| Super DCA Liquidity Network (Solidity | DCA liquidity network powered by Uniswap V4 Hooks. | 2H, 1M |
| Mellow Flexible Vaults (Solidity) | Mellow is modular vault infrastructure built for institutional-grade asset management on EVM chains. | 1M |
| Succinct Network(Solidity) | Decentralized marketplace for zero-knowledge proof generation and verification. | 1M |
| DODO Cross-Chain DEX (Solidity) | Cross-chain DEX built on ZetaChain's infrastructure. | 1M |
| Lend (Solidity) | Cross-chain lending protocol with real yield extraction. | 8H, 2M |
| Native Smart Contracts V2(Solidity) | Platform for building token liquidity as an alternative to traditional AMMs. | 1H, 2M |
| Starknet Perps (Cairo) | Decentralized perpetuals exchange on Starknet with self-custody and trustless settlement. | 1H, 1L |
| Gamma Liquidity Management (Solidity) | Leveraged trading system on the GMX decentralized exchange. | 2M |
| Blend V2 (Rust) | A liquidity protocol primitive built on Stellar. | 2M |
| Rova (Solidity, Move) | Rova is a high quality onchain launchpad focused on small ticket, global retail public token sales. | 1M |
| Zaros Part2 (Solidity) | Perpetuals DEX powered by Boosted Restaking Vaults, maximizing LP yield. | 2H |
| Plaza Finance (Solidity) | The Public Square for Bonds and Leverage on Base | 1H, 1M |
| FlatMoney v2 Update (Solidity) | Protocol update enabling bespoke derivative markets with different collateral and market assets. | 2M |
| Autonomint Colored Dollar V1(Solidity) | Delta-neutral stablecoin fully backed by crypto assets at 100% synthetic LTV. | 1H |
| Chiliz Chain System Contracts (Solidity) | Sports-focused blockchain with EVM-compatible POSA layer. | 2H |
| Covalent - EWM Light Client (Solidity) | Modular data infrastructure layer solving long-term data availability on Ethereum. | 1M |
| Index x Morpho Leverage Integration(Solidity) | Tokenized leverage positions using the Morpho lending protocol. | 1M |
| AXION (Solidity) | DeFi stablecoin with collateral deployed in onchain liquidity pools maintained by AMO. | 2M |
| uniswap-v4 (Solidity) | Peer-to-peer system for exchanging ERC-20 tokens on Ethereum. | FV |
| Cork Protocol (Solidity) | Protocol for pricing, hedging, and trading risk. | 1M |
| Midas - Instant Minter/Redeemer (Solidity) | RWA token issuance with instant minting and redemption features. | 1M |
| MakerDAO Endgame (Solidity) | Fundamental transformation of MakerDAO improving growth, resilience, and accessibility. | — |
| Velocimeter (Solidity) | ve33 DEX with veLP, permissionless gauges, and demand-driven emissions. | 1H |
| Euler-v2 (Solidity) | Modular lending platform with the Euler Vault Kit for customizable lending vaults. | FV |
| Kwenta x Perennial Integration Update(Solidity) | Perennial MultiInvoker extension enabling Kwenta's 1-click trading via delegated operators. | — |
| LoopFi (Solidity) | Dedicated lending market for Ethereum carry trades using Liquid Restaking Tokens as collateral. | 1H |
| xKeeper (Solidity) | Keeper network aggregator decentralizing onchain DeFi automation. | 1M |
| Tokemak (Solidity) | Tokemak Autopilot managing liquidity deployment through ERC4626-compatible vaults. | FV |
| Althea Liquid Infrastructure (Solidity) | Protocol enabling tokenization and investment in real-world assets accruing revenue onchain. | 1H |
| Ion Protocol (Solidity) | Decentralized money market purpose-built for staked and restaked assets. | FV |
| USSD (Solidity) | Censorship-resistant, crypto-backed, autonomous, multi-collateralized stablecoin. | 1H |
FV: formal verification contest.
- X (Twitter): @kirkeelee
- Telegram: @Oxker2
- Audit Reports: View All Reports
Keywords: smart contract auditor, blockchain security, Solidity audit, DeFi security, Web3 security researcher, vulnerability assessment, security consultant