OP-DLC 2: Kebenaran besar selalu sederhana

1. Pendahuluan

Pada tahun 2018, Tadge Dryja dari MIT mengusulkan sebuah kerangka eksekusi kontrak berbasis oracle—Discreet Log Contract (DLC). Kerangka ini memungkinkan kedua belah pihak melakukan pembayaran bersyarat berdasarkan kondisi yang telah ditentukan sebelumnya, dengan menentukan hasil yang mungkin dan melakukan pratatangan, serta melakukan pembayaran saat oracle menandatangani hasilnya. DLC membuka kemungkinan baru untuk aplikasi keuangan terdesentralisasi sambil memastikan keamanan simpanan Bitcoin.

Penelitian sebelumnya telah merangkum keunggulan DLC dalam perlindungan privasi, kontrak kompleks, dan risiko aset, sekaligus menunjukkan masalah yang dihadapi seperti risiko kunci, risiko kepercayaan terdesentralisasi, dan risiko kolusi. Untuk mengatasi masalah ini, para peneliti mencoba memperkenalkan solusi seperti oracle terdesentralisasi, tanda tangan threshold, dan mekanisme tantangan optimis. Namun, karena DLC melibatkan banyak pihak, strategi pertahanan menjadi kompleks dan tidak sesuai dengan prinsip "kesederhanaan yang besar".

Dalam sistem Bitcoin, semua perilaku pihak yang terlibat diimplementasikan melalui UTXO. Oleh karena itu, memastikan keakuratan UTXO dapat mencegah serangan apa pun. Demikian pula, dalam DLC, semua perilaku diselesaikan melalui CET (Contract Execution Transaction). Dengan memperkenalkan mekanisme tantangan optimis untuk memastikan keakuratan CET, berbagai serangan dapat dicegah secara efektif. Secara spesifik, oracle perlu mempertaruhkan 2BTC untuk menandatangani CET dan memasukkan mekanisme tantangan optimis ke dalam CET. Jika CET tidak ditantang atau berhasil menghadapi tantangan, maka dianggap benar dan penyelesaian selesai, oracle melepaskan taruhan dan mendapatkan biaya. Sebaliknya, jika oracle berbuat jahat, siapa pun dapat berhasil menantang, yang mengakibatkan CET tidak dapat diselesaikan, oracle kehilangan taruhan dan kehilangan hak tanda tangan untuk CET tersebut. Mekanisme yang sederhana namun efektif ini mencerminkan filosofi desain "Kebesaran dalam Kesederhanaan."

2. Prinsip DLC

Alice dan Bob menandatangani perjanjian taruhan: bertaruh apakah nilai hash dari blok ke-ξ adalah ganjil atau genap. Jika ganjil, Alice menang dan menarik aset; jika genap, Bob menang dan menarik aset. DLC menyampaikan informasi blok ke-ξ melalui oracle, membangun tanda tangan bersyarat, memastikan pihak yang menang mendapatkan semua aset.

Langkah-langkah utama DLC meliputi:

1. Transaksi penyertaan modal: Alice dan Bob bersama-sama membuat transaksi penyertaan modal, masing-masing mengunci 10BTC dalam output tanda tangan ganda.

2. Membangun CET: Kedua belah pihak membuat CET1 dan CET2 yang digunakan untuk transaksi pengeluaran investasi.

3. Perhitungan oracle: Perhitungan oracle berkomitmen dan parameter terkait.

4. Penyelesaian: Berdasarkan nilai hash dari blok ke-ξ, oracle menandatangani CET yang sesuai.

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

Penelitian menemukan bahwa semua tindakan dalam DLC harus dilakukan melalui CET. Oleh karena itu, cukup gunakan mekanisme tantangan optimis untuk memastikan kebenaran CET, untuk dapat melawan serangan apa pun. CET yang salah akan ditantang dan dihentikan dari eksekusi, sementara CET yang benar akan dieksekusi. Selain itu, oracle harus membayar harga untuk tindakan jahat.

3. OP-DLC 2

OP-DLC mencakup lima ketentuan kunci berikut:

1. Oracle terdiri dari aliansi, salah satu anggota dapat menandatangani CET. Oracle harus mempertaruhkan 2BTC untuk merilis tanda tangan dan mendapatkan biaya transaksi. Pelaku jahat akan kehilangan taruhan. Alice dan Bob juga dapat menjadi oracle untuk mencapai minimalisasi kepercayaan.

2. Jika oracle berbuat jahat dan mengubah hasil, pihak mana pun dapat mengajukan tantangan.

3. CET yang ditandatangani dengan jujur dapat diselesaikan dengan benar setelah satu minggu. Oracle menerima hadiah 0,05 BTC sebagai kompensasi.

4. Siapa pun dapat menantang tanda tangan oracle. Tanda tangan yang jujur akan diselesaikan setelah satu minggu, oracle akan membuka staking dan mendapatkan biaya transaksi. Tanda tangan yang tidak jujur akan menyebabkan oracle kehilangan staking dan tidak dapat lagi mengajukan tanda tangan dengan hasil yang sama untuk kontrak DLC tersebut.

5. Tantangan dalam OP-DLC adalah tanpa izin, pihak manapun dapat mengawasi kebenaran pelaksanaan kontrak, mewujudkan minimalisasi kepercayaan terhadap oracle. Berbeda dengan jaringan lightning, Alice dan Bob dapat offline, karena tanda tangan yang jujur akan menyelesaikan CET, sedangkan oracle yang berbuat jahat akan dihukum.

Kelebihan OP-DLC termasuk:

• Tingkat kontrol aset yang tinggi, pengguna hanya dapat mempercayai diri mereka sendiri.
• Tingkat pemanfaatan dana tinggi, pengguna tidak perlu menunggu jumlah dana yang dibayarkan.
• Oracle yang dapat menandatangani ditentukan saat deposit, pengguna dapat menjadi oracle.

Kekurangan termasuk:

• Waktu penarikan memerlukan waktu satu minggu.
• Jumlah tanda tangan pra-ditandatangani memiliki hubungan linier dengan jumlah CET, tumbuh dengan cepat.

4. Kesimpulan

OP-DLC memastikan eksekusi CET yang benar dan mencegah CET yang salah dengan memperkenalkan mekanisme tantangan optimis dalam CET, sambil menghukum oracle yang berniat jahat. Desain ini mampu secara efektif melawan berbagai serangan, mencerminkan solusi yang sederhana dan elegan.