Diskusi Prinsip Teknologi DLC dan Solusi Optimalisasi
1. Pendahuluan
Kontrak Log Diskrit (, DLC) adalah skema eksekusi kontrak berbasis oracle yang diusulkan oleh Tadge Dryja dari MIT pada tahun 2018. DLC memungkinkan kedua belah pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan, di mana para pihak sebelumnya menentukan kemungkinan hasil dan melakukan pra-tanda tangan. Ketika oracle menandatangani hasilnya, pembayaran dapat dieksekusi. Ini memungkinkan DLC untuk mewujudkan aplikasi keuangan terdesentralisasi baru di jaringan Bitcoin, sekaligus menjaga keamanan deposit Bitcoin.
Dibandingkan dengan jaringan Lightning, DLC memiliki keuntungan berikut:
Perlindungan privasi yang lebih baik, rincian kontrak hanya dibagikan di antara pihak-pihak yang terlibat.
Mendukung kontrak keuangan yang lebih kompleks dan fleksibel, seperti derivatif, asuransi, dan lain-lain
Mengurangi risiko pihak lawan, dana terkunci dalam tanda tangan ganda.
Tidak perlu mengelola saluran pembayaran
Menyediakan skalabilitas yang lebih baik dalam kontrak kompleks
Namun DLC masih memiliki beberapa masalah yang perlu diselesaikan:
Risiko kebocoran kunci privat dan angka acak oracle
Masalah kepercayaan yang disebabkan oleh sentralisasi oracle
Oracle terdesentralisasi tidak dapat melakukan derivasi kunci secara langsung
Risiko kolusi oracle
Pembatasan kembalian dengan nominal tetap
Artikel ini akan mengajukan beberapa solusi optimal untuk masalah ini, guna meningkatkan keamanan ekosistem Bitcoin.
2. Prinsip DLC
Sebagai contoh menjelaskan prinsip DLC dengan taruhan Alice dan Bob pada keparahan nilai hash blok ke-n+k:
Transaksi Penyuntikan Modal: Alice dan Bob masing-masing mengunci 1BTC ke output multi-tanda tangan 2-of-2
Eksekusi transaksi kontrak: Buat dua CET untuk transaksi pengeluaran investasi
Perhitungan oracle:
R = k·G
S = R - hash(OddNumber,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:
Bilangan Ganjil Hash:s = k - hash(BilanganGanjil,R)·z
Hash genap:s' = k - hash(EvenNumber,R)·z
Penarikan:
Alice: sk^Alice = x + s
Bob: sk^Bob = y + s'
Kunci pribadi baru dan kunci publik baru memenuhi hubungan logaritma diskrit, memastikan penarikan yang benar.
3. Rencana Optimasi DLC
3.1 Manajemen Kunci
Kebocoran kunci pribadi oracle dan angka acak dapat mengakibatkan:
Tidak dapat diselesaikan, perlu pengembalian dana
Penipuan penyelesaian
Kunci pribadi telah diretas
Tidak dapat menyelesaikan kontrak tertentu
Saran:
Menggunakan BIP32 untuk menurunkan kunci anak
Menggunakan kunci pribadi dan hash penghitung sebagai angka acak
3.2 oracle terdesentralisasi
Mengimplementasikan tanda tangan batas Schnorr untuk mencapai oracle terdesentralisasi, keuntungan:
Meningkatkan keamanan
Kontrol Terdistribusi
Meningkatkan ketersediaan
Fleksibel dan dapat diperluas
Dapat dimintakan pertanggungjawaban
3.3 Desentralisasi dan pengelolaan kunci terintegrasi
Oracle terdesentralisasi sulit digunakan untuk mengalirkan kunci dari BIP32 secara langsung. Metode derivasi kunci terdistribusi dapat diterapkan:
Pembagian kunci pribadi dan kunci pribadi lengkap memenuhi hubungan interpolasi Lagrange.
Menambahkan peningkatan ω di kedua sisi masih memenuhi hubungan interpolasi
Semua pihak dapat menghasilkan potongan kunci privat anak, yang digunakan untuk menghasilkan potongan tanda tangan anak.
Menggunakan BIP32 yang tidak ditingkatkan atau fungsi hash homomorfik
3.4 OP-DLC: minimal kepercayaan oracle
Mengajukan mekanisme tantangan optimis:
Oracle melakukan staking lebih awal untuk membangun permainan OP di blockchain
Pihak yang jujur dapat memulai tantangan
Tantangan berhasil, maka hukuman bagi peramal yang berbuat jahat
Dapat menggunakan model tanda tangan k-of-n
Hanya perlu satu pihak yang jujur untuk mewujudkannya.
3.5 OP-DLC + BitVM dua jembatan
Menggabungkan OP-DLC dan BitVM:
Mengatasi masalah kembalian dana DLC
Menyediakan berbagai saluran setoran dan penarikan
Mewujudkan minimalisasi kepercayaan oracle
Meningkatkan efisiensi penggunaan dana saluran DLC
4. Kesimpulan
DLC menggabungkan teknologi seperti Taproot dan BitVM, dapat mewujudkan verifikasi dan penyelesaian kontrak off-chain yang lebih kompleks. Melalui mekanisme tantangan OP, dapat meminimalkan kepercayaan terhadap oracle. Di masa depan, DLC diharapkan dapat mendukung lebih banyak aplikasi keuangan inovatif di jaringan Bitcoin.
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.
13 Suka
Hadiah
13
7
Bagikan
Komentar
0/400
GasFeeLover
· 07-17 02:56
BTC diskrit logaritma itu benar-benar sulit diatur
Lihat AsliBalas0
WenMoon
· 07-14 13:34
Privasi cukup baik, tetapi detailnya tidak dapat dijangkau.
Rencana optimasi teknologi DLC: Meningkatkan keamanan ekosistem Bitcoin
Diskusi Prinsip Teknologi DLC dan Solusi Optimalisasi
1. Pendahuluan
Kontrak Log Diskrit (, DLC) adalah skema eksekusi kontrak berbasis oracle yang diusulkan oleh Tadge Dryja dari MIT pada tahun 2018. DLC memungkinkan kedua belah pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan, di mana para pihak sebelumnya menentukan kemungkinan hasil dan melakukan pra-tanda tangan. Ketika oracle menandatangani hasilnya, pembayaran dapat dieksekusi. Ini memungkinkan DLC untuk mewujudkan aplikasi keuangan terdesentralisasi baru di jaringan Bitcoin, sekaligus menjaga keamanan deposit Bitcoin.
Dibandingkan dengan jaringan Lightning, DLC memiliki keuntungan berikut:
Namun DLC masih memiliki beberapa masalah yang perlu diselesaikan:
Artikel ini akan mengajukan beberapa solusi optimal untuk masalah ini, guna meningkatkan keamanan ekosistem Bitcoin.
2. Prinsip DLC
Sebagai contoh menjelaskan prinsip DLC dengan taruhan Alice dan Bob pada keparahan nilai hash blok ke-n+k:
Inisialisasi: menghasilkan generator G, urutan 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 Penyuntikan Modal: Alice dan Bob masing-masing mengunci 1BTC ke output multi-tanda tangan 2-of-2
Eksekusi transaksi kontrak: Buat dua CET untuk transaksi pengeluaran investasi
Perhitungan oracle: R = k·G S = R - hash(OddNumber,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: Bilangan Ganjil Hash:s = k - hash(BilanganGanjil,R)·z Hash genap:s' = k - hash(EvenNumber,R)·z
Penarikan: Alice: sk^Alice = x + s Bob: sk^Bob = y + s'
Kunci pribadi baru dan kunci publik baru memenuhi hubungan logaritma diskrit, memastikan penarikan yang benar.
3. Rencana Optimasi DLC
3.1 Manajemen Kunci
Kebocoran kunci pribadi oracle dan angka acak dapat mengakibatkan:
Saran:
3.2 oracle terdesentralisasi
Mengimplementasikan tanda tangan batas Schnorr untuk mencapai oracle terdesentralisasi, keuntungan:
3.3 Desentralisasi dan pengelolaan kunci terintegrasi
Oracle terdesentralisasi sulit digunakan untuk mengalirkan kunci dari BIP32 secara langsung. Metode derivasi kunci terdistribusi dapat diterapkan:
3.4 OP-DLC: minimal kepercayaan oracle
Mengajukan mekanisme tantangan optimis:
3.5 OP-DLC + BitVM dua jembatan
Menggabungkan OP-DLC dan BitVM:
4. Kesimpulan
DLC menggabungkan teknologi seperti Taproot dan BitVM, dapat mewujudkan verifikasi dan penyelesaian kontrak off-chain yang lebih kompleks. Melalui mekanisme tantangan OP, dapat meminimalkan kepercayaan terhadap oracle. Di masa depan, DLC diharapkan dapat mendukung lebih banyak aplikasi keuangan inovatif di jaringan Bitcoin.