OP-DLC 2: Kebenaran selalu sederhana

Discreet Log Contract (DLC) adalah kerangka pelaksanaan kontrak berbasis oracle, yang memungkinkan kedua belah pihak melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan. DLC mewujudkan aplikasi keuangan terdesentralisasi yang baru sambil memastikan keamanan simpanan Bitcoin.

Artikel ini akan menganalisis cara kerja DLC, dan mengusulkan solusi perbaikan yang disebut OP-DLC 2. Solusi ini memperkenalkan mekanisme tantangan optimis dalam eksekusi kontrak transaksi (CET), secara efektif mencegah berbagai serangan, sambil menjaga kesederhanaan desain.

Prinsip DLC

Sebagai contoh taruhan sederhana: Alice dan Bob bertaruh apakah nilai hash dari blok ke-ξ adalah ganjil atau genap. DLC menyampaikan informasi blok melalui oracle, membangun tanda tangan bersyarat sehingga pihak yang benar mendapatkan semua aset.

Langkah utama termasuk:

1. Investasi perdagangan: Alice dan Bob masing-masing mengunci 10 BTC ke dalam output multisignature.

2. Membangun CET: Membuat dua kontrak untuk mengeksekusi transaksi, yang menghasilkan hasil yang berbeda.

3. Perhitungan oracle: menghasilkan komitmen dan tanda tangan.

4. Penyelesaian: Orakel menandatangani CET yang sesuai berdasarkan hasil aktual.

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

Penelitian menemukan bahwa setiap tindakan dalam DLC harus dilakukan melalui CET. Oleh karena itu, selama CET benar, berbagai serangan dapat dihindari. CET yang salah akan ditantang dan tidak dapat dijalankan, sedangkan CET yang benar akan dijalankan.

OP-DLC 2

OP-DLC 2 mencakup ketentuan inti berikut:

1. Oracle terdiri dari aliansi, perlu dipertaruhkan untuk menandatangani.

2. Siapa pun dapat menantang oracle yang berbuat jahat.

3. CET yang ditandatangani secara jujur dapat diselesaikan setelah satu minggu, oracle mendapatkan hadiah.

4. Mekanisme tantangan tidak memerlukan izin, siapa pun dapat mengawasi pelaksanaan kontrak.

5. Pengguna juga dapat menjadi oracle, untuk mencapai kontrol penuh atas aset mereka sendiri.

Desain ini memiliki keunggulan sebagai berikut:

• Pengguna memiliki kontrol tinggi terhadap aset, hanya perlu mempercayai diri sendiri
• Tingkat pemanfaatan dana tinggi
• Orakel ditentukan saat deposit, tetapi pengguna dapat menjadi orakel sendiri.

Kekurangan utama adalah:

• Penarikan memerlukan waktu tunggu 1 minggu
• Jumlah pra-tanda tangan memiliki hubungan linier dengan jumlah CET

Kesimpulan

OP-DLC 2 memastikan bahwa kesalahan CET tidak dieksekusi dengan memperkenalkan mekanisme tantangan optimis dalam CET, sambil menghukum oracle jahat. Desain yang sederhana ini dapat secara efektif menahan berbagai serangan, mencerminkan pemikiran "jalan besar menuju kesederhanaan."