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 | Bounce.Tech is a permissionless non-custodial leveraged token platform built on Hyperliquid. It enables users to mint and redeem leveraged tokens (LTs) for over 200 assets with up to 10x leverage. All LTs are backed by Hyperliquid perpetual futures contracts. | Report |
| 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