Pada tahun 2018, Tadge Dryja dari MIT mengusulkan Discreet Log Contract (DLC), yang merupakan kerangka pelaksanaan kontrak berbasis oracle. DLC memungkinkan kedua belah pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan sebelumnya, dengan menentukan kemungkinan hasil dan melakukan pra-tanda tangan, saat oracle menandatangani hasilnya, pembayaran dilakukan. Cara ini menjamin keamanan simpanan Bitcoin sambil mewujudkan aplikasi keuangan terdesentralisasi yang baru.
Penelitian sebelumnya menganalisis keuntungan dan masalah yang ada pada DLC, serta mengusulkan beberapa solusi optimasi. Namun, karena DLC melibatkan banyak pihak, strategi pertahanan relatif kompleks dan kurang memiliki keindahan yang sederhana.
Dalam sistem Bitcoin, semua tindakan dilakukan melalui UTXO. Oleh karena itu, memastikan keakuratan UTXO dapat melawan serangan apa pun. Demikian pula, dalam DLC, semua tindakan dilakukan melalui CET (Contract Execution Transaction). Menggunakan mekanisme tantangan optimis untuk memastikan CET benar, dapat melawan serangan apa pun. Secara spesifik, oracle harus mempertaruhkan 2BTC sebelum dapat menandatangani CET, dan menambahkan mekanisme tantangan optimis dalam CET. Jika CET tidak ditantang atau berhasil menghadapi tantangan, maka dianggap benar dan penyelesaian selesai, oracle membebaskan taruhan dan memperoleh biaya transaksi. Jika oracle mencoba berbuat jahat, siapa pun dapat berhasil menantang, menyebabkan CET tidak dapat diselesaikan, oracle kehilangan taruhan dan kehilangan hak untuk menandatangani lagi. Metode ini sesuai dengan prinsip 'kesederhanaan yang mendalam', dengan keindahan yang sederhana.
2. Prinsip DLC
Sebagai contoh perjanjian taruhan sederhana: Alice dan Bob bertaruh pada apakah nilai hash dari blok ke-ξ adalah ganjil atau genap. Jika ganjil, Alice menang; jika genap, Bob menang. DLC menyampaikan informasi blok melalui oracle, membangun tanda tangan bersyarat, sehingga pihak yang benar mendapatkan semua aset.
Langkah utama DLC meliputi: transaksi penyetoran, membangun CET, penyelesaian, dan penarikan. Dalam proses ini, semua tindakan perlu dilakukan melalui CET. Oleh karena itu, cukup dengan menggunakan mekanisme tantangan optimis untuk memastikan CET benar, maka dapat melawan serangan apa pun. CET yang salah akan ditantang dan tidak akan dieksekusi, sedangkan CET yang benar akan dieksekusi. Pada saat yang sama, oracle harus membayar biaya untuk perilaku jahat.
3. OP-DLC 2
OP-DLC mencakup lima ketentuan utama berikut:
Oracle terdiri dari aliansi, dan anggota mana pun dapat menandatangani CET. Oracle perlu mempertaruhkan 2BTC untuk dapat menerbitkan tanda tangan dan mendapatkan biaya transaksi. Anggota yang berbuat jahat akan kehilangan taruhan mereka, sementara anggota lain dapat terus menandatangani CET untuk memastikan pengguna dapat menarik dana. Pengguna juga dapat menjadi oracle, mewujudkan minimalisasi kepercayaan.
Jika oracle berbuat jahat dan mengubah hasil, pihak mana pun dapat mel发起 tantangan.
Ketika oracle menandatangani CET dengan jujur, tidak ada yang dapat memulai tantangan yang valid. Setelah seminggu, CET dapat diselesaikan dengan benar, dan oracle mendapatkan hadiah 0.05BTC.
Siapa saja dapat menantang Oracle_sign. Tanda tangan yang jujur tidak dapat ditantang dengan sukses, dan penyelesaian akan dilakukan setelah satu minggu. Tanda tangan yang tidak jujur akan mengakibatkan kerugian jaminan pada oracle, dan kehilangan hak untuk menandatangani ulang kontrak DLC tersebut.
Tantangan dalam OP-DLC adalah tanpa izin, pihak mana pun dapat mengawasi pelaksanaan kontrak. Ini mewujudkan minimalisasi kepercayaan terhadap oracle, pengguna juga dapat offline.
Keuntungan OP-DLC meliputi:
Pengguna memiliki kontrol tinggi atas aset, dapat hanya mempercayai diri sendiri
Tingkat pemanfaatan dana tinggi
Orakel yang dapat menandatangani ditentukan saat deposit, pengguna dapat menjadi orakel.
Kekurangan termasuk:
Waktu penarikan membutuhkan satu minggu
Jumlah pra-tanda tangan memiliki hubungan linier dengan jumlah CET, tumbuh cukup cepat
4. Kesimpulan
OP-DLC memperkenalkan mekanisme tantangan optimis ke dalam CET, memastikan CET yang salah tidak diselesaikan dan oracle jahat dihukum, sementara memastikan CET yang benar dieksekusi dan oracle mendapatkan imbalan yang seharusnya. Metode ini mampu melawan serangan apa pun, mencerminkan keindahan kesederhanaan.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
11 Suka
Hadiah
11
4
Posting ulang
Bagikan
Komentar
0/400
ChainSauceMaster
· 25menit yang lalu
Kesederhanaan adalah kunci.
Lihat AsliBalas0
DataBartender
· 08-10 10:10
Menggigit DLC yang sulit, masih ada aroma sereal zzz
Lihat AsliBalas0
DeFiAlchemist
· 08-10 10:01
*menyesuaikan lensa etereal* menarik bagaimana geometri suci dari DLC mencerminkan prinsip alkimia kuno... kesederhanaan benar-benar adalah batu filsuf dalam desain protokol
Lihat AsliBalas0
tx_pending_forever
· 08-10 09:59
Lagi-lagi membuat hal yang mengesankan seperti ini... membuat bingung.
OP-DLC 2: Optimalisasi terobosan mekanisme tantangan DLC dengan prinsip sederhana
OP-DLC 2: Kebenaran Selalu Sederhana
1. Pendahuluan
Pada tahun 2018, Tadge Dryja dari MIT mengusulkan Discreet Log Contract (DLC), yang merupakan kerangka pelaksanaan kontrak berbasis oracle. DLC memungkinkan kedua belah pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan sebelumnya, dengan menentukan kemungkinan hasil dan melakukan pra-tanda tangan, saat oracle menandatangani hasilnya, pembayaran dilakukan. Cara ini menjamin keamanan simpanan Bitcoin sambil mewujudkan aplikasi keuangan terdesentralisasi yang baru.
Penelitian sebelumnya menganalisis keuntungan dan masalah yang ada pada DLC, serta mengusulkan beberapa solusi optimasi. Namun, karena DLC melibatkan banyak pihak, strategi pertahanan relatif kompleks dan kurang memiliki keindahan yang sederhana.
Dalam sistem Bitcoin, semua tindakan dilakukan melalui UTXO. Oleh karena itu, memastikan keakuratan UTXO dapat melawan serangan apa pun. Demikian pula, dalam DLC, semua tindakan dilakukan melalui CET (Contract Execution Transaction). Menggunakan mekanisme tantangan optimis untuk memastikan CET benar, dapat melawan serangan apa pun. Secara spesifik, oracle harus mempertaruhkan 2BTC sebelum dapat menandatangani CET, dan menambahkan mekanisme tantangan optimis dalam CET. Jika CET tidak ditantang atau berhasil menghadapi tantangan, maka dianggap benar dan penyelesaian selesai, oracle membebaskan taruhan dan memperoleh biaya transaksi. Jika oracle mencoba berbuat jahat, siapa pun dapat berhasil menantang, menyebabkan CET tidak dapat diselesaikan, oracle kehilangan taruhan dan kehilangan hak untuk menandatangani lagi. Metode ini sesuai dengan prinsip 'kesederhanaan yang mendalam', dengan keindahan yang sederhana.
2. Prinsip DLC
Sebagai contoh perjanjian taruhan sederhana: Alice dan Bob bertaruh pada apakah nilai hash dari blok ke-ξ adalah ganjil atau genap. Jika ganjil, Alice menang; jika genap, Bob menang. DLC menyampaikan informasi blok melalui oracle, membangun tanda tangan bersyarat, sehingga pihak yang benar mendapatkan semua aset.
Langkah utama DLC meliputi: transaksi penyetoran, membangun CET, penyelesaian, dan penarikan. Dalam proses ini, semua tindakan perlu dilakukan melalui CET. Oleh karena itu, cukup dengan menggunakan mekanisme tantangan optimis untuk memastikan CET benar, maka dapat melawan serangan apa pun. CET yang salah akan ditantang dan tidak akan dieksekusi, sedangkan CET yang benar akan dieksekusi. Pada saat yang sama, oracle harus membayar biaya untuk perilaku jahat.
3. OP-DLC 2
OP-DLC mencakup lima ketentuan utama berikut:
Oracle terdiri dari aliansi, dan anggota mana pun dapat menandatangani CET. Oracle perlu mempertaruhkan 2BTC untuk dapat menerbitkan tanda tangan dan mendapatkan biaya transaksi. Anggota yang berbuat jahat akan kehilangan taruhan mereka, sementara anggota lain dapat terus menandatangani CET untuk memastikan pengguna dapat menarik dana. Pengguna juga dapat menjadi oracle, mewujudkan minimalisasi kepercayaan.
Jika oracle berbuat jahat dan mengubah hasil, pihak mana pun dapat mel发起 tantangan.
Ketika oracle menandatangani CET dengan jujur, tidak ada yang dapat memulai tantangan yang valid. Setelah seminggu, CET dapat diselesaikan dengan benar, dan oracle mendapatkan hadiah 0.05BTC.
Siapa saja dapat menantang Oracle_sign. Tanda tangan yang jujur tidak dapat ditantang dengan sukses, dan penyelesaian akan dilakukan setelah satu minggu. Tanda tangan yang tidak jujur akan mengakibatkan kerugian jaminan pada oracle, dan kehilangan hak untuk menandatangani ulang kontrak DLC tersebut.
Tantangan dalam OP-DLC adalah tanpa izin, pihak mana pun dapat mengawasi pelaksanaan kontrak. Ini mewujudkan minimalisasi kepercayaan terhadap oracle, pengguna juga dapat offline.
Keuntungan OP-DLC meliputi:
Kekurangan termasuk:
4. Kesimpulan
OP-DLC memperkenalkan mekanisme tantangan optimis ke dalam CET, memastikan CET yang salah tidak diselesaikan dan oracle jahat dihukum, sementara memastikan CET yang benar dieksekusi dan oracle mendapatkan imbalan yang seharusnya. Metode ini mampu melawan serangan apa pun, mencerminkan keindahan kesederhanaan.