Доказательство Меркла

Доказательство Меркла (доказательство включения) — это короткий список хешей, подтверждающий, что конкретная транзакция действительно входит в блок, без необходимости скачивать все его транзакции. Доказывающая сторона предоставляет соседние хеши на пути от этой транзакции до корня Меркла; проверяющий заново вычисляет цепочку хешей и убеждается, что итоговое значение совпадает с корнем, уже записанным в заголовке блока. На этом механизме держатся лёгкие кошельки, кросс-чейн мосты и роллапы. Важно понимать ограничение: доказательство Меркла подтверждает лишь принадлежность к конкретному дереву, но не то, что содержащий транзакцию блок находится в канонической цепи.