web3 Security Researcher and Developer. I am particularly focused on fuzzing and formal verification.
| Protocol | Platform | Stack | Period | Findings |
|---|---|---|---|---|
| AlchemixV3 | 🛡️ Immunefi | EVM / Solidity | Oct 14 – Nov 4, 2025 | 🟡 High valid · 🟢 Low valid · 🟢 Low valid |
| Vechain Stargate Hayabusa | 🛡️ Immunefi | EVM / Solidity | Nov 10 – Nov 24, 2025 | 🟡 High valid · 🟢 Low valid |
| Firelight | 🛡️ Immunefi | EVM / Solidity | Nov 7 – Nov 17, 2025 | |
| Folks Finance: Staking Contracts | 🛡️ Immunefi | EVM / Solidity | Mar 11 – Mar 17, 2026 | ⏳ Judging |
| Monolith StableCoin Factory | 🟣 Sherlock | EVM / Solidity | Nov 9 – Nov 15, 2025 | |
| Flying Tulip | 🟣 Sherlock | EVM / Solidity | Jan 6 – Jan 16, 2026 | ⏳ Judging |
| OpenCover Insured Vaults | 🟣 Sherlock | EVM / Solidity | Jan 20 – Jan 24, 2026 | ⏳ Judging |
| Fluid Dex V2 | 🟣 Sherlock | EVM / Solidity | Jan 20 – Feb 19, 2026 | ⏳ Judging |
| Current Finance | 🟣 Sherlock | Sui / move | Mar 7 – Mar 17, 2026 | ⏳ Judging |
| Panoptic: Next Core | 🔵 Code4rena | EVM / Solidity | Dec 19, 2025 – Jan 7, 2026 | ⏳ Judging |
| Olas | 🔵 Code4rena | EVM / Solidity | Jan 22 – Feb 9, 2026 | ⏳ Judging |
| Injective Peggy Bridge | 🔵 Code4rena | Cosmos / Go | Feb 25 – Mar 17, 2026 | ⏳ Judging |
| Jupiter Lend | 🔵 Code4rena | Solana / Rust | Feb 6 – Mar 6, 2026 | ⏳ Judging |
| Intuition | 🔵 Code4rena | Solidity / EVM | Mar 5 – Mar 10, 2026 | ⏳ Judging |
| VII Finance Contracts | 🟠 Cantina | EVM / Solidity | Jan 12 – Jan 26, 2026 | ⏳ Judging |
| Protocol | Platform | Findings |
|---|---|---|
| Intmax | Immunefi | 🟢 Low |
| Repo | Link |
|---|---|
| crytic/medusa | Issue #789 |
| Category | Tools |
|---|---|
| 💬 Languages | Solidity, (Go), (Rust), (Move) |
| ⚒️ Frameworks | Foundry, Hardhat, (cosmos sdk), (Anchor) |
| 🎯 Fuzzing | Medusa, Echidna, Chimera, (Trident), (moby) |
| 🧑💻 Formal Verification | Halmos, Certora |
| Project | Description |
|---|---|
| Raffle_Dapp | Full-stack Web3 raffle application |
| Repo | Description |
|---|---|
| CentrifugeV3-fuzzing-lesson | Shadow audit + Chimera fuzzing |
| recon-fuzzing-reward-manager | Recon / Medusa |
| morpho-blue-fuzzing-lesson | Morpho Blue fuzzing |
| fuzzing_lesson | General fuzzing practice |
| trail-of-bits_echidna_lesson | Trail of Bits / Echidna |
| Protocol | Repos |
|---|---|
| Centrifuge Protocol V3.1 | result |