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