OP-DLC 2: Kebenaran Selalu Sederhana

DLC(Discreet Log Contract) adalah kerangka eksekusi kontrak berbasis oracle yang diusulkan oleh Tadge Dryja dari MIT pada tahun 2018. Ini memungkinkan kedua belah pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan sebelumnya, dengan mengeksekusi pembayaran melalui tanda tangan pra-tanda dan hasil yang ditandatangani oleh oracle. DLC mewujudkan aplikasi keuangan terdesentralisasi baru sambil menjamin keamanan deposito Bitcoin.

Teks di atas merangkum keunggulan DLC dan masalah yang dihadapinya, serta mengusulkan beberapa solusi optimasi. Namun, karena DLC melibatkan banyak pihak, strategi pertahanan relatif kompleks, dan kurang memiliki keindahan yang sederhana.

Dalam sistem Bitcoin, semua tindakan dilakukan melalui UTXO. Selama UTXO benar, maka dapat melawan serangan apapun. Demikian pula, semua tindakan dalam DLC dilakukan melalui CET(Contract Execution Transaction). Oleh karena itu, menggunakan mekanisme tantangan optimis untuk memastikan CET benar, dapat melawan serangan apapun.

Secara khusus, oracle harus mempertaruhkan 2BTC sebelum dapat menandatangani CET. Tambahkan mekanisme tantangan optimis dalam CET. Jika CET tidak ditantang atau berhasil menghadapi tantangan, maka CET dianggap benar dan penyelesaian selesai, oracle melepaskan taruhan dan mendapatkan biaya. Jika oracle mencoba berbuat jahat, siapa pun dapat berhasil menantang, CET tersebut tidak dapat diselesaikan, oracle kehilangan uang taruhan dan tidak dapat menandatangani CET yang sama lagi. Desain ini sederhana dan efektif.

Prinsip DLC

Sebagai contoh untuk menjelaskan prinsip DLC, mari kita gunakan taruhan antara Alice dan Bob tentang paritas dari hash blok ke-ξ:

1. Transaksi penyetoran: Alice dan Bob masing-masing mengunci 10BTC ke output multisig 2-of-2.

2. Membangun CET: Buat dua CET untuk transaksi pengeluaran penyertaan.

3. Orakel menghitung komitmen dan menghasilkan tanda tangan.

4. Penyelesaian: Oracle menandatangani CET yang sesuai berdasarkan hash blok.

5. Penarikan: Pihak yang menang menghitung kunci privat baru dan menghabiskan dana yang terkunci.

Penelitian menemukan bahwa hanya dengan menggunakan mekanisme tantangan optimis untuk memastikan CET benar, dapat menahan serangan apa pun. CET yang salah akan ditantang, tidak akan dieksekusi, sedangkan CET yang benar akan dieksekusi. Sementara itu, oracle harus membayar harga untuk tindakan jahat.

OP-DLC 2

OP-DLC termasuk ketentuan berikut:

1. Oracle terdiri dari aliansi, anggota mana pun dapat menandatangani CET. Diperlukan untuk mengunci 2BTC agar dapat menandatangani.

2. Jika oracle berbuat jahat, siapa pun dapat memulai tantangan.

3. CET yang ditandatangani dengan jujur dapat diselesaikan setelah 1 minggu, oracle mendapatkan imbalan.

4. Siapa pun dapat menantang Oracle_sign.

5. Tantangan tidak memerlukan izin, siapa saja dapat mengawasi pelaksanaan kontrak.

Kelebihan:

• Tingkat kontrol aset yang tinggi, pengguna hanya dapat mempercayai diri mereka sendiri
• Tingkat pemanfaatan dana tinggi
• Rentang oracle dapat ditentukan secara fleksibel

Kekurangan:

• Waktu penarikan memerlukan 1 minggu
• Jumlah tanda tangan pra dan jumlah CET memiliki hubungan linier

Kesimpulan

OP-DLC memperkenalkan mekanisme tantangan optimis ke CET, memastikan CET yang salah tidak diselesaikan dan oracle jahat dihukum, CET yang benar dieksekusi dan oracle jujur mendapatkan hadiah. Desain yang sederhana namun efektif ini dapat menahan berbagai serangan.