Introduction

There have been many interesting innovations in the field of automated market maker (AMM) based decentralized exchanges (DEXes) over the past years. They suffered however from two major pathologies: Firstly, their contributions were separated over different products.

Secondly, by running on the trailblazing but rather prototypical smart contract-platform of Ethereum, they had either to constrain themselves from utilizing the full potential offered by financial mathematics or be constrained in practice by the enormous gas fees. MIRQUR outlines an approach to remedy both; the former by extensive and formally verified mathematical analysis and development, the latter by the choice ofCardano as underlying smart contract platform.

What sets us apart from the rest? Besides the anarchic intent, as far as we know this is the only platform to date offering this combination of features.

MetaDEX will focus:

• Oracles 
• Constant-product market makers (Uniswap) 
• Curve 
• Kyber/DMM 
• Impermanent loss insurance 
• Smart tokens 
• Novel token launch mechanism 
• Range pools and diode pools 
• Optimal trade distribution 
• Governance