Proof Merkle Tree

Apa Itu Proof Merkle Tree?

Proof Merkle Tree adalah bukti kriptografis yang menunjukkan bahwa data tertentu merupakan bagian dari kumpulan data yang lebih besar tanpa mengungkapkan atau mengunduh seluruh kumpulan tersebut.

Dalam kripto, Proof Merkle Tree sering digunakan untuk membuktikan bahwa transaksi, akun, saldo, nilai penyimpanan, klaim NFT, atau alamat wallet termasuk dalam kumpulan data yang telah diverifikasi.

Proof ini bekerja dengan menggunakan hash dari Merkle tree, yang juga disebut hash tree.

Merkle tree mengambil banyak data, meng-hash-nya menjadi leaf, menggabungkan hash tersebut secara berpasangan, lalu terus melakukan hashing ke tingkat yang lebih tinggi hingga tersisa satu hash akhir.

Hash akhir tersebut disebut Merkle root.

Jika Merkle root tepercaya, pengguna dapat memverifikasi satu item hanya dengan proof kecil, tanpa perlu memeriksa seluruh kumpulan data.

Panduan developer Bitcoin menjelaskan bahwa Merkle tree memungkinkan client memverifikasi bahwa suatu transaksi dimasukkan ke dalam sebuah blok dengan menggunakan Merkle root dari header blok dan hash perantara dari peer.

Karena itu, Proof Merkle Tree penting untuk efisiensi blockchain, light client, airdrop token, whitelist NFT, bridge, proof state, dan verifikasi data.

Cara Kerja Merkle Tree

Merkle tree dimulai dari item data individual di bagian bawah tree.

Item di bagian bawah ini disebut leaf.

Di blockchain, setiap leaf dapat merepresentasikan hash transaksi, entri akun, nilai penyimpanan, alamat wallet, atau catatan klaim.

Setiap leaf di-hash menggunakan fungsi hash kriptografis.

Hash tersebut kemudian dipasangkan dan di-hash kembali.

Proses ini berlanjut tingkat demi tingkat hingga tree menghasilkan satu hash di bagian atas.

Hash teratas tersebut adalah Merkle root.

Jika ada leaf yang berubah, hash-nya juga berubah.

Perubahan tersebut merambat ke atas melalui tree dan mengubah Merkle root.

Inilah alasan Merkle root dapat berfungsi sebagai fingerprint ringkas untuk kumpulan data yang besar.

Cara Kerja Proof Merkle Tree

Proof Merkle Tree membuktikan bahwa leaf tertentu merupakan bagian dari Merkle tree dengan root yang diketahui.

Proof ini biasanya berisi hash sibling yang diperlukan untuk menyusun kembali jalur dari leaf ke root.

Verifier memulai dengan hash leaf.

Verifier kemudian menggabungkannya dengan hash sibling pertama dan meng-hash pasangan tersebut.

Hasilnya digabungkan dengan hash sibling berikutnya, lalu di-hash kembali.

Proses ini berlanjut hingga verifier menghitung root akhir.

Jika root yang dihitung cocok dengan Merkle root tepercaya, proof tersebut valid.

Jika root yang dihitung tidak cocok, proof tersebut tidak valid.

Dengan cara ini, verifikasi dapat dilakukan tanpa mengungkapkan setiap leaf di dalam tree.

Contoh Sederhana Proof Merkle Tree

Bayangkan sebuah whitelist NFT yang berisi empat alamat wallet.

Setiap alamat di-hash menjadi leaf.

Leaf A dan Leaf B di-hash bersama untuk membuat hash parent.

Leaf C dan Leaf D di-hash bersama untuk membuat hash parent lainnya.

Kedua hash parent tersebut kemudian di-hash bersama untuk membuat Merkle root.

Jika Wallet A ingin membuktikan bahwa alamatnya ada dalam whitelist, Wallet A tidak perlu mengungkapkan seluruh daftar.

Wallet A hanya memerlukan leaf-nya sendiri dan hash sibling yang dibutuhkan untuk menyusun kembali Merkle root.

Smart contract dapat memverifikasi proof tersebut dan mengizinkan wallet melakukan klaim atau mint jika proof cocok dengan root yang tersimpan.

Mengapa Proof Merkle Tree Penting dalam Kripto

Proof Merkle Tree penting karena blockchain membutuhkan cara yang efisien untuk memverifikasi data dalam jumlah besar.

Tanpa Merkle proof, pengguna dan aplikasi mungkin perlu mengunduh atau memercayai lebih banyak informasi.

Merkle proof membuat verifikasi lebih ringkas, cepat, dan praktis.

Proof ini sangat berguna ketika kapasitas penyimpanan, bandwidth, gas fee, atau sumber daya perangkat terbatas.

Light wallet dapat menggunakan proof untuk memverifikasi data tanpa menjalankan full node.

Smart contract dapat menggunakan proof untuk memeriksa whitelist tanpa menyimpan ribuan alamat secara on-chain.

Bridge dan sistem cross-chain dapat menggunakan proof untuk memverifikasi peristiwa atau state dari chain lain.

Sistem ketersediaan data dan rollup juga dapat menggunakan komitmen bergaya Merkle untuk membantu membuktikan bahwa data merupakan bagian dari struktur yang lebih besar dan telah dikomitmenkan.

Proof Merkle Tree di Bitcoin

Bitcoin menggunakan Merkle tree untuk merangkum transaksi di dalam sebuah blok.

Merkle root disertakan dalam header blok.

Light client dapat memverifikasi bahwa suatu transaksi dimasukkan ke dalam blok dengan memeriksa Merkle proof terhadap Merkle root blok tersebut.

Hal ini mendukung Simplified Payment Verification, yang sering disebut SPV.

SPV memungkinkan wallet atau client memverifikasi penyertaan transaksi tanpa mengunduh seluruh blok.

Ini bukan berarti client memverifikasi semua hal yang diverifikasi oleh full node.

Artinya, client dapat memeriksa penyertaan transaksi dengan lebih efisien menggunakan header blok dan data proof.

Proof Merkle Tree di Ethereum

Ethereum menggunakan struktur data terautentikasi bergaya Merkle untuk verifikasi akun dan penyimpanan.

Dokumentasi Ethereum tentang Merkle Patricia Trie menjelaskan bahwa Ethereum menggunakan struktur tree yang terhubung melalui hash kriptografis untuk memberikan jaminan integritas atas data yang disimpan.

Proof Ethereum dapat menunjukkan bahwa akun atau nilai penyimpanan merupakan bagian dari state root tertentu.

Standar EIP-1186 eth_getProof menjelaskan metode RPC untuk membuat Merkle proof bagi akun dan nilai penyimpanan Ethereum.

Proof seperti ini berguna ketika aplikasi ingin memverifikasi state akun tanpa begitu saja memercayai penyedia data.

Sistem proof Ethereum lebih kompleks daripada binary Merkle tree sederhana karena state Ethereum disimpan dalam struktur berbasis trie.

Namun, konsep dasarnya serupa: proof kecil dapat memverifikasi satu bagian data terhadap root tepercaya.

Proof Merkle Tree dalam Whitelist NFT

Proyek NFT sering menggunakan Proof Merkle Tree untuk whitelist dan presale.

Alih-alih menyimpan setiap alamat wallet yang disetujui secara langsung di smart contract, proyek menyimpan satu Merkle root.

Setiap pengguna yang disetujui menerima proof yang menunjukkan bahwa alamat wallet mereka merupakan bagian dari tree whitelist.

Saat pengguna melakukan klaim atau mint, smart contract memverifikasi proof terhadap root yang tersimpan.

Metode ini dapat mengurangi biaya penyimpanan on-chain karena menyimpan satu root jauh lebih murah daripada menyimpan ribuan alamat.

Metode ini juga dapat meningkatkan privasi karena seluruh whitelist tidak perlu ditempatkan langsung di dalam contract.

Namun, pengguna tetap harus memastikan bahwa root dibuat oleh proyek resmi dan halaman klaim bukan situs phishing.

Proof Merkle Tree dalam Airdrop

Airdrop sering menggunakan Proof Merkle Tree untuk memverifikasi siapa yang dapat melakukan klaim token.

Proyek membuat kumpulan data yang berisi alamat wallet dan jumlah klaim yang memenuhi syarat.

Setiap catatan klaim menjadi leaf dalam Merkle tree.

Smart contract menyimpan Merkle root.

Saat melakukan klaim, pengguna mengirimkan alamat, jumlah klaim, dan proof.

Contract memeriksa apakah proof cocok dengan root yang tersimpan.

Jika proof valid dan wallet belum pernah melakukan klaim, contract dapat merilis token.

Desain ini membantu proyek menangani airdrop besar tanpa menyimpan setiap catatan klaim secara langsung di on-chain.

Proof Merkle Tree pada Light Client

Light client adalah wallet atau node yang memverifikasi data blockchain tanpa mengunduh dan memproses seluruh data blockchain.

Proof Merkle Tree membantu light client memverifikasi data tertentu terhadap header blok atau state root tepercaya.

Dokumentasi light client Ethereum menjelaskan bahwa light client memungkinkan pengguna memverifikasi data yang diterima dengan hanya menggunakan sebagian kecil sumber daya yang dibutuhkan full node.

Hal ini penting bagi perangkat seluler, browser, sistem tertanam, dan pengguna dengan bandwidth terbatas.

Light client tidak sama dengan full node.

Light client memverifikasi lebih sedikit data, tetapi tetap dapat meningkatkan kepercayaan dibandingkan jika sepenuhnya mengandalkan penyedia data terpusat.

Proof Merkle Tree dalam Smart Contract

Smart contract dapat memverifikasi Proof Merkle Tree secara langsung di on-chain.

Ini berguna ketika contract perlu memeriksa keanggotaan dalam kumpulan data yang besar.

Dokumentasi MerkleProof OpenZeppelin menyediakan alat untuk memverifikasi Merkle proof di smart contract.

Pola contract yang umum adalah menyimpan Merkle root dan memverifikasi proof yang dikirimkan pengguna saat klaim, mint, pemberian reward, atau pemeriksaan akses.

Metode ini menghindari keharusan menyimpan setiap alamat atau catatan yang memenuhi syarat di dalam contract.

Kompromi utamanya adalah proof harus dibuat dengan benar secara off-chain.

Jika konstruksi tree, metode hashing, aturan pengurutan, atau encoding leaf keliru, pengguna yang memenuhi syarat mungkin gagal diverifikasi atau pengguna yang tidak memenuhi syarat dapat lolos dalam sistem yang dirancang dengan buruk.

Proof Merkle Tree vs. Merkle Root

Merkle root adalah hash akhir yang merepresentasikan seluruh tree.

Proof Merkle Tree adalah kumpulan hash dan data terkait yang digunakan untuk membuktikan bahwa satu leaf merupakan bagian dari tree.

Root ibarat fingerprint dari seluruh kumpulan data.

Proof adalah bukti yang menghubungkan satu item dengan fingerprint tersebut.

Root saja tidak mengungkapkan seluruh data di dalam tree.

Proof saja tidak berguna jika verifier tidak memiliki root tepercaya sebagai pembanding.

Keduanya diperlukan untuk verifikasi.

Proof Merkle Tree vs. Zero-Knowledge Proof

Proof Merkle Tree dan zero-knowledge proof adalah alat kriptografis yang berbeda.

Proof Merkle Tree membuktikan bahwa item tertentu termasuk dalam kumpulan data yang telah dikomitmenkan.

Zero-knowledge proof dapat membuktikan bahwa suatu pernyataan benar tanpa mengungkapkan informasi pribadi yang mendasarinya.

Merkle proof biasanya lebih sederhana, lebih murah, dan lebih mudah diverifikasi daripada banyak zero-knowledge proof.

Zero-knowledge proof dapat mendukung kasus penggunaan privasi dan komputasi yang lebih kompleks.

Dalam beberapa sistem, Merkle proof dan zero-knowledge proof digunakan bersama.

Contohnya, sirkuit zero-knowledge dapat memverifikasi proof penyertaan Merkle secara privat.

Proof Merkle Tree vs. Proof Penyimpanan

Proof penyimpanan sering kali merupakan jenis proof bergaya Merkle yang memverifikasi nilai yang tersimpan dalam state blockchain.

Contohnya, proof penyimpanan Ethereum dapat menunjukkan bahwa slot penyimpanan smart contract memiliki nilai tertentu pada state root blok tertentu.

Proof Merkle Tree adalah konsep yang lebih luas.

Proof penyimpanan merupakan kasus penggunaan khusus untuk membuktikan data state atau penyimpanan.

Perbedaan ini penting karena setiap chain dapat menggunakan struktur data, format proof, dan aturan hashing yang berbeda.

Pengguna tidak boleh berasumsi bahwa proof dari satu blockchain bekerja dengan cara yang sama di blockchain lain.

Manfaat Proof Merkle Tree

Manfaat pertama adalah efisiensi.

Proof dapat memverifikasi satu item tanpa memerlukan seluruh kumpulan data.

Manfaat kedua adalah biaya penyimpanan on-chain yang lebih rendah.

Smart contract dapat menyimpan satu root alih-alih ribuan atau jutaan catatan.

Manfaat ketiga adalah skalabilitas yang lebih baik.

Kumpulan data besar dapat dikomitmenkan dengan root kecil dan diverifikasi melalui proof ringkas.

Manfaat keempat adalah integritas data.

Jika leaf atau hash proof diubah, root yang dihitung tidak akan cocok.

Manfaat kelima adalah privasi parsial.

Pengguna dapat membuktikan penyertaan tanpa mengungkapkan setiap item lain dalam kumpulan data.

Risiko dan Keterbatasan

Risiko pertama adalah konstruksi tree yang keliru.

Jika proyek membuat tree dengan cara yang salah, proof dapat gagal atau menghasilkan hal yang tidak diharapkan.

Risiko kedua adalah encoding leaf yang lemah.

Jika leaf tidak di-encode dengan cermat, input yang berbeda dapat menimbulkan perilaku proof yang membingungkan atau tidak aman.

Risiko ketiga adalah asumsi pengurutan yang keliru.

Beberapa sistem Merkle proof mengharuskan pasangan diurutkan, sementara sistem lain bergantung pada urutan kiri-kanan.

Risiko keempat adalah root yang tidak tepercaya.

Proof yang valid hanya membuktikan penyertaan dalam kumpulan data yang direpresentasikan oleh root tersebut, sehingga root harus berasal dari sumber tepercaya atau terverifikasi.

Risiko kelima adalah replay atau klaim ganda.

Contract airdrop dan klaim harus melacak apakah proof sudah pernah digunakan jika klaim hanya boleh dilakukan satu kali.

Risiko keenam adalah phishing.

Scammer dapat membuat halaman klaim palsu yang meminta pengguna mengirimkan proof atau menandatangani transaksi berbahaya.

Cara Memverifikasi Proof Merkle Tree

Mulailah dengan data leaf yang perlu diverifikasi.

Hash leaf menggunakan metode yang sama dengan yang digunakan untuk membuat tree asli.

Gabungkan hash leaf dengan hash sibling pertama dalam proof.

Hash nilai gabungan tersebut.

Ulangi proses ini untuk setiap hash sibling yang tersisa.

Bandingkan hash akhir yang dihitung dengan Merkle root tepercaya.

Jika kedua root cocok, proof tersebut valid.

Jika keduanya tidak cocok, proof tersebut tidak valid.

Untuk smart contract, proses yang sama biasanya ditangani oleh kode verifikasi.

Bagi pengguna, langkah terpenting adalah memastikan bahwa root, contract, halaman klaim, dan sumbernya resmi.

Kesalahpahaman Umum tentang Proof Merkle Tree

Salah satu kesalahpahaman umum adalah bahwa Proof Merkle Tree membuktikan bahwa data benar dalam segala hal.

Proof ini hanya membuktikan bahwa data termasuk dalam kumpulan data yang direpresentasikan oleh root tertentu.

Kesalahpahaman lainnya adalah bahwa Merkle proof mengungkapkan seluruh kumpulan data.

Biasanya, proof hanya mengungkapkan leaf yang dituju dan hash sibling yang diperlukan untuk verifikasi.

Kesalahpahaman ketiga adalah bahwa semua Merkle proof menggunakan format yang sama.

Sistem yang berbeda dapat menggunakan fungsi hash, aturan pengurutan, bentuk tree, dan encoding proof yang berbeda.

Kesalahpahaman keempat adalah bahwa Merkle proof menghilangkan semua kepercayaan.

Merkle proof mengurangi kebutuhan untuk memercayai pengiriman data, tetapi pengguna tetap memerlukan root tepercaya dan aturan verifikasi yang benar.

Kesalahpahaman kelima adalah bahwa Merkle proof hanya digunakan untuk transaksi.

Proof ini juga dapat memverifikasi whitelist, airdrop, state akun, nilai penyimpanan, data rollup, pesan cross-chain, dan klaim identitas digital.

FAQ

Apa itu Proof Merkle Tree?

Proof Merkle Tree adalah bukti kriptografis yang menunjukkan bahwa satu data merupakan bagian dari kumpulan data yang lebih besar dan direpresentasikan oleh Merkle root.

Apa itu Merkle root?

Merkle root adalah hash akhir di bagian atas Merkle tree dan berfungsi sebagai fingerprint ringkas untuk seluruh kumpulan data.

Bagaimana Merkle proof memverifikasi data?

Verifier meng-hash leaf yang dituju bersama hash sibling dalam proof, lalu memeriksa apakah hasil akhirnya cocok dengan Merkle root tepercaya.

Mengapa blockchain menggunakan Proof Merkle Tree?

Blockchain menggunakan Proof Merkle Tree untuk memverifikasi data secara efisien tanpa mengharuskan setiap pengguna atau aplikasi mengunduh seluruh kumpulan data.

Bagaimana Merkle proof digunakan dalam airdrop?

Contract airdrop dapat menyimpan satu Merkle root dan memungkinkan pengguna mengirimkan proof yang menunjukkan bahwa wallet dan jumlah klaim mereka termasuk dalam kumpulan data yang memenuhi syarat.

Bagaimana Merkle proof digunakan dalam whitelist NFT?

Proyek NFT dapat menggunakan Merkle proof untuk memverifikasi bahwa wallet ada dalam whitelist tanpa menyimpan setiap alamat yang diizinkan secara langsung di on-chain.

Apakah Proof Merkle Tree bersifat privat?

Proof ini menawarkan privasi parsial karena seluruh kumpulan data tidak perlu diungkapkan, tetapi leaf yang dituju dan data proof mungkin tetap terlihat.

Apakah Proof Merkle Tree sama dengan zero-knowledge proof?

Tidak. Merkle proof memverifikasi penyertaan dalam kumpulan data, sedangkan zero-knowledge proof dapat membuktikan pernyataan yang lebih luas tanpa mengungkapkan input pribadi.

Bisakah Merkle proof dipalsukan?

Proof palsu akan gagal jika verifier menggunakan aturan hashing yang benar dan membandingkannya dengan root tepercaya yang benar.

Apa yang perlu diperiksa pengguna sebelum menggunakan halaman klaim Merkle proof?

Pengguna perlu memeriksa contract resmi, situs web resmi, Merkle root tepercaya, prompt wallet, aturan klaim, dan keamanan halaman tersebut.

Kesimpulan

Proof Merkle Tree adalah salah satu alat verifikasi terpenting dalam kripto.

Proof ini memungkinkan pengguna, wallet, smart contract, dan aplikasi membuktikan bahwa satu item termasuk dalam kumpulan data yang lebih besar tanpa mengunduh atau menyimpan seluruh kumpulan data tersebut.

Hal ini membuat sistem blockchain lebih efisien, skalabel, dan praktis.

Proof Merkle Tree digunakan untuk verifikasi penyertaan transaksi, light client, airdrop, whitelist NFT, verifikasi state akun, proof penyimpanan, bridge, dan sistem rollup.

Konsep dasarnya sederhana: Merkle root tepercaya merepresentasikan kumpulan data, sedangkan proof menyusun kembali jalur dari satu leaf ke root tersebut.

Jika root yang dihitung cocok, data tersebut termasuk dalam kumpulan data.

Jika tidak cocok, proof tersebut gagal.

Proof Merkle Tree mengurangi kebutuhan untuk memercayai penyedia data, tetapi tidak menghilangkan semua risiko.

Pengguna dan developer tetap memerlukan aturan hashing yang benar, smart contract yang aman, root tepercaya, pembuatan proof yang cermat, dan perlindungan dari phishing.

Jika dirancang dengan baik, Proof Merkle Tree membuat sistem kripto lebih ringan, murah, dan mudah diverifikasi.