Formal Verifier and Security Researcher
45
Public earnings
$38,992.21
77th
Public findings
1
Uniswap Labs