Why Blockchain is Hard