Thankfully, I was never able to find an easy way to short BTC. I would have done it >5 years ago and failed spectacularly. I'm still bearish, but wiser.
Would be extremely worried about counterparty risk though. The other guy has to pay up and I'm not sure of the controls/regulations around enforcing that?