Liście łączą się w jeden korzeń
Hash każdej transakcji jest liściem. Sąsiednie wartości łączy się i hashuje w rodziców, aż powstanie korzeń Merkle’a. Zmiana jednego bajtu zmienia liść, jego przodków oraz korzeń, wiążąc go z uporządkowanym zbiorem danych.
Hash nie jest szyfrowaniem: z korzenia nie da się odzyskać transakcji. Weryfikacja wymaga pierwotnej transakcji oraz sąsiednich hashy tworzących jej gałąź.
Gałąź pozostaje krótka
Dowód włączenia potrzebuje jednego sąsiedniego hasha z każdego poziomu, a nie całego drzewa. Weryfikujący łączy wartości we właściwej kolejności lewa–prawa i porównuje wynik z korzeniem w nagłówku.
Długość dowodu rośnie mniej więcej jak logarytm liczby liści, dlatego tysiące transakcji wymagają tylko niewielu hashy. Zamiana lewej i prawej strony zmienia wynik.
Włączenie nie jest pełną walidacją
Poprawna gałąź dowodzi, że transakcja należy do drzewa związanego z konkretnym nagłówkiem. Klient sprawdzający połączenie nagłówków i proof of work może przypisać to zobowiązanie do łańcucha.
Nie sprawdza jednak, czy inne transakcje nie utworzyły nadmiarowych bitcoinów, nie naruszyły skryptów albo limitów konsensusu. Cały blok waliduje pełny węzeł, a dowód obecności nie wykaże, że peer nie przemilczał innego faktu.
Różne drzewa wiążą różne dane
Nagłówek bloku wiąże drzewo txid. SegWit dodaje w coinbase zobowiązanie do drzewa wtxid, a Taproot wiąże opcjonalne liście skryptów w drzewie, którego korzeń modyfikuje klucz wyjściowy.
Konstrukcje korzystają z podobnej idei hashowania, ale nie są zamienne. Wiążą inne obiekty i mają własne reguły serializacji oraz separacji domen, których implementacje muszą dokładnie przestrzegać.