Дерево Меркла — это двоичное дерево, которое позволяет эффективно и безопасно проверять содержимое больших структур данных. Идея этого дерева была предложена и запатентована в 1982 году американским криптографом Ральфом Мерклем. Длина хеша остается одинаковой для любого объема входных данных. Вершины листьев содержат хэши из блоков данных, тогда как внутренние вершины включают хэши от сложения значений в двух дочерних вершинах. В свою очередь, корневая вершина содержит хэш всего набора данных. Теория Изначально имеется набор данных, никак не связанных друг с другом. Для каждого блока данных (в контексте блокчейна транзакций) нам необходимо вычислить хэш блока. Количество блоков данных должно быть , поскольку при построении дерева предыдущие блоки хэшируются попарно на каждой итерации. Затем пара хешей группируется и на их основе создается новый хэш. Хеширование будет продолжаться до тех пор, пока на каждом уровне есть что группировать, и прекратится, когда останется только одна пара, из которой получается корневой хеш — корень Меркла. 2^N H(1-2) = keccak256(H(1) + H(2)) H(3-4) = keccak256(H(3) + H(4)) H(5-6) = keccak256(H(5) + H(6)) H(7-8) = keccak256(H(7) + H(8)) H(1-2-3-4) = keccak256(H(1-2) + H(3-4)) H(5-6-7-8) = keccak256(H(5-6) + H(7-8)) H(1-2-3-4-5-6-7-8) = keccak256(H(1-2-3-4) + H(5-6-7-8)) Получив корень, мы можем проверить данные. Если корневой хеш совпадает с исходным хэшем, все в порядке, данные действительны. Также можно эффективно проверить, присутствуют ли определенные данные в древовидной структуре. Допустим, мы хотим проверить наличие хеша в дереве. Доказательством будет массив данных: , , . Благодаря этим хешам мы можем восстановить корневой хеш: H2 H1 H3-4 H5-6-7-8 H(1-2-3-4-5-6-7-8) = keccak256(keccak256(keccak256(H(1) + H(2)) + H(3-4)) + H(5-6-7-8)) Затем сравниваем полученный хеш с исходным. Если они совпадают, значит, в дереве присутствует хеш . H2 Упражняться Давайте теперь посмотрим, как реализовать дерево Меркла и проверку данных в Solidity. Для простоты мы запишем массив транзакций непосредственно в блокчейн, а также массив хэшей. Поскольку мы будем использовать встроенную функцию , которая возвращает хэш размером 32 байта, тип данных массива хешей будет . Массив также будет иметь динамическую длину. В общем, длина массива хэшей не будет такой же, как длина массива транзакций, поскольку он будет содержать созданные хэши. Мы могли бы заранее вычислить длину, но ради упрощения кода не будем этого делать. Если хотите, вы можете сделать каждый из этих массивов и читать хэши транзакций. keccak256 bytes32 public Мы будем производить в конструкторе. Первым шагом является подсчет хэшей блоков с в цикле. Затем на каждом уровне дерева количество хэшей уменьшается в 2 раза. Поскольку мы будем хранить хеши в массиве хешей, смещения индексов необходимо хранить отдельно. Итератор во внутреннем цикле увеличивается на 2, потому что при вычислении и добавлении хешей мы будем брать пару элементов. В на этот раз добавим по 2 хеша, каждому из которых правильно зададим индексы: для левого элемента — значение текущего смещения сдвига + индекс на текущем уровне дерева, а для правого элемента — то же самое + 1. hashes transactions abi.encodePacked Итак, дерево мы построили, но интерес состоит в проверке данных. Для этого напишем функцию , которая принимает транзакцию и ее индекс. К сожалению, в Solidity нет метода для массивов, поэтому проще просто передать индекс транзакции. validateTransaction find Для начала давайте посчитаем хеш транзакции и создадим массив доказательств. Мы находим количество доказательств в зависимости от длины массива транзакций и устанавливаем . После этого на каждом уровне дерева находим необходимый элемент в зависимости от индекса, беря правый или левый элемент, учитывая смещения в . Затем мы проходим по массиву индексов доказательства, проверяя индекс на четность и вычисляя хэш в зависимости от того, левый или правый элемент в паре. Наконец, мы сравниваем полученный хэш с корневым хешем и возвращаем результат. proofsIndexes hashes Приложение В блокчейне есть несколько применений дерева Меркла. . Например, в Биткойне блок транзакций хранит только merkle_root своих транзакций. Это уменьшает размер блока и нагрузку на сеть. После накопления определенного количества транзакций можно удалить старые транзакции для экономии места, но сами блоки остаются неизменными, поскольку в них хранится только корень дерева. Хранение транзакций : Блок биткойнов состоит из двух частей — заголовка блока и списка транзакций. Чтобы избежать необходимости каждый раз пересчитывать хеши транзакций, они выстраиваются в дерево Меркла, после чего хэшируется заголовок блока, а не весь блок, и берется случайное число nonce. При отправке блока другим узлам вычисляется корень списка транзакций, и если он не соответствует корню в заголовке, блок отклоняется. Майнинг : Суть верификации заключается в аудите без необходимости загрузки всей цепочки блоков. Этот процесс значительно упрощается, а также позволяет подтверждать существование данных без раскрытия информации о данных, что может быть полезно для проверки конфиденциальной информации. Верификация Краткое содержание Без деревьев Меркла блокчейны были бы слишком громоздкими, а доказательства Меркла позволяют экономически эффективно проверять подлинность данных. Деревья Меркла активно используются в блокчейнах (например, Биткойн, Эфириум) для эффективного хранения транзакций, но это не единственное применение. Например, после краха биржи FTX многие биржи внедрили механизм подтверждения резерва, который использует дерево Меркла.
