OP-DLC 2: Kebenaran seringkali sederhana

1. Pendahuluan

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

Analisis sebelumnya membahas keuntungan dan masalah yang dihadapi DLC, serta mengajukan beberapa ide untuk optimasi. Namun, karena DLC melibatkan banyak pihak, strategi pertahanan relatif kompleks dan kurang memiliki keindahan yang sederhana.

Dalam Bitcoin, semua tindakan dilakukan melalui UTXO. Demikian pula, tindakan dalam DLC dilakukan melalui CET(Contract Execution Transaction). Oleh karena itu, cukup pastikan CET benar, maka dapat menahan serangan apa pun. Secara khusus, oracle harus melakukan staking sebelum menandatangani CET, dan menambahkan mekanisme tantangan optimis dalam CET. Jika CET tidak ditantang atau berhasil menghadapi tantangan, maka penyelesaian dapat dilakukan, oracle mencabut staking dan mendapatkan biaya; jika oracle berbuat jahat, siapa pun dapat berhasil menantang, CET tersebut tidak dapat diselesaikan, oracle kehilangan depositnya. Desain ini sederhana dan elegan.

2. Prinsip DLC

Sebagai contoh sederhana untuk menjelaskan prinsip DLC: Alice dan Bob bertaruh pada paritas hash dari blok ke-ξ. Jika ganjil, Alice menang, jika genap, Bob menang. DLC menyampaikan informasi blok melalui oracle, membangun tanda tangan bersyarat sehingga pihak yang benar menang.

Proses spesifik meliputi: transaksi penyetoran, membangun CET, penyelesaian, dan penarikan. Penelitian menunjukkan bahwa hanya perlu menggunakan mekanisme tantangan optimis untuk memastikan CET benar, sehingga dapat menahan serangan apa pun. CET yang salah akan ditantang dan tidak dieksekusi, sementara CET yang benar akan dieksekusi. Selain itu, oracle harus membayar harga untuk perilaku jahat.

3. OP-DLC 2

OP-DLC termasuk ketentuan berikut:

1. Oracle terdiri dari aliansi, setiap anggota dapat menandatangani CET. Diperlukan staking untuk menandatangani dan mendapatkan biaya transaksi, melakukan kejahatan akan mengakibatkan kehilangan staking.

2. Jika oracle melakukan kejahatan dengan mengubah hasil, siapa pun dapat mengajukan tantangan.

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

4. Siapa pun dapat menantang tanda tangan oracle. Jika tantangan berhasil, maka tanda tangan tersebut tidak valid, dan oracle akan kehilangan jaminan.

5. Tantangan dalam OP-DLC adalah tanpa izin, siapa pun dapat mengawasi pelaksanaan kontrak.

Kelebihan:

• Tingkat kontrol aset yang tinggi, pengguna dapat hanya mempercayai diri mereka sendiri
• Tingkat pemanfaatan dana tinggi
• Oracle harus ditentukan saat deposit, tetapi pengguna juga dapat menjadi oracle

Kekurangan:

• Waktu penarikan membutuhkan 1 minggu
• Jumlah tanda tangan yang perlu ditandatangani sebelumnya memiliki hubungan linier dengan jumlah CET

4. Kesimpulan

OP-DLC memperkenalkan mekanisme tantangan optimis ke CET, memastikan CET yang salah tidak diselesaikan, dan CET yang benar dieksekusi. Cara ini dapat menahan serangan apa pun, dengan desain yang sederhana dan elegan.