An automated market maker for trading assets on Aptos