Listy se skládají do jediného kořene
Listy tvoří hashe transakcí. Sousední hodnoty se spojí a zahashují do rodičů, až zbude Merkle root. Změna jediného bajtu změní list, všechny jeho předky i kořen, který je tak vázán na přesně uspořádaná data.
Hash není šifrování: z kořene nelze obnovit transakce. K ověření je potřeba původní transakce a sousední hashe její větve.
Větev zůstává krátká
Důkaz zařazení potřebuje z každé úrovně jeden sourozenecký hash, nikoli celý strom. Ověřovatel hodnoty spojí ve správném levopravém pořadí a výsledek porovná s kořenem v hlavičce.
Délka důkazu roste přibližně s logaritmem počtu listů, takže pro tisíce transakcí stačí jen malý počet hashů. Záměna levé a pravé strany výsledek změní.
Zařazení není úplná validace
Platná větev dokazuje, že transakce patří do stromu, k němuž se zavázala konkrétní hlavička. Klient, který ověřil návaznost hlaviček a proof of work, může závazek přiřadit k řetězci.
Neověří tím, zda jiné transakce nevytvořily hodnotu navíc, neporušily skripty nebo konsenzuální limity. Celý blok validuje plný uzel a důkaz přítomnosti neprokáže, že peer nezamlčel jinou skutečnost.
Různé stromy vážou různé věci
Hlavička bloku váže strom txid. SegWit přidává do coinbase závazek ke stromu wtxid a Taproot váže volitelné skriptové listy stromem, jehož kořen upravuje výstupní klíč.
Princip hashování je podobný, struktury však nejsou zaměnitelné. Vážou jiné objekty a mají vlastní pravidla serializace i doménového oddělení, která musí implementace přesně dodržet.