Specialising in AMMs. Interested in software correctness and formal methods.
jsr
Public earnings
$31,485.70
91st
Public findings
2
Euler