Cryptocurrency Futures Defined and How They Work on Exchanges