Is this hypothetical, or are there a few working examples, or are there a lot of working examples, enough that one could casually talk about shorting Bitcoin? How big is this market for Bitcoin shorts and futures, what sort of volume are we talking about at the present time? The only shorting I knew of was on exchanges of questionable trustworthiness.