Synthetic Derivatives in DeFi Explained | Derive, Synthetix, Polynomial, gTrade, GMX