Kandungan
1. Memulakan Truebit
Kertas kerja ini bermula dengan membandingkan model pengedaran Bitcoin yang egalitarian dan berasaskan pengiraan dengan cabaran pemulaan yang dihadapi oleh token berasaskan kontrak pintar seperti yang dicadangkan untuk Truebit. Model Bitcoin "jana wang anda sendiri" tidak boleh diterjemahkan secara langsung kepada sistem di mana pengguna mesti membekalkan token yang digunakan untuk pembayaran.
1.1 Cabaran Pemulaan
Rangkaian baharu yang memerlukan pembayaran dalam token tertentu menghadapi halangan penerimaan asas: pengguna tidak mempunyai akses awal kepada token tersebut. Walaupun pelombong/penaruh banyak dalam ekosistem blockchain, pengguna yang sepadan untuk perkhidmatan terpencar tidak wujud. Protokol mesti mengurangkan geseran dan politik untuk pengguna tanpa menjejaskan keselamatan, terutamanya dalam landskap permintaan untuk pengiraan terpencar yang agak rendah.
1.2 Keperluan untuk Harga Stabil
Kertas kerja ini menggunakan analogi juruterbang kapal terbang yang memerlukan jumlah bahan api yang tetap, bukan jumlah yang stabil dari segi nilai USD. Begitu juga, pengguna pengiraan terpencar memerlukan penetapan harga tugas yang boleh diramal. Harga token yang tidak menentu menjadikan perancangan kos mustahil. Ini memerlukan token stabil yang nilainya dikaitkan dengan kos sumber yang digunakan (pengiraan), bukan mata wang fiat luaran.
2. Model Token Stabil
Truebit mencadangkan model token yang direka untuk menyediakan penetapan harga yang stabil untuk tugas pengiraan di rangkaiannya.
2.1 Prinsip Reka Bentuk
Model ini bertujuan untuk "token yang mampu milik, stabil dan bebas daripada USD." Ia mengandaikan tiada nod berkuasa istimewa, berusaha ke arah sistem tanpa kepercayaan dan terpencar berdasarkan andaian keselamatan mudah dan penetapan harga tanpa hierarki. Matlamatnya adalah untuk mencipta reka bentuk ekonomi yang mampan yang menarik pengguna.
2.2 Korelasi dengan Elektrik
Satu pandangan utama ialah kedua-dua token stabil Truebit dan mata wang fiat mungkin berkorelasi dengan harga elektrik. Memandangkan pengiraan pada asasnya menggunakan elektrik, token yang nilainya longgar dipatok atau dipengaruhi oleh kos elektrik menyediakan mekanisme kestabilan semula jadi untuk penetapan harga tugas pengiraan.
3. Mekanisme Pengedaran
Untuk menyelesaikan masalah pengedaran awal, kertas kerja ini meneroka mekanisme di luar pra-pencetakan tradisional.
3.1 Memanfaatkan Kecairan Sedia Ada
Teknik yang dicadangkan mengurangkan geseran untuk pengguna dengan membenarkan mereka menggunakan aset (kriptomata wang cair lain) yang sedia ada pada mereka. Sistem ini memanfaatkan token cair sedia ada ini untuk pengedaran awal dan penyediaan kecairan.
3.2 Alternatif kepada Pra-Pencetakan
Walaupun beberapa projek menggunakan pra-pencetakan (pengedaran awal kepada kumpulan terpilih), ini sahaja tidak mencipta barang awam. Kertas kerja ini mencadangkan kaedah pengedaran yang serentak menawarkan sumber pendapatan berpotensi untuk pengurusan projek dan memupuk kerjasama yang dipertingkatkan dalam ekosistem.
4. Tadbir Urus dan Pencapahan
Lapisan tadbir urus diperkenalkan untuk mengurus fasa pemulaan dan membimbing rangkaian ke arah pencapahan penuh.
4.1 Permainan Tadbir Urus
Permainan tadbir urus menentukan penggunaan jangka pendek token untuk memulakan rangkaian. Ia juga mewujudkan insentif jangka panjang untuk pemegang token tadbir urus.
4.2 Jalan Menuju Pencapahan Autonomi
Kitaran hayat lapisan tadbir urus direka untuk berakhir dengan pembubaran kekalnya. Token tadbir urus bertujuan untuk ditukar menjadi token utiliti. Selepas penukaran penuh, sistem "terpencar sepenuhnya, namun boleh dinaik taraf" kekal, setelah mencapai pencapahan autonomi.
5. Inti Pati & Analisis
Perspektif Penganalisis: Model Token Truebit Dihuraikan
Inti Pati: Truebit bukan sekadar membina oracle pengiraan terpencar; ia cuba menyelesaikan masalah pemulaan ekonomi asas yang melumpuhkan kebanyakan projek token utiliti. Tesis teras mereka ialah utiliti token tidak bermakna jika kos pemerolehannya tidak menentu dan tidak boleh diramal untuk pengguna akhir. Kertas kerja ini dengan betul mengenal pasti bahawa untuk pasaran pengiraan, kestabilan harga relatif kepada kos sumber (elektrik/kitaran pengiraan) adalah lebih kritikal daripada kestabilan terhadap USD. Ini mengalihkan paradigma reka bentuk daripada "stablecoin" kepada "unit akaun yang disokong sumber," satu nuansa yang terlepas oleh kebanyakan projek. Seperti yang dinyatakan dalam penyelidikan Bank for International Settlements mengenai aset kripto, kekurangan unit akaun yang stabil adalah halangan utama kepada penerimaan perkhidmatan berasaskan blockchain untuk kontrak dunia sebenar.
Aliran Logik: Hujah berjalan dengan ketepatan pembedahan: (1) Kenal pasti kebuntuan penerimaan (perlukan token untuk menggunakan perkhidmatan, tidak boleh dapatkan token tanpa perkhidmatan). (2) Tolak penyelesaian bermuatan politik seperti pra-perlombongan istimewa. (3) Cadangkan sistem dwi-token dengan token utiliti stabil untuk penggunaan dan token tadbir urus untuk pemulaan. (4) Reka mekanisme tadbir urus yang memusnahkan diri yang memberi insentif untuk penukarannya sendiri kepada utiliti, bertujuan untuk keadaan terpencar "pasca-tadbir urus." Aliran ini mencerminkan corak pemulaan berjaya dalam perisian sumber terbuka, di mana fasa diktator baik hati sering memberi laluan kepada yayasan yang dipimpin komuniti.
Kekuatan & Kelemahan: Kekuatan model ini ialah pengiktirafannya terhadap keutamaan masa dalam penggunaan. Analogi bahan api kapal terbang adalah cemerlang—ia membingkaikan masalah dalam istilah ekonomi yang ketara. Memanfaatkan kecairan sedia ada (cth., ETH) untuk pemulaan adalah pragmatik dan mengurangkan geseran awal, taktik yang dilihat dalam primitif DeFi berjaya seperti Uniswap. Walau bagaimanapun, kelemahan kritikal kertas kerja ini ialah ketidakjelasannya mengenai mekanisme untuk kestabilan. Bagaimana, tepatnya, token berkorelasi dengan kos elektrik tanpa oracle? Sebutan tentang "format token yang boleh dicetak" menarik tetapi kurang ditentukan. Adakah ia mekanisme penyelarasan algoritma, sistem kedudukan hutang bercagar (CDP) menggunakan kuasa pengiraan sebagai cagaran, atau sesuatu yang lain? Kekurangan spesifikasi teknikal ini, mengingatkan jurang awal dalam kertas putih MakerDAO, meninggalkan enjin ekonomi teras tidak disahkan. Tambahan pula, "permainan tadbir urus" hanya digambarkan dari segi hasil, bukan peraturan atau struktur insentif, menjadikan penilaian kredibilitinya mustahil.
Pandangan Boleh Tindak: Untuk pembina, pengambilannya ialah untuk memisahkan medium pertukaran daripada simpanan nilai semasa pemulaan. Benarkan pembayaran dalam aset mantap sambil mengumpul nilai kepada token asli melalui penukaran yuran atau lengkung ikatan, strategi yang digunakan oleh MerkleMine Livepeer. Untuk pelabur, teliti mana-mana projek "token pengiraan stabil" mengenai spesifikasi mekanisme kestabilannya—jika ia tidak sekuat reka bentuk MakerDAO atau Terra (pra-keruntuhan), ia adalah vaporware. Pengawal selia harus perhatikan matlamat model untuk mengelakkan klasifikasi sekuriti dengan mempunyai token tadbir urus secara jelas ditukar kepada utiliti tulen, tarian undang-undang yang akan diuji. Ujian muktamad untuk model Truebit ialah sama ada mekanisme kestabilannya boleh menahan serangan spekulatif dan lingkaran kematian yang sama yang telah membelenggu aset stabil algoritma lain, seperti yang didokumenkan dalam kertas kerja seminal "The Inevitability of Price Bubbles in Blockchain Markets" oleh Abadi dan Brunnermeier.
6. Butiran Teknikal & Formalisme Ekonomi
Walaupun petikan PDF yang disediakan adalah peringkat tinggi, model ekonomi yang dicadangkan membayangkan beberapa mekanisme teknikal.
Konsep Mekanisme Kestabilan: Satu formalisasi berpotensi untuk token stabil-pengiraan melibatkan mematok nilainya kepada kos unit pengiraan. Biarkan $C_{e}$ menjadi kos purata elektrik per kWh dalam pasaran penanda aras, dan biarkan $E_{task}$ menjadi tenaga (dalam kWh) yang diperlukan untuk melaksanakan tugas pengesahan standard di rangkaian Truebit. Harga sasaran $P_{token}$ untuk satu token boleh direka untuk menjejaki:
$P_{token} \propto C_{e} \times E_{task}$
Ini boleh dikekalkan bukan oleh oracle, tetapi oleh mekanisme cetak/bakar yang dikaitkan dengan penyerahan tugas. Apabila harga pasaran token meningkat melebihi kos tersirat ini, protokol membenarkan pencetakan token baharu terhadap deposit aset lain (cth., ETH), meningkatkan penawaran untuk menolak harga turun. Apabila harga jatuh di bawah, token boleh dibakar untuk menerima bahagian yuran tugas yang dinyatakan dalam aset lain, mengurangkan penawaran.
Penukaran Token Tadbir Urus: Penukaran daripada token tadbir urus $G$ kepada token utiliti $U$ boleh dimodelkan sebagai fungsi masa dan penggunaan rangkaian. Contohnya, kadar penukaran yang menyusut:
$U(t) = G \times r_0 \times e^{-\lambda t}$
di mana $r_0$ ialah nisbah penukaran awal, $\lambda$ ialah pemalar susutan, dan $t$ ialah masa atau bilangan blok. Ini memberi insentif untuk penukaran awal dan memastikan lapisan tadbir urus akhirnya terbubar.
7. Rangka Kerja Analisis & Contoh Kes
Rangka Kerja untuk Menilai Model Pemulaan:
- Sumber Kecairan Awal: Adakah model memerlukan modal baharu (sukar) atau memanfaatkan kecairan sedia ada (lebih mudah)? Truebit memilih yang kedua.
- Geseran Pengguna: Bolehkah pengguna menggunakan perkhidmatan serta-merta dengan aset yang mungkin mereka pegang (ETH) atau mesti mereka peroleh token baharu yang tidak menentu dahulu?
- Mekanisme Kestabilan: Adakah unit akaun untuk penetapan harga perkhidmatan stabil relatif kepada (a) mata wang fiat, (b) sumber teras yang dijual, atau (c) tiada?
- Matahari Terbenam Tadbir Urus: Adakah tadbir urus pemulaan mempunyai komitmen kredibel untuk mencapah, atau ia mengukuhkan kawalan?
Contoh Kes: Kontras dengan Filecoin
Filecoin, rangkaian penyimpanan terpencar, menghadapi masalah pemulaan yang serupa. Penyelesaiannya melibatkan pra-perlombongan besar-besaran (jualan SAFT) untuk membiayai pembangunan dan mekanisme perlombongan bukti-ruang-masa yang kompleks untuk mengedarkan token. Pengguna (klien penyimpanan) mesti memperoleh token FIL untuk membayar penyimpanan. Ini mencipta geseran awal yang tinggi dan mendedahkan klien kepada turun naik harga FIL. Model Truebit, dengan mensasarkan kestabilan kos-sumber dan memanfaatkan kecairan ETH, cuba mengelakkan kedua-dua perangkap. Tadbir urus Filecoin kekal sebahagian besarnya dengan pasukan Protocol Labs, manakala model Truebit secara eksplisit merancang untuk pembubaran tadbir urus.
8. Aplikasi & Hala Tuju Masa Depan
Model token stabil Truebit, jika berjaya, boleh mempunyai implikasi di luar pengiraan yang boleh disahkan.
- Rangkaian Infrastruktur Fizikal Terpencar (DePIN): Model ini boleh digunakan secara langsung kepada mana-mana DePIN yang menjual sumber dunia sebenar (lebar jalur, penyimpanan, data sensor) di mana pembekal menanggung kos utama (elektrik, perkakasan). Token yang stabil terhadap kos itu memudahkan penetapan harga untuk pengguna.
- AI & Pembelajaran Mesin Terpencar: Apabila inferens AI on-chain berkembang, pasaran untuk masa GPU akan memerlukan penetapan harga yang stabil. Token "stabil-pengiraan" boleh menjadi mata wang asli untuk platform seperti Akash atau Render Network, memudahkan pembangun AI untuk belanjakan kos latihan.
- Perkhidmatan Rentas Rantai: Teknik pemulaan memanfaatkan aset cair mantap (cth., BTC, ETH, SOL) boleh digunakan oleh rantai L1 atau L2 baharu untuk memulakan ekosistem mereka tanpa bergantung pada pra-perlombongan modal teroka.
- Evolusi Kawal Selia: Pemisahan dan laluan penukaran yang jelas daripada tadbir urus kepada token utiliti mungkin menyediakan templat untuk projek yang ingin menavigasi peraturan sekuriti, menunjukkan laluan yang jelas ke arah pencapahan yang pengawal selia seperti SEC berpotensi kenali.
- Penyelidikan Masa Depan: Soalan terbuka utama termasuk: Bolehkah mekanisme kestabilan yang benar-benar teguh, bebas oracle direka? Bagaimana untuk mengesahkan secara formal keserasian insentif "permainan tadbir urus"? Bagaimana prestasi model di bawah turun naik pasaran melampau atau peristiwa "angsa hitam" dalam aset asas (cth., ETH) yang digunakan untuk kecairan?
9. Rujukan
- Teutsch, J., Mäkelä, S., & Bakshi, S. (2019). Bootstrapping a stable computation token. arXiv preprint arXiv:1908.02946.
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Abadi, J., & Brunnermeier, M. (2023). The Inevitability of Price Bubbles in Blockchain Markets. Econometrica.
- Bank for International Settlements (BIS). (2022). Annual Economic Report - Chapter III: The future monetary system. https://www.bis.org/publ/arpdf/ar2022e3.htm
- Livepeer. (2018). MerkleMine: A Fair Token Distribution Mechanism. https://medium.com/livepeer-blog/merkle-mine-a-fair-token-distribution-mechanism-f5b8e45d5d74
- MakerDAO. (2017). The Maker Protocol: MakerDAO's Multi-Collateral Dai (MCD) System. https://makerdao.com/en/whitepaper
- Protocol Labs. (2017). Filecoin: A Decentralized Storage Network. https://filecoin.io/filecoin.pdf