Specialising in AMMs. Interested in software correctness and formal methods.
jsr
Public earnings
$31,485.7
86th
Public findings
2
Euler-v2
/ 600
