| Penulis | Ali, Muneeb; Nelson, Jude; Blankstein, Aaron; et al. |
|---|---|
| Tahun | 2020 |
| Proyek | Stacks |
| Lisensi | GPL-3.0 |
| Sumber Resmi | stacks.pdf (gaia.blockstack.org) |
Stacks (sebelumnya Blockstack) adalah layer smart contract dan aplikasi untuk Bitcoin yang dijelaskan dalam whitepaper 2020 oleh Muneeb Ali, Jude Nelson, Aaron Blankstein, dan kolega. Inovasi inti adalah Proof of Transfer (PoX): mekanisme konsensus di mana miner Stacks membakar Bitcoin (BTC) untuk mendapatkan hak memproduksi blok Stacks, secara kriptografis menjangkarkan riwayat transaksi Stacks ke blockchain Bitcoin tanpa memodifikasi Bitcoin itu sendiri.
Ini memberikan Stacks properti yang tidak biasa: transaksi Stacks mencapai finalitas di Bitcoin. Node Bitcoin mana pun dapat memverifikasi riwayat blok Stacks dengan membaca timechain Bitcoin.
Konteks: Blockstack ke Stacks 2.0
Blockstack Inc. didirikan 2013 oleh Muneeb Ali dan Ryan Shea sebagai layer DNS dan identitas terdesentralisasi. Perusahaan melakukan salah satu penawaran token pertama yang memenuhi kualifikasi SEC (Regulation A+) pada 2019, mengumpulkan ~$23M. Token STX adalah sekuritas yang terdaftar selama periode penawaran.
Whitepaper 2020 mendeskripsikan Stacks 2.0, redesain besar yang menggantikan sistem penamaan Blockstack sebelumnya dengan platform smart contract Turing-complete. Stacks 1.0 menggunakan mekanisme “Proof of Burn” di mana miner membakar STX; Stacks 2.0 mengubah ini menjadi miner membakar BTC. Proyek ini berganti nama dari Blockstack ke Stacks pada Oktober 2020.
Proof of Transfer (PoX)
PoX adalah mekanisme produksi blok Stacks:
- Election: Miner Stacks bersaing dalam pemilihan leader berbasis VRF (Verifiable Random Function) setiap blok Bitcoin (~10 menit).
- Bitcoin burn: Miner melakukan pembayaran BTC ke pemegang STX terdaftar (disebut “Stackers”) untuk berpartisipasi dalam pemilihan.
- Produksi blok: Miner terpilih menghasilkan blok Stacks, di-anchor ke blok Bitcoin dengan menyertakan hash blok Bitcoin.
- Reward: Miner pemenang mendapatkan reward blok STX; Stacker mendapatkan yield BTC.
Stacking: Pemegang STX yang “stack” (mengunci STX untuk siklus reward) menerima BTC dari miner. Ini menciptakan mekanisme yield: stacking STX menghasilkan BTC.
Finalitas Bitcoin: Karena setiap blok Stacks mereferensikan blok Bitcoin, riwayat transaksi Stacks ditentukan oleh rantai terpanjang Bitcoin. Fork Stacks memerlukan fork Bitcoin — tidak dapat di-reorganisasi tanpa juga mengorganisasi ulang Bitcoin.
Clarity: Kontrak Pintar yang Dapat Diputuskan
Clarity adalah bahasa kontrak pintar Stacks, dirancang dengan dua properti yang tidak biasa:
Decidability
Clarity tidak Turing-complete by design. Setiap fungsi Clarity dijamin untuk terminate. Anda dapat menentukan, sebelum mengeksekusi transaksi, persis berapa resource yang akan dikonsumsi. Ini adalah keberangkatan yang disengaja dari Solidity/EVM.
Diinterpretasikan (tidak dikompilasi)
Kontrak Clarity dideploy dan dieksekusi secara langsung — tidak ada langkah kompilasi dan tidak ada bytecode perantara. Kode sumber yang dideploy on-chain itulah yang dieksekusi. Ini menghilangkan seluruh kelas bug compiler dan membuat kontrak lebih mudah diaudit.
Bandingkan: Solidity dikompilasi ke bytecode EVM; artefak yang dideploy adalah bytecode, bukan Solidity. Banyak eksploit memanfaatkan perbedaan antara apa yang developer kira mereka tulis dan apa yang compiler hasilkan.
sBTC: Bitcoin Peg Dua Arah (Nakamoto Upgrade)
Nakamoto upgrade (2024) memperkenalkan:
- sBTC: Aset berbasis BTC 1:1 native di Stacks, didukung oleh peg terdesentralisasi yang diawasi oleh jaringan signer (memerlukan supermajority 80%).
- Blok lebih cepat: Stacks menghasilkan blok lebih cepat dalam setiap periode blok Bitcoin (~5 detik blok Stacks vs. 10 menit Bitcoin blok pre-Nakamoto).
- 100% finalitas Bitcoin: Semua transaksi Stacks kini sepenuhnya diselesaikan di Bitcoin dalam satu konfirmasi Bitcoin.
Catatan Realistis
- Banyak developer dan pengguna Bitcoin tidak menganggap Stacks sebagai “Bitcoin L2” dalam arti yang bermakna (tidak menggunakan skrip Bitcoin/lightning network). Istilah ini diperdebatkan.
- Model kepercayaan sBTC melibatkan multisig signer — bukan keamanan trustless yang sama dengan Bitcoin native.
- Meskipun memiliki manfaat, Clarity tetap menjadi bahasa niche; sebagian besar developer kontrak pintar bekerja di Solidity atau Rust.
Muneeb Ali
CEO Stacks dan peneliti lulusan Princeton. Salah satu pelopor infrastruktur terdesentralisasi paling berdedikasi di industri kripto. Perusahaannya melakukan penawaran token yang memenuhi kualifikasi SEC pertama di AS (2019), tonggak penting untuk kepatuhan regulasi token.
Istilah Terkait
Referensi
- Ali, M., Nelson, J., Blankstein, A., et al. (2020). Stacks 2.0: Apps and Smart Contracts for Bitcoin. stacks.pdf