Diskusi Prinsip Teknologi DLC dan Pemikiran Optimalisasi

1. Pendahuluan

Kontrak Logaritma Diskrit ( DLC ) adalah skema pembayaran bersyarat berbasis oracle yang diusulkan oleh Tadge Dryja dari MIT pada tahun 2018. Ini memungkinkan kedua belah pihak untuk melakukan pembayaran berdasarkan kondisi yang telah ditentukan sebelumnya, di mana peserta menentukan kemungkinan hasil dan melakukan pra-tandatangan, yang kemudian digunakan untuk mengeksekusi pembayaran saat oracle menandatangani hasil tersebut. DLC dapat mewujudkan aplikasi keuangan terdesentralisasi baru, sambil menjamin keamanan penyimpanan Bitcoin.

Dibandingkan dengan jaringan Lightning, DLC memiliki keuntungan berikut:

• Perlindungan privasi yang lebih baik
• Mendukung kontrak keuangan yang kompleks
• Mengurangi risiko pihak lawan
• Tidak perlu mengelola saluran pembayaran
• Memiliki skalabilitas yang lebih baik dalam kontrak yang kompleks

Namun, DLC masih memiliki beberapa masalah:

• Risiko kebocoran kunci
• Masalah sentralisasi oracle
• Tidak dapat menurunkan kunci setelah terdesentralisasi
• Risiko Konspirasi
• Masalah kembalian nominal tetap

Artikel ini akan membahas prinsip DLC dan mengajukan beberapa solusi optimal untuk mengatasi masalah ini.

2. Prinsip DLC

Sebagai contoh, Alice dan Bob bertaruh pada paritas hash blok ke-n+k:

1. Inisialisasi: menghasilkan generator G, orde q

2. Generasi Kunci: Orakel, Alice, dan Bob masing-masing menghasilkan kunci privat dan kunci publik

3. Transaksi Penyertaan: Alice dan Bob masing-masing mengunci 1BTC ke dalam output multisignature 2-of-2

4. Eksekusi Transaksi Kontrak: Buat dua CET untuk transaksi pengeluaran investasi

5. Menghitung komitmen R, S, S' oracle dan menyiarkannya

6. Alice dan Bob menghitung kunci publik baru

7. Penyelesaian: Orakel menghasilkan s atau s' berdasarkan hasil dan menyiarkannya.

8. Penarikan: Pemenang menarik aset dengan kunci privat baru

Seluruh proses menjamin keadilan dan keamanan, sambil mewujudkan pembayaran bersyarat.

3. Optimasi DLC

3.1 Manajemen Kunci

Kunci privat dan angka acak dari oracle sangat penting, kebocoran atau kehilangan dapat menyebabkan masalah keamanan:

• Kunci pribadi hilang: tidak dapat diselesaikan, perlu melakukan pengembalian dana
• Kebocoran kunci pribadi: semua DLC menghadapi risiko penipuan
• Kebocoran/penggunaan ulang angka acak: dapat menurunkan kunci pribadi
• Kehilangan nomor acak: Tidak dapat menyelesaikan DLC tertentu

Disarankan untuk menggunakan BIP32 untuk menghasilkan kunci anak, dengan nilai acak menggunakan hash untuk mencegah duplikasi atau kehilangan.

3.2 oracle terdesentralisasi

Menggunakan tanda tangan ambang Schnorr untuk mengimplementasikan orakel terdesentralisasi, memiliki keunggulan sebagai berikut:

• Meningkatkan Keamanan
• Kontrol Terdistribusi
• Meningkatkan ketersediaan
• Fleksibilitas dan skalabilitas
• Dapat dipertanggungjawabkan

3.3 Desentralisasi dan pengelolaan kunci terintegrasi

Dalam skenario terdesentralisasi, kunci pribadi lengkap tidak ada, sehingga tidak dapat menggunakan BIP32 untuk menurunkan secara langsung. Metode penurunan kunci terdistribusi dapat digunakan, sehingga potongan kunci pribadi anak dan kunci anak memenuhi hubungan interpolasi.

Perlu mempertimbangkan masalah kompatibilitas antara BIP32 yang ditingkatkan dan yang tidak ditingkatkan.

3.4 OP-DLC: minimisasi kepercayaan oracle

Mengusulkan mekanisme OP-DLC, memperkenalkan tantangan optimis:

• Menyimpan jaminan oracle sebelumnya
• Setiap pihak yang jujur dapat memulai tantangan
• Tantangan berhasil maka akan menghukum peramal yang berbuat jahat

Hanya perlu satu pihak yang jujur untuk secara signifikan meningkatkan tingkat toleransi kesalahan.

3.5 OP-DLC + BitVM dual bridge

Menggabungkan OP-DLC dan BitVM untuk menyelesaikan masalah DLC dalam aplikasi jembatan lintas rantai:

• Mencapai pengembalian uang dengan ketelitian yang diinginkan
• Menyediakan berbagai saluran setoran dan penarikan
• Minimalisasi Kepercayaan Oracle
• Meningkatkan efisiensi penggunaan dana

4. Kesimpulan

Teknologi DLC terus berkembang, menggabungkan teknologi baru seperti Taproot, BitVM, dan lainnya, dapat mewujudkan verifikasi dan penyelesaian kontrak off-chain yang lebih kompleks. Mekanisme tantangan OP membantu mewujudkan minimalisasi kepercayaan oracle, lebih lanjut meningkatkan keamanan dan kegunaan DLC.