Prova de Merkle

Uma prova de Merkle, também chamada de prova de inclusão, é uma lista curta de hashes que demonstra que determinada transação realmente faz parte de um bloco, sem que o verificador precise baixar todas as transações dele. Quem prova fornece os hashes irmãos ao longo do caminho da transação até a raiz de Merkle; quem verifica recalcula a cadeia de hashes e confere se o valor final bate com a raiz já registrada no cabeçalho do bloco. Carteiras leves, pontes entre blockchains e rollups dependem disso para verificar dados de forma barata. Atenção ao limite: a prova só demonstra pertencimento a uma árvore específica, não que aquele bloco esteja na cadeia canônica.