First integration of DEX smart contract on Cardano