Há algum tempo que queria falar sobre isto; hoje tive algum tempo para escrever.
Para provar que uma transação está incluída num determinado bloco, basta conhecer alguns hashes ao longo do caminho entre essa transação e a raiz de Merkle. A quantidade cresce logaritmicamente com o número de transações.
A prova de reservas de uma exchange também usa árvores de Merkle: a plataforma publica o hash da raiz e cada utilizador obtém o seu próprio caminho de Merkle, podendo assim verificar se o seu saldo foi incluído.
O cabeçalho de cada bloco $BTC regista uma raiz de Merkle que resume todas as transações desse bloco.
Será que alguém já interpretou mal este ponto?

#BTC

A forma de proceder fica ao vosso critério; aqui, estou apenas a registar isto.