Automated Market Makers for Cross-chain DeFi and Sharded Blockchains. - Mohsen Pourpouneh; Kurt Nielsen; Jesper Balman Gravgaard (CoRR, 2023)