So using smart contracts to short markets