I explore the design and implementation in-depth, then find bugs; the language and project type is secondary.
➡️ I specialize in all Solidity smart contracts for EVM chains, as well as infrastructure projects and their components written in Go or Rust.
➡️ I have significant DeFi experience after auditing almost all types of protocols over the last year (lending, bridges, staking, DEXes, yield farming, etc.).
➡️ I reviewed several purpose-built L1s and components of L2s like Optimism and the Pectra hardfork of Ethereum itself.
| Project | Description | Language(s) | Leaderboard |
|---|---|---|---|
| SXT (results pending) | reth‑based L1 – ZK proofs for SQL data | Rust, Solidity | Pending |
| Infinifi | Yield farming | Solidity | 3rd 🥉 |
| Gamma Strategies | Uniswap V4 limit & scale orders | Solidity | Judge |
| Story Network | L1 for intellectual property (IP) | Go, Solidity (CosmosSDK) | 14th · $27 k win |
| Allora v0.8.0 | L1 for prediction / information market | Go (CosmosSDK) | 11th |
| Beraborrow | Lending on Berachain | Solidity | 7th |
| Votre | Lending (liquidation‑free) | Solidity | 7th |
| Mach Finance | Lending on SONIC | Solidity | 1st 🥇 |
| Debita Finance V3 | Lending + NFT marketplace | Solidity | 6th |
| mev‑commit (invite‑only) | Better/faster/safer MEV on Ethereum | Solidity | 6th |
| mev‑commit | Better/faster/safer MEV on Ethereum | Solidity | 21st |
- X: @bbl4de_xyz
- Email: [email protected]