Pohon Merkle menyusun hash data menjadi pohon dengan hash teratas, akar Merkle, yang merangkum kumpulan data yang dikomitmenkan. Setiap induk dihitung dari anak-anaknya menurut aturan tertentu. Mengubah satu daun biasanya mengubah hash di sepanjang jalurnya menuju akar.
Memverifikasi satu item
Bukti keanggotaan menyediakan hash tetangga yang diperlukan untuk menghitung ulang jalur itu, bukan seluruh item dalam kumpulan. Dalam pohon biner seimbang dengan delapan daun, membuktikan satu daun biasanya membutuhkan tiga hash saudara dan informasi posisinya. Pemeriksa juga memerlukan item atau hash-nya serta akar tepercaya.
Penggunaan dalam Bitcoin
Bitcoin mengikat pengenal transaksi ke akar Merkle pada setiap header blok. Konstruksinya menentukan urutan transaksi, hashing berpasangan, dan duplikasi ketika suatu tingkat memiliki jumlah entri ganjil. Sistem lain dapat memakai struktur pohon dan aturan pengodean berbeda.
Apa yang dibuktikan
Bukti valid menunjukkan bahwa item termasuk dalam kumpulan yang diwakili akar acuan, berdasarkan asumsi keamanan hash. Bukti itu tidak secara mandiri menunjukkan validitas transaksi, status output yang saat ini belum dibelanjakan, atau finalitas rantai. Akar juga tidak mengungkap semua data dasarnya: data tersebut tetap harus tersedia di tempat lain untuk pemeriksaan penuh.