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:
Transaksi Penyertaan Modal: Alice dan Bob masing-masing mengunci 1BTC ke keluaran multi-tanda tangan 2-of-2
Eksekusi Transaksi Kontrak: Membuat dua CET untuk transaksi penyertaan biaya
Komitmen perhitungan oracle:
R = k·G
S = R - hash(AngkaGanjil,R)·Z
S' = R - hash(EvenNumber,R)·Z
siaran(R,S,S')
Alice dan Bob menghitung kunci publik baru:
PK^Alice = X + S
PK^Bob = Y + S'
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
Penarikan: Pihak yang menang menghitung kunci privat baru dan menarik aset
Alice: sk^Alice = x + s
Bob: sk^Bob = y + s'
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.
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
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.
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.
7 Suka
Hadiah
7
4
Bagikan
Komentar
0/400
LiquidityWitch
· 8jam yang lalu
DLC masih baik, hanya saja saya tidak mengerti cara bermainnya.
Lihat AsliBalas0
DefiSecurityGuard
· 10jam yang lalu
menemukan kerentanan kritis dalam mekanisme oracle. jujur saja ini perlu diaudit serius secepatnya
Lihat AsliBalas0
FUD_Whisperer
· 10jam yang lalu
Bitcoin tua kembali hidup dengan cara baru
Lihat AsliBalas0
Blockblind
· 10jam yang lalu
Kenapa harus membuatnya begitu rumit, tes saja belum lulus.
Diskusi tentang prinsip dan optimasi DLC: Meningkatkan keamanan dan skalabilitas smart contract Bitcoin
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:
Namun, DLC masih memiliki beberapa risiko dan masalah:
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:
Inisialisasi: menghasilkan G, orde q
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
Transaksi Penyertaan Modal: Alice dan Bob masing-masing mengunci 1BTC ke keluaran multi-tanda tangan 2-of-2
Eksekusi Transaksi Kontrak: Membuat dua CET untuk transaksi penyertaan biaya
Komitmen perhitungan oracle: R = k·G S = R - hash(AngkaGanjil,R)·Z S' = R - hash(EvenNumber,R)·Z siaran(R,S,S')
Alice dan Bob menghitung kunci publik baru: PK^Alice = X + S PK^Bob = Y + S'
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
Penarikan: Pihak yang menang menghitung kunci privat baru dan menarik aset Alice: sk^Alice = x + s Bob: sk^Bob = y + s'
3. Optimasi DLC
3.1 Manajemen Kunci
Risiko kebocoran atau kehilangan kunci pribadi dan nomor acak oracle dapat mengakibatkan:
Saran:
3.2 oracle terdesentralisasi
Menggunakan tanda tangan ambang Schnorr untuk merealisasikan oracle terdesentralisasi, memiliki keuntungan sebagai berikut:
3.3 Desentralisasi dan Pengelolaan Kunci Terintegrasi
Oracle terdesentralisasi sulit digunakan langsung untuk menurunkan kunci BIP32. Metode penurunan kunci terdistribusi dapat digunakan:
Perhatikan perbedaan antara BIP32 yang ditingkatkan dan yang tidak ditingkatkan.
3.4 OP-DLC: Minimalkan Kepercayaan Oracle
Mengajukan mekanisme OP-DLC:
3.5 OP-DLC + BitVM dual bridge
Menggabungkan OP-DLC dan BitVM:
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.