OP-DLC 2: Kebenaran seringkali sederhana

Pada tahun 2018, Tadge Dryja dari MIT mengusulkan Discreet Log Contract (DLC), yang merupakan kerangka kerja eksekusi kontrak berbasis oracle. DLC memungkinkan kedua pihak untuk melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan sebelumnya. Kedua pihak sebelumnya menentukan kemungkinan hasil dan melakukan pra-tanda tangan, yang digunakan untuk mengeksekusi pembayaran saat oracle menandatangani hasilnya. DLC mewujudkan aplikasi keuangan terdesentralisasi baru sambil menjaga keamanan setoran bitcoin.

Tulisan sebelumnya "Analisis Prinsip DLC dan Pemikiran Optimasi" telah merangkum keunggulan dan masalah yang ada pada DLC, serta mengajukan beberapa pemikiran untuk optimasi. Namun, karena DLC melibatkan banyak pihak yang terlibat, serangan kolusi antara pihak-pihak yang berbeda cukup kompleks, yang menyebabkan strategi pencegahan juga relatif rumit. Strategi pertahanan yang kompleks tidaklah sempurna, kurang memiliki keindahan yang sederhana.

Dalam Bitcoin, setiap tindakan harus dilakukan melalui UTXO. Oleh karena itu, memastikan UTXO yang benar melalui mekanisme konsensus dapat menangkal serangan apa pun. Demikian pula, dalam DLC, semua tindakan dilakukan melalui CET(Contract Execution Transaction). Selama mekanisme tantangan optimis digunakan untuk memastikan CET benar, serangan apa pun dapat ditangkal. 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 dianggap benar, dapat diselesaikan, dan oracle akan melepaskan taruhan dan mendapatkan biaya. Jika oracle mencoba berbuat jahat, siapa pun dapat berhasil menantang, CET tersebut tidak akan dapat diselesaikan, oracle akan kehilangan deposit dan tidak dapat menandatangani CET yang sama lagi. Metode ini sederhana dan efektif, mencerminkan kebijaksanaan "jalan besar yang sederhana."

Prinsip DLC

Sebagai contoh perjanjian taruhan antara Alice dan Bob: bertaruh pada paritas dari nilai hash blok ke-ξ. Jika ganjil, Alice menang, jika genap, Bob menang. DLC menyampaikan informasi blok melalui oracle, membangun tanda tangan bersyarat agar pihak yang benar menang.

Proses dasar DLC mencakup:

1. Transaksi Setoran: Alice dan Bob masing-masing menyetor 10BTC ke alamat multisig 2-of-2.

2. Membangun CET: Membuat CET dengan dua kemungkinan hasil.

3. Oracle menghitung komitmen dan menghasilkan kunci publik baru untuk Alice dan Bob.

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

5. Penarikan: Pihak yang menang menghitung kunci pribadi baru dan menarik 20BTC.

Penelitian menemukan bahwa setiap tindakan dalam DLC harus dicapai melalui CET. Selama mekanisme tantangan optimis memastikan CET benar, itu dapat menahan serangan apa pun. CET yang salah akan ditantang dan tidak akan dieksekusi, sedangkan CET yang benar akan dieksekusi. Oracle harus membayar harga untuk perilaku jahat.

OP-DLC 2

OP-DLC mencakup 5 ketentuan berikut:

1. Oracle terdiri dari aliansi, di mana anggota mana pun dapat menandatangani CET. Harus mempertaruhkan 2 BTC sebelum dapat menandatangani untuk mendapatkan biaya. Pelaku jahat akan kehilangan taruhan. Alice dan Bob juga dapat menjadi oracle, untuk mencapai minimisasi kepercayaan.

2. Ketika oracle melakukan modifikasi hasil yang merugikan, siapa pun dapat memulai tantangan.

3. Ketika oracle menandatangani CET dengan jujur, dapat diselesaikan dengan benar setelah 1 minggu. Oracle mendapatkan hadiah 0,05 BTC.

4. Siapa pun dapat menantang tanda tangan oracle. Tanda tangan jujur ​​dieksekusi setelah 1 minggu, oracle membuka kunci staking dan mendapatkan biaya. Tanda tangan yang tidak jujur menjadi tidak valid setelah ditantang dengan sukses, oracle kehilangan staking dan tidak dapat lagi melakukan tanda tangan dengan hasil yang sama pada kontrak tersebut.

5. Tantangan dalam OP-DLC adalah tanpa izin, siapa pun dapat mengawasi pelaksanaan kontrak. Ini mewujudkan minimalisasi kepercayaan terhadap oracle. Alice dan Bob dapat beroperasi secara offline, karena oracle yang berbuat jahat akan dihukum.

Keuntungan OP-DLC meliputi:

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

Kekurangan termasuk:

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

Kesimpulan

OP-DLC memperkenalkan mekanisme tantangan optimis ke CET, memastikan pelaksanaan CET yang benar, dan CET yang salah tidak diselesaikan. Metode yang sederhana dan efektif ini dapat menahan serangan apa pun, mencerminkan keindahan desain yang sederhana.