Merkle Proof

Merkle proof (juga disebut jalur Merkle atau bukti inklusi) adalah daftar hash yang memungkinkan siapa pun memverifikasi bahwa bagian data tertentu dimasukkan dalam pohon Merkle tanpa melihat seluruh pohon — jika akar Merkle (hash teratas pohon) diketahui dan dipercaya, Merkle proof memungkinkan verifikasi inklusi dalam O(log n) langkah, menjadikannya efisien bahkan untuk pohon dengan jutaan daun, dan ini merupakan fondasi cara kerja SPV Bitcoin, cara airdrop kripto mendistribusikan token on-chain pada skala besar, dan cara jembatan blockchain memverifikasi state lintas-chain.

Cara Kerjanya

Katakanlah kamu memiliki pohon Merkle dengan 8 item dan ingin membuktikan bahwa T3 ada di pohon:

“`

[Root]

/

[H1234] [H5678]

/

[H12] [H34]

/

T3 T4

“`

Bukti terdiri dari: [H(T4), H12, H5678]

Untuk memverifikasi:

  1. Hash T3 → H(T3)
  2. Hash H(T3) dengan H(T4) → H34
  3. Hash H34 dengan H12 → H1234
  4. Hash H1234 dengan H5678 → bandingkan dengan Root

Jika hash akhir cocok dengan akar Merkle yang diketahui → T3 terbukti ada di pohon. Verifier tidak pernah melihat T1, T2, T4, T5–T8 — hanya 3 hash saudara di jalur ke root.

Ukuran bukti: Untuk pohon dengan N daun, bukti membutuhkan log₂(N) hash. Untuk 1 juta penerima: log₂(1.000.000) ≈ 20 hash × 32 byte masing-masing = 640 byte.

Aplikasi dalam Kripto

Klaim Airdrop:

  1. Protokol membangun daftar kelayakan (mis., 500.000 alamat Ethereum dengan jumlah)
  2. Mereka menghitung akar Merkle dari daftar ini
  3. Mereka menyimpan hanya root 32-byte on-chain dalam kontrak MerkleDistributor
  4. Off-chain: mereka menerbitkan daftar lengkap + bukti individual

Pendekatan ini sangat efisien gas: alih-alih menyimpan 500.000 entri on-chain (sangat mahal), cukup menyimpan satu akar 32-byte. Setiap penerima mengklaim dengan mengirimkan bukti mereka sendiri.

Verifikasi Jembatan Blockchain:

Bridge menggunakan Merkle proof untuk memverifikasi bahwa transaksi terjadi di chain lain tanpa menjalankan node chain tersebut. Klien ringan dan bridge optimis bergantung pada Merkle proof untuk pembuktian state.

SPV Bitcoin:

Bitcoin’s Simplified Payment Verification (SPV) menggunakan Merkle proof untuk memungkinkan wallet ringan memverifikasi bahwa transaksi spesifik dimasukkan dalam blok tanpa mengunduh seluruh blok (hanya header blok + bukti diperlukan).

Kritik

Keamanan Merkle proof bergantung sepenuhnya pada kebenaran akar Merkle yang digunakan sebagai referensi. Jika akar sendiri dikompromikan atau diterima dari sumber yang tidak dipercaya, seluruh skema verifikasi gagal.

Sentimen Media Sosial

Merkle proof adalah konsep cryptography kritis yang dibahas dalam komunitas pengembang blockchain global. Dikenal terutama di konteks klaim airdrop — jutaan pengguna DeFi telah menggunakan Merkle proof tanpa menyadarinya.

Terakhir diperbarui: 2026-04

Istilah Terkait

Lihat Juga

Sumber

  • Ethereum Documentation — Merkle Proofs (https://ethereum.org/en/developers/docs/data-structures-and-encoding/patricia-merkle-trie/) — dokumentasi teknis struktur data Merkle dalam konteks Ethereum.
  • Bitcoin Whitepaper (https://bitcoin.org/bitcoin.pdf) — Satoshi Nakamoto, Bagian 8: Verifikasi Pembayaran yang Disederhanakan.
  • Flashbots — MEV Airdrop Research (https://writings.flashbots.net) — penelitian tentang aplikasi Merkle proof dalam distribusi airdrop skala besar.