Утверждение "мы ищем хеш с нулями в начале" не противоречит утверждению "любой хеш ниже таргета", а является следствием из него. Если a< b, то количество значащих цифр числа a меньше либо равно количеству значащих цифр числа b.
Впрочем, если вас сбивают с толку эти нули - не обращайте на них внимания.
приведу пример в двоичной системе, как я это вижу:
есть число таргет (a) = 99
мы находим число 1 (b) и удовлетворяем формулу aтогда первое попавшееся число удовлетворяет, формулу.
мне кажется я просто не до дупляю что-то с 256 битной системе
