Constant-Product AMM

Leaderboards are temporarily down

We're working through some technical difficulties with the standings. Every ranked run still counts — the boards will be back once it's sorted.