OP-DLC 2: Gerçek genellikle basittir

2018 yılında, MIT'den Tadge Dryja, Discreet Log Contract (DLC)'i önerdi, bu bir oracle tabanlı sözleşme yürütme çerçevesidir. DLC, tarafların önceden tanımlanmış koşullara göre koşullu ödemeler yapmasına olanak tanır. Taraflar olası sonuçları önceden belirler ve ön imza atarlar, oracle sonuçları imzaladığında bu ön imzaları kullanarak ödemeleri gerçekleştirirler. DLC, Bitcoin teminatlarının güvenliğini sağlarken, yeni merkeziyetsiz finans uygulamalarını mümkün kılar.

Önceki metin "DLC İlkeleri ve Optimizasyon Düşünceleri" DLC'nin avantajlarını ve mevcut sorunlarını özetledi ve bazı optimizasyon fikirleri sundu. Ancak, DLC'nin çok taraflı katılımı ile ilgili olması ve farklı taraflar arasındaki komplo saldırılarının karmaşık olması, önleme stratejilerini de nispeten karmaşık hale getiriyor. Karmaşık savunma stratejileri mükemmel değildir, sadelikten yoksundur.

Bitcoin'de, herhangi bir eylem UTXO aracılığıyla gerçekleştirilmelidir. Bu nedenle, UTXO'nun doğru olduğunu konsensüs mekanizmasıyla sağlamak, her türlü saldırıya karşı koyabilir. Benzer şekilde, DLC'de, tüm eylemler CET(Contract Execution Transaction) aracılığıyla gerçekleştirilir. CET'nin doğru olduğunu sağlamak için optimistik meydan okuma mekanizması kullanıldığında, her türlü saldırıya karşı koyulabilir. Özellikle, oracle 2BTC teminat verdikten sonra CET'yi imzalayabilir. CET'ye optimistik meydan okuma mekanizması eklenir. Eğer CET meydan okuma almazsa veya meydan okumaya başarılı bir şekilde yanıt verirse, doğru kabul edilir ve tasfiye tamamlanabilir; oracle teminatını geri alır ve işlem ücretini kazanır. Eğer oracle kötü niyetli bir eylemde bulunmaya çalışırsa, herkes başarılı bir şekilde meydan okuma yapabilir, bu CET tasfiye edilemez, oracle teminatını kaybeder ve aynı CET üzerinde tekrar imza atamaz. Bu yöntem basit ve etkilidir, sadeleştirmenin bilgeliğini yansıtır.

DLC Prensibi

Alice ve Bob'un bahis sözleşmesini örnek alalım: ξ'inci blok hash değerinin tek mi çift mi olduğuna bahis yapın. Eğer tek ise Alice kazanır, eğer çift ise Bob kazanır. DLC, blok bilgilerini iletmek için oracle kullanır ve doğru tarafın kazanmasını sağlamak için koşullu imzalar oluşturur.

DLC'nin temel süreci şunları içerir:

1. Yatırım işlemi: Alice ve Bob, 2-of-2 çok imzalı adrese her biri 10BTC yatırıyor.

2. CET Oluşturma: İki olası sonucun CET'sini oluşturun.

3. Oracle, taahhüt hesaplar ve Alice ile Bob için yeni bir genel anahtar oluşturur.

4. Hesaplama: Oracle, gerçek sonuçlara göre ilgili CET'i imzalar.

5. Çekim: Kazanan taraf yeni özel anahtarı hesaplar ve 20BTC çeker.

Araştırmalar, DLC içindeki herhangi bir davranışın CET aracılığıyla gerçekleştirilmesi gerektiğini bulmuştur. CET'nin doğru olduğundan emin olmak için optimistik meydan okuma mekanizması kullanıldığında, her türlü saldırıya karşı direnç sağlanabilir. Hatalı CET meydan okunarak yürütülmeyecek, doğru CET ise yürütülecektir. Oracle, kötü niyetli davranışlar için bir bedel ödemek zorundadır.

OP-DLC 2

OP-DLC aşağıdaki 5 kuralı içermektedir:

1. Oracle, bir ittifak tarafından oluşturulmuştur, herhangi bir üye CET imzalayabilir. 2BTC teminat gösterildikten sonra imza atılarak işlem ücreti kazanılabilir. Kötü niyetli olanlar teminatını kaybeder. Alice ve Bob da oracle olabilir ve güveni en aza indirebilir.

2. Oracle kötü niyetle sonuçları değiştirdiğinde, herkes meydan okuma başlatabilir.

3. Oracle, CET'yi dürüst bir şekilde imzaladığında, 1 hafta sonra doğru bir şekilde hesaplanabilir. Oracle 0.05BTC ödül alır.

4. Herkes oracle imzasına meydan okuyabilir. Dürüst imza 1 hafta sonra tasfiye edilir, oracle teminatını serbest bırakır ve işlem ücreti kazanır. Dürüst olmayan imza başarılı bir şekilde meydan okunduğunda geçersiz olur, oracle teminatını kaybeder ve bu sözleşmeye aynı sonucu veren bir imza ile yeniden meydan okuyamaz.

5. OP-DLC'deki zorluk, izin gerektirmemesidir; herkes sözleşmenin icrasını denetleyebilir. Oracle'lara güvenin en aza indirilmesi sağlanmıştır. Alice ve Bob çevrimdışı olabilir, çünkü kötü niyetli oracle'lar cezalandırılacaktır.

OP-DLC'nin avantajları şunlardır:

• Varlık kontrol sistemi yüksek, kullanıcı sadece kendisine güvenebilir.
• Fon kullanım oranı yüksek
• Oraküler, para yatırma sırasında belirlenir, ancak kullanıcılar da orakül olabilir.

Dezavantajlar şunlardır:

• Çıkış süresi 1 hafta gerektirir.
• Önceden imzalanması gereken imza sayısı CET sayısıyla doğrusal bir artış göstermektedir.

Sonuç

OP-DLC, CET'ye iyimserlik meydan okuma mekanizmasını getirerek, doğru CET uygulamasını sağlamayı ve hatalı CET'lerin tasfiye edilmemesini garanti eder. Bu basit ve etkili yöntem, herhangi bir saldırıya karşı direnç gösterir ve tasarımın sadeliğini yansıtır.