At some point this problem of finding a hash with a number of heading zeros flips from being increasing hard to brute force to being increasingly easier to search: http://jheusser.github.io/2013/02/03/satcoin.html https://github.com/jheusser/satcoin