Plasma Cash: Plasma dengan Koin Non-Fungible, Sparse Merkle Tree, dan Pengurangan Drastis Pemeriksaan Data per Pengguna

Penulis Buterin, Vitalik; Floersch, Karl; Robinson, Dan
Tahun 2018
Proyek Plasma Cash (Ethereum Research)
Lisensi Public Domain
Sumber Resmi ethresear.ch/t/plasma-cash-…
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

Plasma Cash (Buterin, Floersch, Robinson — Ethereum Research, 2018) meningkatkan desain Plasma asli (Buterin & Poon, 2017) dengan memberikan setiap aset yang didepositkan ID koin unik dan non-fungible. Ini memungkinkan pengguna hanya memantau riwayat koin spesifik mereka — secara dramatis mengurangi persyaratan data per pengguna.

Plasma Cash mempengaruhi desain bridge NFT awal dan berkontribusi pada fondasi teoritis yang kemudian mengarah ke optimistic rollup dan ZK rollup.

Masalah Data Plasma Asli

Plasma (2017) mengusulkan pemrosesan transaksi off-chain dengan penyelesaian sengketa on-chain. Tantangannya: untuk mendeteksi transaksi tidak valid, pengguna harus mengunduh dan memverifikasi semua transaksi di setiap blok Plasma. Untuk rantai Plasma besar dengan ribuan pengguna, ini menciptakan persyaratan data per pengguna yang tidak praktis.

Solusi Plasma Cash: Jadikan setiap koin non-fungible dengan nomor seri unik. Pengguna hanya melacak riwayat transaksi koin mereka sendiri. Untuk mendeteksi pencurian, pengguna hanya memverifikasi bukti Merkle Plasma untuk slot koin spesifik mereka di setiap blok.

Cara Kerja Plasma Cash

Deposit

Pengguna mendepositkan ETH (atau ERC-20) ke kontrak Plasma. Setiap deposit membuat koin unik dengan:

  • UID koin sekuensial
  • Denominasi (jumlah)

Transfer

Transfer koin terjadi off-chain. Setiap transfer menyertakan UID koin, penerima, dan tanda tangan.

Blok Plasma

Operator mengirimkan root Merkle dari transaksi secara periodik. Pohon bersifat sparse — posisi setiap koin dalam pohon sesuai dengan UID-nya, dan posisi kosong disertakan secara eksplisit (sparse Merkle tree). Ini memungkinkan bukti ringkas bahwa koin TIDAK digunakan dalam blok tertentu — krusial untuk exit game.

Exit Game

  1. Pengguna yang ingin menarik koin mereka mengirimkan “exit” ke kontrak Plasma dengan bukti transaksi terbaru
  2. Periode tantangan memungkinkan siapa pun mengirimkan kontra-bukti (membuktikan koin sudah digunakan)
  3. Jika tidak ada tantangan, pengguna menerima dana dari kontrak Plasma

Jenis tantangan:

  1. Spent coin challenge: Buktikan koin yang keluar sudah digunakan
  2. Invalid history challenge: Buktikan transaksi dalam riwayat koin tidak valid

Sparse Merkle Trees

Plasma Cash membutuhkan kemampuan membuktikan bahwa koin TIDAK ditransaksikan dalam blok tertentu (yaitu, tidak dicuri di blok itu). Pohon Merkle standar hanya dapat membuktikan kehadiran, bukan ketidakhadiran. Sparse Merkle trees (SMT) memiliki kedalaman tetap = ukuran ruang UID koin; daun kosong memiliki hash yang diketahui. Bukti Merkle untuk slot kosong membuktikan koin tidak bergerak di blok itu.

Keterbatasan dan Warisan

Plasma Cash tidak digunakan secara luas dalam produksi — persyaratan non-fungibilitas membuatnya canggung untuk token fungible (memisah/menggabung koin memerlukan penanganan yang kompleks). Sebaliknya, ini berkontribusi pada:

  • Pemahaman tentang fraud proof dan exit game yang mempengaruhi desain Optimistic Rollup
  • Pengembangan Optimistic Rollups (yang menggunakan model fraud proof serupa tetapi memecahkan masalah ketersediaan data secara berbeda dengan mempublikasikan data penuh on-chain)
  • Pemahaman tentang skalabilitas off-chain spesifik NFT

Lintasan Plasma → Optimistic Rollup adalah salah satu evolusi desain yang paling penting dalam skalabilitas Ethereum. Plasma Cash menyempurnakan konsep fraud proof yang menjadi inti Arbitrum dan Optimism.

Catatan Realistis

  • Plasma dan Plasma Cash adalah contoh di mana penelitian blockchain meletakkan dasar untuk solusi yang lebih baik bahkan ketika desain asli tidak digunakan dalam produksi. Optimistic Rollup secara langsung mewarisi intuisi fraud proof dari Plasma.
  • Data availability tetap menjadi tantangan: Baik Plasma maupun Plasma Cash tidak sepenuhnya memecahkan masalah ketersediaan data. Jika operator Plasma menahan data, pengguna tidak dapat membuktikan bahwa exit mereka valid. ZK rollup dan optimistic rollup memecahkan ini dengan mempublikasikan semua data on-chain.

Istilah Terkait

Referensi

  • Buterin, V., Floersch, K., & Robinson, D. (2018). Plasma Cash: Plasma with Much Less Per-User Data Checking. Ethereum Research. ethresear.ch