OP-DLC 2: Jalan Terbaik Adalah Jalan yang Sederhana

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

Teks sebelumnya merangkum keuntungan dan masalah yang dihadapi oleh DLC, serta mengajukan beberapa solusi optimasi. Namun, karena DLC melibatkan banyak pihak, strategi pertahanan menjadi relatif kompleks. Untuk mengejar keindahan kesederhanaan, kita perlu kembali ke esensi: dalam Bitcoin, setiap tindakan harus direalisasikan melalui UTXO. Demikian pula, tindakan dalam DLC direalisasikan melalui CET(Contract Execution Transaction). Oleh karena itu, cukup pastikan keakuratan CET untuk dapat menahan berbagai serangan.

Secara khusus, kita dapat memperkenalkan mekanisme tantangan optimis untuk memastikan keakuratan CET. Oracle harus mengunci 2 BTC untuk menandatangani CET. Jika CET tidak ditantang atau berhasil menghadapi tantangan, maka dianggap benar dan dapat dieksekusi untuk penyelesaian, oracle melepaskan kunci dan mendapatkan biaya transaksi. Jika oracle mencoba berbuat jahat, siapa pun dapat memulai tantangan, yang mengakibatkan CET tersebut tidak dapat diselesaikan, oracle kehilangan deposit dan kehilangan hak tanda tangannya atas CET tersebut. Mekanisme ini sederhana dan efektif, sesuai dengan prinsip "jalan besar menuju kesederhanaan".

Prinsip DLC

Sebagai contoh, mari kita lihat taruhan antara Alice dan Bob mengenai paritas dari hash blok tertentu, untuk menjelaskan prinsip dasar DLC:

1. Investasi transaksi: Alice dan Bob masing-masing mengunci 10BTC dalam output tanda tangan ganda.

2. Membangun CET: Kedua belah pihak membuat dua CET, masing-masing sesuai dengan hasil yang berbeda.

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

4. Tarik Dana: Pihak yang menang menghitung kunci pribadi baru dan menarik seluruh 20BTC.

Kunci utamanya adalah, semua tindakan dilakukan melalui CET. Oleh karena itu, cukup pastikan keakuratan CET untuk mencegah berbagai serangan. CET yang salah akan ditantang dan tidak akan dieksekusi, sedangkan CET yang benar akan dieksekusi. Pada saat yang sama, oracle harus membayar biaya untuk tindakan jahat.

OP-DLC 2

OP-DLC berisi ketentuan berikut:

1. Oracle terdiri dari aliansi, anggota mana pun dapat menandatangani CET. Diperlukan staking 2BTC untuk dapat menandatangani dan mendapatkan biaya transaksi.

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

3. Jika oracle menandatangani dengan jujur, CET dapat diselesaikan setelah satu minggu, oracle akan mendapatkan hadiah.

4. Siapa pun dapat menantang tanda tangan oracle:

   • Jika jujur, CET diselesaikan secara normal, oracle membuka kunci staking dan mendapatkan biaya transaksi.
   • Jika tidak jujur, tanda tangan tersebut tidak berlaku, oracle kehilangan deposit dan kehilangan hak untuk menandatangani lagi.

5. Mekanisme tantangan tidak memerlukan izin, siapa pun dapat mengawasi pelaksanaan kontrak, mewujudkan kepercayaan minimum terhadap oracle.

Keuntungan utama OP-DLC:

• Tingkat kontrol aset yang tinggi, pengguna hanya dapat mempercayai diri mereka sendiri
• Tingkat pemanfaatan dana yang tinggi, tanpa perlu menunggu pembayaran dana yang setara
• Orakel perlu ditentukan saat setoran, tetapi pengguna dapat menjadi orakel.

Kekurangan utama:

• Penarikan dana memerlukan waktu satu minggu untuk periode tantangan.
• Jumlah pra-tanda tangan meningkat secara linier dengan jumlah CET

Kesimpulan

OP-DLC memastikan bahwa kesalahan CET tidak diselesaikan dan oracle jahat dihukum dengan memperkenalkan mekanisme tantangan optimis di CET, sambil memastikan CET yang benar dapat dieksekusi. Metode yang sederhana dan efektif ini dapat melawan berbagai serangan, mencerminkan pemikiran desain "jalan besar menuju kesederhanaan".