Рассмотрим возможность использования SAT решатели для добычи Bitcoin. Я думаю, что двойной SHA-256 является непроницаемым для текущего поколения решателей, но давайте предположим, что все изменится Кстати, если такой прогресс будет поступать из академического мира, мы можем ожидать, RSA проблема будет решена первой, это будет хорошим предупреждением для Bitcoin сообщества. SAT решатели работу, исследуя «легко» область потенциального пространства решений первой, откладывая «жесткой» части для последнего. Теперь представьте себе, что есть много решений для действительного блока хэша - СБ решатель будет более эффективным в такой ситуации. Но с затруднили есть что-то вроде 67 необходимых нулей в результате хэш-значение и только, скажем, 32 + 10 свободных переменных (32 бит и одноразовое значение может быть ниже часть времени поля), так что не так много решение, в среднем система уравнений будет совместима один раз в 2 ^ 25 попыток. Непосредственная способ использования SAT решатель для горнодобывающей промышленности ставит его в невыгодное положение. Для того, чтобы обеспечить более свободные переменные можно использовать биты данных внутри или вокруг сделки. Очевидный кандидат ввод coinbase сделки пустого блока (и nonce2 будет огромны в таком случае), но последовательное хеширование позволяет использовать последнюю транзакцию непустого блока для этой цели. Ну, ладно, это скорее спекуляции прямо сейчас, давайте следить за прогрессом в развитии SAT решателя

Чтобы быстро изменить значение корня Меркла можно поменять местами два детей некоторого внутреннего узла, единственное требование является сохранение coinbase транзакции первым - вместо увеличения nonce2 или добавления новой транзакции. См, не нужно на самом деле изменить элементы