Diskusi Teknologi dan Optimasi DLC

1. Pendahuluan

Kontrak Logaritma Diskret ( DLC ) adalah skema pembayaran bersyarat berbasis oracle, yang diajukan oleh Tadge Dryja dari MIT pada tahun 2018. DLC memungkinkan dua pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang sudah ditentukan sebelumnya, di mana para pihak menentukan hasil yang mungkin dan melakukan pratestasi, dan pembayaran dilakukan saat oracle menandatangani hasil tersebut. DLC dapat mewujudkan aplikasi keuangan terdesentralisasi baru di jaringan Bitcoin, sambil menjaga keamanan setoran Bitcoin.

Dibandingkan dengan jaringan Lightning, DLC memiliki keuntungan berikut:

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

Namun, DLC masih memiliki beberapa masalah, seperti:

• Risiko keamanan kunci privat dan angka acak oracle
• Masalah kepercayaan terpusat pada oracle
• Oracle terdesentralisasi tidak dapat melakukan derivasi kunci
• Risiko Konspirasi Oracle
• Masalah kembalian dengan denominasi tetap

Artikel ini akan membahas prinsip DLC dan mengusulkan beberapa solusi optimasi untuk mengatasi masalah di atas.

2. Prinsip DLC

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

1. Semua pihak menghasilkan pasangan kunci:

   • Orakel: Kunci pribadi z, Kunci publik Z = z·G
   • Alice: Kunci pribadi x, Kunci publik X = x·G
   • Bob: Kunci pribadi y, kunci publik Y = y·G

2. Alice dan Bob membuat transaksi penyetoran, masing-masing mengunci 1BTC ke output multi-tanda tangan 2-of-2.

3. Buat dua kontrak untuk mengeksekusi transaksi (CET) untuk pengeluaran investasi.

4. Komitmen perhitungan oracle: R := k·G S := R - hash(OddNumber,R)·Z S' := R - hash(EvenNumber,R)·Z Siaran(R,S,S')

5. Alice dan Bob menghitung kunci publik baru: PK^Alice := X + S PK^Bob := Y + S'

6. Saat penyelesaian, oracle menyiarkan s atau s' berdasarkan nilai hash blok. s := k - hash(OddNumber,R)·z s' := k - hash(EvenNumber,R)·z

7. Pihak yang menang menarik aset dengan kunci pribadi baru: sk^Alice := x + s sk^Bob := y + s'

3. Rencana Optimasi DLC

3.1 Manajemen Kunci

Orakel harus menggunakan BIP32 untuk menurunkan kunci anak atau kunci cucu untuk penandatanganan, dan menggunakan kunci pribadi dan nilai hash penghitung sebagai angka acak, untuk mencegah angka acak yang sama atau hilang.

3.2 Oracle terdesentralisasi

Dapat menggunakan tanda tangan batas Schnorr untuk mewujudkan orakel terdesentralisasi, dengan keuntungan sebagai berikut:

• Meningkatkan keamanan, mengurangi risiko titik tunggal kegagalan
• Mewujudkan kontrol kunci terdistribusi
• Meningkatkan ketersediaan sistem
• Fleksibel dan dapat diperluas
• Mendukung akuntabilitas

3.3 Desentralisasi dan pengelolaan kunci yang terintegrasi

Berdasarkan polinomial interpolasi Lagrange, dapat mengimplementasikan derivasi kunci terdistribusi dalam skenario tanda tangan batas. Namun, perlu mempertimbangkan masalah kompatibilitas antara BIP32 yang ditingkatkan dan yang tidak ditingkatkan.

3.4 OP-DLC: Pengurangan Kepercayaan Oracle

Mengusulkan mekanisme OP-DLC, memperkenalkan mekanisme tantangan optimis, yang mengharuskan oracle untuk melakukan staking terlebih dahulu. Setiap pihak yang jujur dapat mengajukan tantangan, menghukum oracle yang berbuat jahat. Ini mengurangi kebutuhan kepercayaan terhadap oracle, dengan tingkat toleransi kesalahan mencapai 99%.

3.5 OP-DLC + BitVM jembatan ganda

Menggabungkan OP-DLC dan BitVM, dapat dicapai:

• Menyelesaikan masalah kembalian dana saluran DLC
• Menyediakan berbagai saluran untuk setoran dan penarikan bagi pengguna
• Mewujudkan minimalisasi kepercayaan oracle
• Meningkatkan efisiensi penggunaan dana

4. Kesimpulan

Teknologi DLC terus berkembang, dengan menggabungkan teknologi baru seperti Taproot dan BitVM, di masa depan diharapkan dapat mewujudkan verifikasi dan penyelesaian kontrak off-chain yang lebih kompleks di jaringan Bitcoin, sekaligus mencapai minimalisasi kepercayaan oracle melalui mekanisme OP.