kuprum
Security and formal methods researcher. Master-unfolder of complexities. Deep-diver for bugs.
Member of
Helped secure (4)
Helped Secure
Highlights
- 🥉3rd place·
Phi
Identified 5 high risk and 1 medium risk findings
- 💪9th place·
Optimism Superchain
Identified 2 high risk findings
- 💪14th place·
ZetaChain
Identified 1 high risk findings
- 👋🏻227th place·
Curves
Identified 2 high risk and 1 medium risk findings