When users want to exchange xDai for Dai, the process is executed in reverse. xDai is burned (destroyed) in the xDai chain smart contract, and a verified signal is sent to unlock the exact same amount of Dai on the Ethereum mainnet. The unlocked Dai is then returned to the user’s address on the Ethereum mainnet.