short selling bitcoin is as simple as messing with a mysql database the meant to represent a balance of real bitcoins.

i prefer localbitcoins and otc's, where the true blockchain coins live.

offchain trading on mysql databases have been happening for years