OP-DLC 2: Büyük gerçekler her zaman basittir.

1. Giriş

2018 yılında, MIT'den Tadge Dryja, oracle tabanlı bir sözleşme uygulama çerçevesi önerdi - Discreet Log Contract (DLC). Bu çerçeve, tarafların önceden tanımlanmış şartlara göre koşullu ödemeler yapmasına izin verir, olası sonuçları önceden belirleyip önceden imzalar ve oracle sonuçları imzaladığında ödemeyi gerçekleştirir. DLC, Bitcoin mevduatlarının güvenliğini sağlarken, merkeziyetsiz finans uygulamaları için yeni olanaklar da sunmaktadır.

Önceki araştırmalar, DLC'nin gizlilik koruma, karmaşık sözleşmeler ve varlık riskleri gibi alanlardaki avantajlarını özetlemiş, aynı zamanda karşılaştığı anahtar riski, merkezsizlikte güven riski ve komplo riski gibi sorunları da belirtmiştir. Bu sorunları çözmek için araştırmacılar merkeziyetsiz oracle, eşik imzaları ve optimistik meydan okuma mekanizmaları gibi çözümler sunmaya çalışmıştır. Ancak, DLC'nin çok taraflı katılımı gerektirmesi nedeniyle savunma stratejileri karmaşık hale gelmekte ve "büyük yol basittir" ilkesine uymamaktadır.

Bitcoin sisteminde tüm katılımcıların davranışları UTXO aracılığıyla gerçekleştirilir. Bu nedenle, UTXO'nun doğruluğunu sağlamak herhangi bir saldırıya karşı koruma sağlar. Benzer şekilde, DLC'de tüm davranışlar CET (Sözleşme İcra İşlemi) aracılığıyla tamamlanır. CET'in doğruluğunu sağlamak için iyimser meydan okuma mekanizması getirilerek çeşitli saldırılara karşı etkili bir şekilde korunabilir. Özellikle, oracle'ların CET'i imzalamak için 2BTC teminat vermesi ve CET'e iyimser meydan okuma mekanizmasını eklemesi gerekir. Eğer CET meydan okuma ile karşılaşmazsa veya meydan okumaya başarılı bir şekilde yanıt verilirse, doğru olarak kabul edilir ve hesaplama tamamlanır, oracle teminatını geri alır ve işlem ücretini kazanır. Aksi takdirde, eğer oracle kötü niyetli davranırsa, herkes başarılı bir şekilde meydan okuyabilir, bu da CET'in hesaplanamamasıyla sonuçlanır, oracle teminatını kaybeder ve bu CET üzerindeki imza hakkını kaybeder. Bu sade ve etkili mekanizma, "büyük yol basittir" tasarım felsefesini yansıtır.

2. DLC prensibi

Alice ve Bob bir bahis sözleşmesi imzaladı: ξ. blokun hash değerinin tek mi yoksa çift mi olduğunu tahmin ediyorlar. Eğer tek ise, Alice kazanır ve varlıkları çeker; eğer çift ise, Bob kazanır ve varlıkları çeker. DLC, ξ. blok bilgilerini oracle üzerinden ileterek koşullu imzalar oluşturur ve kazananın tüm varlıkları almasını garanti eder.

DLC'nin ana adımları şunlardır:

1. Yatırım işlemi: Alice ve Bob ortaklaşa bir yatırım işlemi oluşturur, her biri çoklu imza çıktısında 10BTC'yi kilitler.

2. CET Oluşturma: Taraflar, yatırım harcama işlemleri için CET1 ve CET2 oluşturur.

3. Oracle hesaplaması: Oracle hesaplaması taahhütleri ve ilgili parametreleri içerir.

4. Hesaplama: ξ. blokun hash değerine göre, oracle ilgili CET'yi imzalar.

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

Araştırmalar, DLC'deki tüm eylemlerin CET aracılığıyla gerçekleştirilmesi gerektiğini bulmuştur. Bu nedenle, CET'in doğru olduğundan emin olmak için yalnızca optimistik meydan okuma mekanizmasını kullanmak, her türlü saldırıya karşı koymak için yeterlidir. Hatalı CET meydan okunacak ve yürütülmesi engellenecek, doğru CET ise yürütülecektir. Ayrıca, oracle'ların kötü niyetli eylemler için bedel ödemesi gerekecektir.

3. OP-DLC 2

OP-DLC aşağıdaki beş ana düzenlemeyi içermektedir:

1. Oracle, bir ittifak tarafından oluşturulmuştur ve herhangi bir üye CET imzalayabilir. Oracle, imza atmak ve işlem ücreti kazanmak için 2 BTC teminat göstermelidir. Kötü niyetli kişiler teminatını kaybeder. Alice ve Bob da oracle olabilir, böylece güveni en aza indirebilirler.

2. Eğer oracle kötü niyetle sonuçları değiştirirse, herhangi bir katılımcı meydan okuma başlatabilir.

3. Dürüst imzalanmış CET, bir hafta sonra doğru bir şekilde hesaplanabilir. Oracle, tazminat olarak 0.05BTC ödül alır.

4. Herkes oracle imzasına meydan okuyabilir. Dürüst imzalar bir hafta sonra hesaplanacak ve oracle teminatı serbest bırakılacak ve işlem ücretini alacaktır. Dürüst olmayan imzalar oracle'ın teminatını kaybetmesine neden olacak ve aynı DLC sözleşmesine aynı sonuç için imza atılamayacaktır.

5. OP-DLC'deki zorluk, izin gerektirmemesidir; herhangi bir katılımcı, sözleşmenin düzgün bir şekilde yerine getirilmesini denetleyebilir ve oracle'lara olan güveni en aza indirir. Lightning Network ile karşılaştırıldığında, Alice ve Bob çevrimdışı olabilir çünkü yalnızca dürüst imzalar CET'ye tabi tutulacak ve kötü niyetli oracle'lar cezalandırılacaktır.

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

• Varlık kontrolü yüksektir, kullanıcı sadece kendisine güvenebilir.
• Yüksek fon kullanımı oranı, kullanıcıların eşit miktarda fon beklemelerine gerek kalmadan.
• İmza atabilen oracle, para yatırma sırasında belirlenir, kullanıcı oracle olabilir.

Eksiler şunlardır:

• Para çekme süresi bir hafta gerektirir.
• Ön imzalı miktar ile CET miktarı arasında doğrusal bir ilişki vardır ve hızlı bir şekilde artmaktadır.

4. Sonuç

OP-DLC, CET içinde optimistik meydan okuma mekanizmasını tanıtarak doğru CET'in uygulanmasını sağlarken hatalı CET'i engeller ve kötü niyetli oracle'lara ceza verir. Bu tasarım, çeşitli saldırılara karşı etkili bir şekilde direnç göstererek basit ve zarif bir çözümü yansıtır.