Kewangan asli Bitcoin tanpa jambatan

Ingin tahu

1. Bagaimanakah kontrak kewangan boleh diselesaikan dalam satoshi sebenar tanpa memperkenalkan token atau rangkaian baru?
2. Apa anggapan kepercayaan khusus yang diperkenalkan apabila menggunakan oracle untuk data harga berbanding dengan mengesahkannya secara tempatan?
3. Mengapa keupayaan untuk keluar secara sepihak kembali ke lapisan asas dianggap sebagai metrik keselamatan utama bagi kewangan berasaskan Bitcoin?

Teroka

1. Kontrak Log yang terselindung, yang dicadangkan oleh T. Dryja pada tahun 2017, membolehkan kontrak kewangan menggunakan Bitcoin dengan hanya mata wang asli. Kedua-dua pihak mengunci dana dalam struktur output multisig 2-of-2 dan menandatangani terlebih dahulu satu transaksi pembayaran untuk setiap hasil yang mungkin; setiap transaksi tersebut hanya boleh digunakan dengan tandatangan pengadaptasi yang sah setelah mendapat tandatangan oracle untuk hasil tersebut. Oracle akan menerbitkan pengesahan tanpa mengetahui kewujudan kontrak tersebut. Apabila ia memberikan pengesahan, pembayaran yang sepadan menjadi sah; jika ia gagal atau berkelakuan tidak wajar, ciri timelock membolehkan peserta mendapatkan semula modal mereka selepas tempoh masa yang ditetapkan. Reka bentuk ini mengelakkan penggunaan Bitcoin dalam token rangkaian lain, tetapi menimbulkan kebergantungan penting: pengguna perlu mempercayai oracle agar tidak menandatangani secara jahat, dan bahawa rangkaian akan melaksanakan ciri timelock tersebut.
2. Struktur Multisig dan timelock memudahkan protokol pemberian pinjaman di mana peminjam kekal menyimpan kunci mereka sementara cagaran dikunci. Dalam reka bentuk ini, pemberi pinjaman memegang satu kunci dan peminjam memegang kunci yang lain; mekanisme pihak ketiga atau berdasarkan skrip digunakan untuk melaksanakan proses pelupusan sekiranya nilai cagaran jatuh di bawah ambang tertentu. Berbeza dengan aset yang perlu menggunakan pengurus untuk mencipta token pada rangkaian lain, pendekatan ini mengekalkan semua nilai dalam model UTXO Bitcoin. Komprominya ialah kerumitan dalam pengurusan kunci serta risiko ralat dalam perisian yang digunakan untuk membina dan menandatangani transaksi tersebut.
3. Saluran Lightning Network membenarkan aliran pembayaran di luar rangkaian yang hanya akan diselesaikan semula ke lapisan asas apabila saluran tersebut ditutup. Ini mengurangkan kesesakan dan yuran untuk transaksi yang kerap, sambil mengekalkan jaminan kesempurnaan Bitcoin. Ark membolehkan ramai pengguna berkongsi satu hasil transaksi di dalam rangkaian yang dikendalikan oleh seorang pengendali; setiap pengguna memiliki laluan yang telah ditandatangani terlebih dahulu untuk keluar dari rangkaian secara sendirian sekiranya pengendali tersebut hilang. Keselamatan sistem ini sepenuhnya bergantung pada konsensus rangkaian asas; tiada set pengesah baru yang diperkenalkan, sekaligus memelihara model keselamatan terdesentralisasi yang telah ditetapkan sebelum ini.
4. Reka bentuk gaya BitVM bertujuan untuk mengesahkan pengiraan secara rawak tanpa mengubah peraturan konsensus Bitcoin. BitVM (Robin Linus, 2023) bersifat optimis: pihak yang ingin membuktikan sesuatu hasil akan berbuat demikian di luar rangkaian Bitcoin, dan jika ada yang mempersoalkannya, pertikaian tersebut akan diselesaikan menggunakan mekanisme Script dalam Bitcoin untuk mengenal pasti langkah yang salah dan menghukum pihak yang membuktikannya. Penggunaan utamanya ialah pada jambatan rangkaian yang hanya memerlukan seorang pengesah yang jujur daripada ramai orang, bukannya sebuah persekutuan yang boleh dipercayai. Ia mewakili peralihan yang signifikan daripada rangkaian bertujuan umum yang lengkap seperti Turing kepada pengiraan yang terpilih dan boleh disahkan.
5. Setiap mekanisme ini memperkenalkan anggapan kepercayaan yang berbeza yang perlu dinilai berdasarkan sifat asas Bitcoin. Oracle memerlukan kepercayaan terhadap sumber data luaran; kontrak multisig memerlukan kepercayaan terhadap kesahan kod dan pengurusan kunci; manakala saluran keadaan pula memerlukan kepercayaan terhadap mekanisme penyelesaian pertikaian. Persamaannya ialah pemeliharaan konsep kendali sendiri: pengguna sentiasa boleh menukar aset tersebut kepada satoshi asli tanpa memerlukan kebenaran daripada pihak pengurusan atau kunci pentadbiran. Ini berbeza secara ketara dengan aset yang dibungkus, di mana untuk keluar diperlukan proses pemindahan semula melalui perantara yang dipercayai, sekaligus membawa risiko pihak lawan yang dapat dielakkan oleh reka bentuk asli.
6. Baca struktur transaksi dalam spesifikasi DLC (dlcspecs): sebuah transaksi pembiayaan dengan output multisig 2-of-2, satu transaksi pelaksanaan yang telah ditandatangani terlebih dahulu untuk setiap hasil, dan sebuah transaksi pengembalian yang dikunci sehingga waktu yang ditetapkan sekiranya oracle tidak pernah memberikan pengesahan. Tandakan bahagian mana yang dipercayai oleh setiap pihak, iaitu oracle dan rangkaian.

Fakta utama

Latihan sembilan, enam, tiga, satu

Semakan fakta

Tarikh, angka dan dakwaan telah disemak berbanding dengan sumber yang diterbitkan yang disenaraikan di bawah.

• T. Dryja, 'Discreet Log Contracts' (2017)
• R. Linus, 'BitVM: Compute Anything on Bitcoin' (2023); Discreet Log Contract specifications (github.com/discreetlogcontracts/dlcspecs)
• Lightning Network Whitepaper: J. Poon & T. Dryja (2015/2016)