I don’t know what they currently use but I know they have plan to use #SeraiDEX (not launched yet) which is similar to #ThorChain with the support of #Monero.