Wait what, the mining in bitcoins is brute force looking for a key whose hash is smaller than some arbitrary threshold?