kuprum
Security and formal methods researcher. Master-unfolder of complexities. Deep-diver for bugs.
@kuprum
67
Biography
- Independent security & formal methods researcher (2024 - now)
- competitive audits at Code4rena, Sherlock, Cantina
- private / collaborative audits
- formal methods as a hobby
- Previously:
- auditor @ blockchain security company
- research engineer @ blockchain company
- formal methods researcher @ universities
- software engineer @ various companies
Top competitions
View allContest | Position | Date | Payout |
|---|---|---|---|
Omni Network | 6 / 420 | October 2024 | $91,100 |
story-protocol | 17 / 574 | December 2024 | $22,343 |
Security portfolio
Title | Description |
|---|---|
| Sherlock profile | You can browse all my public contests easily |
| 6th in Omni Network (unique Medium) | Cross-chain, Cosmos L1 consensus, own EVM via Engine API |
| 2nd in Predict.Fun (unique Medium) | P2P lending for a yield-bearing prediction market built on Blast |
| 1st in Flayer (unique High) | Liquidity for NFTs with Uniswap V4 hook, donate/pool integrations |
| 3rd in Phi (5 of 7 Highs) | Cross-chain identity protocol |
| 4th in Winnables Raffles | Raffles system, Ethereum and Avalanche, Chainlink VRF and CCIP |
| 9th is Optimism Superchain | Fault Dispute Games for (dis)proving Optimism transactions on L1 |
| 3rd in RadicalxChange | Auctioning system for artists; heavy use of Diamond pattern |
| 1st in UniStaker (CodeWasp team) | Staking infrastructure for Uniswap Governance |