Diskusi tentang prinsip dan optimasi DLC: Meningkatkan keamanan dan skalabilitas smart contract Bitcoin

robot
Pembuatan abstrak sedang berlangsung

Diskusi Prinsip dan Ide Optimasi DLC

1. Pendahuluan

Kontrak Logaritma Diskrit ( DLC ) adalah skema pembayaran bersyarat berbasis oracle, yang diajukan oleh Tadge Dryja dari MIT pada tahun 2018. DLC memungkinkan kedua belah pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan sebelumnya, di mana peserta menandatangani hasil yang mungkin sebelumnya, dan pembayaran dilakukan saat oracle menandatangani hasil tersebut. Hal ini memungkinkan DLC untuk mewujudkan aplikasi keuangan terdesentralisasi baru di atas Bitcoin, sambil menjaga keamanan simpanan Bitcoin.

Dibandingkan dengan jaringan Lightning, DLC memiliki keunggulan berikut:

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

Namun, DLC masih memiliki beberapa risiko dan masalah:

  • Risiko kebocoran atau kehilangan kunci oracle
  • Masalah desentralisasi oracle
  • Oracle terdesentralisasi tidak dapat langsung menghasilkan kunci
  • Risiko konspirasi oracle
  • Masalah kembalian dengan denominasi tetap

Artikel ini akan mengajukan beberapa solusi optimasi untuk meningkatkan keamanan ekosistem Bitcoin.

2. Prinsip DLC

Sebagai contoh taruhan antara Alice dan Bob pada paritas hash blok ke-n+k, menjelaskan prinsip dasar DLC:

  1. Inisialisasi: menghasilkan G, orde q

  2. Generasi Kunci: Orakel: Kunci privat z, kunci publik Z=z·G Alice: kunci pribadi x, kunci publik X=x·G
    Bob: Kunci pribadi y, kunci publik Y=y·G

  3. Transaksi Penyertaan Modal: Alice dan Bob masing-masing mengunci 1BTC ke keluaran multi-tanda tangan 2-of-2

  4. Eksekusi Transaksi Kontrak: Membuat dua CET untuk transaksi penyertaan biaya

  5. Komitmen perhitungan oracle: R = k·G S = R - hash(AngkaGanjil,R)·Z S' = R - hash(EvenNumber,R)·Z siaran(R,S,S')

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

  7. Penyelesaian: Oracle menyiarkan s atau s' berdasarkan nilai hash blok Bilangan ganjil: s = k - hash(OddNumber,R)·z Genap: s' = k - hash(EvenNumber,R)·z

  8. Penarikan: Pihak yang menang menghitung kunci privat baru dan menarik aset Alice: sk^Alice = x + s Bob: sk^Bob = y + s'

Analisis Prinsip DLC dan Pemikiran Optimalisasi

3. Optimasi DLC

3.1 Manajemen Kunci

Risiko kebocoran atau kehilangan kunci pribadi dan nomor acak oracle dapat mengakibatkan:

  • Tidak dapat diselesaikan
  • Penyelesaian penipuan
  • Kunci pribadi telah diretas
  • Penggunaan ulang angka acak

Saran:

  • Menggunakan BIP32 untuk menurunkan kunci anak
  • Menggunakan kunci pribadi dan nilai hash penghitung sebagai angka acak

3.2 oracle terdesentralisasi

Menggunakan tanda tangan ambang Schnorr untuk merealisasikan oracle terdesentralisasi, memiliki keuntungan sebagai berikut:

  • Meningkatkan keamanan
  • Kontrol terdistribusi
  • Meningkatkan Ketersediaan
  • Fleksibel dan dapat diperluas
  • Dapat dipertanggungjawabkan

3.3 Desentralisasi dan Pengelolaan Kunci Terintegrasi

Oracle terdesentralisasi sulit digunakan langsung untuk menurunkan kunci BIP32. Metode penurunan kunci terdistribusi dapat digunakan:

  • Berdasarkan polinomial interpolasi Lagrange
  • Pembagian kunci privat dan kunci privat lengkap memenuhi hubungan interpolasi
  • Potongan kunci pribadi turunan masih memenuhi hubungan interpolasi

Perhatikan perbedaan antara BIP32 yang ditingkatkan dan yang tidak ditingkatkan.

Analisis Prinsip DLC dan Pemikiran Optimisasi

3.4 OP-DLC: Minimalkan Kepercayaan Oracle

Mengajukan mekanisme OP-DLC:

  • Staking oracle membangun permainan OP di blockchain
  • Setiap pihak yang jujur dapat mengajukan tantangan
  • Hukuman untuk peramal yang jahat
  • Dapat menggunakan tanda tangan model "k-of-n"

3.5 OP-DLC + BitVM dual bridge

Menggabungkan OP-DLC dan BitVM:

  • Memecahkan masalah pengembalian DLC
  • Menyediakan berbagai saluran deposit dan penarikan
  • Minimalkan kepercayaan oracle
  • Meningkatkan pemanfaatan modal

Analisis Prinsip DLC dan Pemikiran Optimisasi

4. Kesimpulan

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

BTC-0.14%
Lihat Asli
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.
  • Hadiah
  • 4
  • Bagikan
Komentar
0/400
LiquidityWitchvip
· 8jam yang lalu
DLC masih baik, hanya saja saya tidak mengerti cara bermainnya.
Lihat AsliBalas0
DefiSecurityGuardvip
· 10jam yang lalu
menemukan kerentanan kritis dalam mekanisme oracle. jujur saja ini perlu diaudit serius secepatnya
Lihat AsliBalas0
FUD_Whisperervip
· 10jam yang lalu
Bitcoin tua kembali hidup dengan cara baru
Lihat AsliBalas0
Blockblindvip
· 10jam yang lalu
Kenapa harus membuatnya begitu rumit, tes saja belum lulus.
Lihat AsliBalas0
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)