A DeFi platform for the XDC Network