Cardano-focused DEX AdaSwap has been audited by cybersecurity agency Zokyo, which marks final step of its mainnet launch