Как проверить доказательство Меркла: выполняем проверку самостоятельно

2026-09-20

Проверить доказательство Меркла — значит заново вычислить цепочку хешей от собственной записи до опубликованного корня и посмотреть, приходите ли вы к тому же значению. Это занимает минуту, не требует ничьего содействия, и чаще всего проверка не проходит из-за несовпадения входных данных, а не из-за нечестности. Понимание того, с каким именно отказом вы имеете дело, превращает проверку в информацию, а не в тревогу.

Выполнение проверки доказательства Меркла: хешируйте собственную запись, идите вверх по пути соседей, соблюдая левую и правую сторону, и сравните вычисленный корень с опубликованным

Что нужно до начала

Четыре вещи, и каждая должна относиться к одному и тому же отчёту: ваш файл доказательства, опубликованный корень за тот период, версия алгоритма, названная в отчёте, и время снимка, которое отчёт использовал.

Смешение периодов — самая частая ошибка. Файл доказательства за один месяц, проверяемый против корня другого месяца, не пройдёт, и не пройдёт совершенно правильно; он не сообщит ничего, кроме того, что вы взяли неверную пару.

Сам файл доказательства содержит данные вашего листа и короткий список соседних хешей. Он невелик, обычно несколько десятков значений, потому что длина пути от листа к корню растёт крайне медленно, даже когда в дереве миллионы счетов. Структура за этим описана в статье деревья Меркла в доказательстве резервов.

Исходы и что каждый значит

Исход	Что это значит	Что делать дальше
Вычисленный корень равен опубликованному	Ваша строка была в зафиксированном множестве	На этом всё; сохраните файл
Вычисленный корень отличается	Какой-то вход не совпадает с опубликованным деревом	Скачайте заново и повторите, потом делайте выводы
Инструмент отвергает файл	Файл повреждён или из другого периода	Проверьте период у скачанного файла
Неизвестная версия алгоритма	Ваш верификатор старее раскрытия	Возьмите версию, названную в отчёте
Хеш листа не совпадает с балансами	Вы хешируете другую запись	Уточните время снимка и список активов
За период нет опубликованного корня	Не с чем сравнивать	Спросите, когда выйдет тот период

Третий столбец читайте как последовательность, а не как меню: дешёвые объяснения следует исключать первыми, и обычно именно они верны. Серьёзной может быть лишь вторая строка, да и она чаще оказывается проблемой входных данных.

Четыре шага проверки

Первый: постройте свой лист. Верификатор собирает ровно тот текст, которого требует спецификация, хеширует его, и этот хеш — низ вашего пути. Именно здесь неверное время снимка или иной порядок активов дают лист, которого в дереве никогда не было.

Второй: идите вверх. На каждом уровне верификатор соединяет ваш текущий хеш с соседом из файла доказательства и хеширует пару, получая хеш уровнем выше, и повторяет, пока список соседей не исчерпан.

Третий: сравните. Значение, к которому вы пришли, либо в точности совпадает с опубликованным корнем, либо нет; частичного зачёта не бывает. Четвёртый шаг легко пропустить: убедитесь, что корень, с которым вы сравнивали, действительно опубликован биржей, а не скопирован из неофициального источника.

Почему важен порядок склейки

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

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

Есть простой способ проверить, есть ли такая ошибка в вашем инструменте: прогоните одно и то же доказательство дважды, во второй раз намеренно поменяв стороны, и убедитесь, что опубликованный корень даёт лишь один из двух прогонов. Если проверка не проходит, а входные данные выглядят верными, в любом инструменте, который вы писали или правили сами, подозревать нужно прежде всего это. Верификатор, опубликованный вместе с отчётом, уже это учитывает — практический довод в пользу того, чтобы хотя бы раз воспользоваться именно им.

Частые причины отказа, когда всё в порядке

Обычный виновник — время снимка. Ваш сегодняшний баланс не равен балансу на момент построения дерева, и хеширование сегодняшних чисел закономерно даёт лист, которого там нет.

Дальше идут различия формата. Балансы пишутся с фиксированным числом знаков после запятой, активы идут в фиксированном порядке; запись, собранная вручную, может быть верна численно и отличаться текстуально, а это меняет хеш целиком. Смежная ловушка — списать баланс с экрана, где он округлён для показа: округлённое и хранимое числа остаются разными строками, даже описывая одну сумму.

Наконец, дрейф версий. Раскрытие, перешедшее на более новую версию алгоритма, старым инструментом не проверится, а инструмент, обновлённый раньше раскрытия, даёт ту же беду наоборот. Совпадение с версией, названной в отчёте, снимает целый класс запутывающих отказов.

Что доказывают успех и отказ

Успех доказывает ровно одно: запись, которую вы хешировали, находилась в дереве, чей корень опубликован. Это ваша принадлежность, и она действительно ваша, а не сообщённая вам.

Он не доказывает, что включены все остальные, что активы существуют или что балансы покрывают всё, что вам должны. Доказательство Меркла отвечает на вопрос о членстве и молчит об остальном; эта граница изложена в статье ограничения доказательства резервов.

Об этой узости стоит помнить намеренно: проверка, доказывающая одно в точности, полезнее утверждения, машущего сразу на несколько. А отказ, когда скучные причины исключены, — это вопрос, который стоит поднять, а не приговор. Он значит, что запись, по-вашему описывающая ваш счёт, не появляется под опубликованным корнем, и сторона, произведшая и то и другое, — та, кто может объяснить разницу.

Что делать, если отказ настоящий

Повторите проверку со свежескачанным файлом доказательства и официальным корнем: устаревший или недокачанный файл объясняет большинство случаев. Оба файла сохраните, не перезаписывая.

Затем проделайте то же самое для предыдущего периода, если он доступен. Отказ, появляющийся в одном периоде и отсутствующий в других, — иная ситуация, чем устойчивый, и при описании это различие важно.

Если отказ сохраняется, поднимите вопрос перед биржей и приложите период, корень, с которым сравнивали, и версию верификатора. Этого достаточно, чтобы кто-то воспроизвёл ваши действия, а воспроизводимость и делает обращение пригодным к работе. Более широкая проверка вокруг этой описана в статье как проверить доказательство резервов.

Итог

Проверка доказательства Меркла — короткая механическая процедура: построить свой лист, пройти вверх по пути соседей, соблюдая левую и правую сторону, и сравнить результат с опубликованным корнем. Большинство отказов рождаются из несовпадения периодов, формата или версий, а не из того, что что-то не так.

Успех говорит, что ваша собственная строка была зафиксирована, — факт, который вы установили, а не приняли. Это малое утверждение, высказанное точно, и именно такие утверждения делают читаемым остальное раскрытие. Читайте дальше материалы Bitbase Academy.