Specialising in AMMs. Interested in software correctness and formal methods.
jsr
Public earnings
$31,485.7
82nd
Public findings
2
Euler