Bukti Merkle

Bukti Merkle dalam blockchain adalah bukti kriptografi yang memungkinkan seseorang memverifikasi bahwa penggalan data tertentu (misalnya transaksi) sudah dimasukkan dalam dataset yang lebih besar (misalnya blok dalam blockchain) tanpa harus mengungkap atau mengunduh seluruh dataset. Bukti Merkle memanfaatkan properti pohon Merkle (juga dikenal sebagai pohon hash), yaitu struktur data dengan sidik jari digital pada seluruh set transaksi dalam blockchain untuk mengatur dan memverifikasi data dalam jumlah besar dengan efisien dan aman.

Pohon Merkle adalah pohon biner yang daun-daunnya mewakili penggalan data masing-masing (seperti transaksi). Dalam pohon Merkle, setiap simpul yang bukan daun adalah hash dari dua simpul anaknya, dan akar pohon, yang disebut akar Merkle, adalah hash tunggal yang mewakili semua data dalam pohon.

Untuk membuktikan bahwa penggalan data tertentu (misalnya transaksi) merupakan bagian dari pohon Merkle, hanya diperlukan subset kecil dari pohon—khususnya, jalur dari transaksi (simpul daun) ke akar Merkle. Jalur ini mencakup hash pada transaksi target dan hash pada simpul kandung sepanjang jalan menuju akar Merkle.

Verifikator, yang mengetahui akar Merkle ini, dapat menggunakan bukti Merkle untuk membuat hash transaksi dan hash perantara serta membandingkan hash yang terakhir dihitung dengan akar Merkle yang sudah diketahui. Jika hitungan hash sesuai dengan akar Merkle, verifikator dapat meyakini bahwa transaksi tersebut memang bagian dari dataset (blok) tanpa memerlukan data blok seluruhnya.

Verifikator dapat mengonfirmasi masuknya transaksi tanpa mengunduh seluruh blok atau dataset, jadi menghemat bandwidth dan ruang simpan. Selain itu, sifat kriptografi pada bukti Merkle memastikan bahwa mengubah data apa pun (seperti transaksi) dalam pohon akan menghasilkan akar Merkle yang sama sekali berbeda sehingga setiap tindakan manipulasi dan kejahatan mudah terdeteksi.