< all projects
This project has been archived

This project has been archived by Cardano Cube. A project will be archived when the direct link to their website or social media accounts are broken or if there is too little online activity from the project to still be listed. If you're the owner of this project. You can re-verify your project by contacting us.

This project has been flagged by the community!

We advise you to be cautious and 'do your own research' before interacting with this project. Flagged projects are labelled based on claims by community members contacting Cardano Cube. If you're the owner of this project. You can verify your project by contacting us.

The community raised some concerns regarding this project!

We advise you to 'do your own research' before interacting with this project. This notification is shown based on claims by community members contacting Cardano Cube. If you're the owner of this project. You can verify your project by contacting us.



Pareto-optimal DEX on the Cardano blockchain.

Project status
In Dev
USD Icon
Download icon



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.

Portfolio-pools, inspired by Balancer

Most AMM-DEXes offer only binary pools with exactly two tokens with the ideal ratio of 50:50 (the ideal ratio acts as an attractor state; pools always tend towards it). Portfolio pools allow liquidity providers not only to add any number of tokens to a pool but adjust their ideal ratios arbitrarily.

Let’s say you want to be exposed to a portfolio consisting of 80% to ADA, 15% to MQR and 5% cBTC. With binary pools, achieving exposure following these ratios would require an unlikely and fleeting set of circumstances to arise. With portfolio pools (sometimes also known as multi-pools), you can just create a pool that always tends towards exactly your ideal portfolio.

Impermanent loss insurance and smart tokens, inspired by Bancor

If the price of a token decreases after you add liquidity to the pool, you suffer so-called impermanent loss. “Loss“ occurs because you would have potentially benefitted more by simply holding funds in your own wallet; “impermanent“ because if the price of the token reverts, you will no longer have any losses.

To get the best out of both worlds, we are offering insurance against that - if you qualify and withdraw while in impermanent loss, you will be reimbursed for the difference. This is a self-reinforcing feature since now people don’t have to fear impermanent loss.

Smart tokens allow you to capture the “long tail”, ensuring there always will be a counterparty. Our convenient launch mechanism allows you to ICO into a smart token pool right away.

Range pools, inspired by Uniswap v3

By limiting the price range between which a token can be traded, you not only protect yourself against impermanent loss (which becomes larger the more the price deviates from when you added liquidity), you also increase your capital efficiency: Essentially you are adding virtual liquidity to the pool. Think of it as leverage, but instead of risking liquidation you only risk the price moving out of your range, which simply means you won’t collect fees until it returns.

Equations formally verified with the LEAN proof assistant

Math is hard, but not forgetting that “-“ you pushed in over your “=“ or accidentally making a “u“ out of a “v“ is even harder. This is why we decided to deploy the LEAN theorem proof assistant to make absolutely sure this does not happen and that our service delivers what we have promised. LEAN is a programming language for doing math, provably correct and automatically verified.

Project Information
Promoted project
No items found.



There are no available articles about this project. You can submit a project article below.
Submit Article
We use cookies to enhance your experience. Check our Privacy Policy.