Нет; обязательства, включенные в блок является hashtree с листьями, которые выглядят как:

{Индекс для того, как много назад, previous_block_hash, компактная кодированный разница между работой в настоящее время, а затем}
...

Для нескольких обратных указателей. Задний указатель действителен только (считается приемлемым для обхода в качестве доказательства), если блок привязки к нему соответствует порогу работы разностей. Аналогично объединить добычу, можно выполнять N-hashcashes параллельно все с различными порогами. Так же, как если бы трудности namecoin были выше, чем Bitcoin вы могли mergemine namecoin и имеют Bitcoin блок с namecoin обязательства в нем, которая до сих пор непригодны для namecoin, хотя его действительный блок Bitcoin.

Таким образом, чтобы перейти по ссылке, которая выходит один блок обратно, вам нужны биты work-- это обычный случай.

Чтобы перейти по ссылке, которая выскакивает два назад ваш блок должен быть действителен на 2 * бит уровня ... и так далее, чтобы успешно шахта 10000 назад хмель вам нужно иметь блок, который является действительным, если рассматривать с порогом работы все, что было натянуто на этих блоков (например, 10000x больше, если трудность была постоянной).

Поэтому доказательство можно скрыть данные, но вы не можете поддельные один с меньшим количеством работы (в среднем), чем просто добыча нормально. Индивидуально любой блок вряд ли прыгать далеко назад, но на совокупные длинные скачки случаются и в результате доказательство лог размера по длине цепи. (На самом деле меньше, когда hashrate постоянно увеличивается).

Для данного набора обязательств существует несколько возможных путей, и поэтому несколько доказательств для одной и той же цепи possible--, если вы могли бы пойти 100 назад вы могли бы также пойти 50 назад. Иногда происходит меньше обратно делает для меньшего доказательства, возможно, на 51 сзади есть один хмель, который проходит весь путь. Наималейшее доказательство можно построить линейное время с помощью динамического программирования: Начните с блоком, который вы пытаетесь достичь с помощью доказательства (например, генезис), и сканирования вперед, для каждого блока следить за размером лучшего доказательства от него назначения и первый хмель назад, когда рассмотрит блок проверку каждый из его действительных обратных ссылок, добавить стоимость принятия этой обратной ссылки на стоимость его назначения лучшего. Возьмите минимум, как лучше и перейти к следующему блоку. Когда вы дойдете до конца ходить backwords. Этот алгоритм всегда производит наименьшее возможное доказательство, хотя простой жадный алгоритм (всегда прыгать, насколько вы можете, но не мимо пункта назначения), обычно не _that_ гораздо больше.

Право, exactly-- хорошо, чтобы быть более точным, то компактное доказательство и нормальное оба гамма; но компактное доказательство принимает журнал формы, в то время как увеличение лямбда --- то же самое ожидаемое работы, представлено меньшим числом более редких событий, таких, что математическое ожидание такой же, но форма распределения отличается.

Технически его можно сделать доказательство "более доказать", Например, идти X-работа назад вы должны показать ожидаемую общую работу а * X; но я думаю, что я пришел к выводу, что вы можете получить только постоянные улучшения коэффициента тех пути, если вы не нарушать асимптотическое логарифмическое масштабирование корректур. Одна хорошая вещь в том, что такие методы между расстойки и проверяющего, обязательства не меняются.