| Penulis | Buterin, Vitalik; Floersch, Karl; Robinson, Dan |
|---|---|
| Tahun | 2018 |
| Proyek | Plasma Cash (Ethereum Research) |
| Lisensi | Public Domain |
| Sumber Resmi | ethresear.ch/t/plasma-cash-… |
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
- Pengguna yang ingin menarik koin mereka mengirimkan “exit” ke kontrak Plasma dengan bukti transaksi terbaru
- Periode tantangan memungkinkan siapa pun mengirimkan kontra-bukti (membuktikan koin sudah digunakan)
- Jika tidak ada tantangan, pengguna menerima dana dari kontrak Plasma
Jenis tantangan:
- Spent coin challenge: Buktikan koin yang keluar sudah digunakan
- 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