Bitcoin segwit2x hardfork challenge of 1000 BTC by Roger Ver