kuprum

kuprum

Security and formal methods researcher. Master-unfolder of complexities. Deep-diver for bugs.

@kuprum

67

Public earnings

$113,443.07

18th


Public findings

4


Achievements

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 all
Contest
Position
Date
Payout
Omni Network

Omni Network

5

/ 420

October 2024$91,100
story-protocol

story-protocol

14

/ 581

December 2024$22,343

Security portfolio

Title
Description
Cosmos EVM auditEVM integration into Cosmos L1; heavy precompile usage
Lombard IBC V2 Integration auditCosmos L1 / Bitcoin staking / CosmWasm / IBC-Solidity integration
IBC V2 (Eureka) auditV2 of the IBC protocol / IBC-Go / new IBC-Solidity contracts
14th in Story ProtocolCosmos L1 consensus, own EVM via Engine API, Precompiles
5th 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 RafflesRaffles system, Ethereum and Avalanche, Chainlink VRF and CCIP
9th is Optimism SuperchainFault Dispute Games for (dis)proving Optimism transactions on L1
3rd in RadicalxChangeAuctioning system for artists; heavy use of Diamond pattern
1st in UniStaker (CodeWasp team)Staking infrastructure for Uniswap Governance