Fairness and Strategy-Proofness in Automated Market Makers — DEX Digest