DLC Teknoloji Prensipleri ve Optimizasyon Düşünceleri Üzerine Tartışma

1. Genel Bakış

Dağıtık Logaritma Sözleşmesi ( DLC ), MIT'ten Tadge Dryja tarafından 2018 yılında önerilen, oracle tabanlı bir koşullu ödeme çözümüdür. DLC, tarafların önceden tanımlanmış koşullara göre ödeme yapmasına olanak tanır, katılımcılar olası sonuçları önceden belirleyip ön imza atarlar, oracle sonucu imzaladığında ödeme gerçekleştirilebilir. Bu, DLC'nin Bitcoin mevduatının güvenliğini sağlarken yeni tür merkeziyetsiz finans uygulamalarını hayata geçirmesine olanak tanır.

Lightning Network ile karşılaştırıldığında, DLC'nin aşağıdaki avantajları vardır:

• Daha iyi gizlilik: Sözleşme detayları yalnızca katılımcılar arasında paylaşılır, blok zincirinde depolanmaz.
• Karmaşık finansal sözleşmeleri destekler: Bitcoin ağı üzerinde doğrudan türev ürünler, sigorta gibi karmaşık sözleşmeler oluşturabilir ve icra edebilirsiniz.
• Karşı taraf riskini azaltma: Fonlar çoklu imza sözleşmesinde kilitlenir, yalnızca önceden tanımlanmış olay sonuçları gerçekleştiğinde serbest bırakılır.
• Ödeme kanallarını yönetmeye gerek yok: İşlem daha basit, ödeme kanalları oluşturup bakımını yapmaya gerek yok.
• Belirli senaryolarda daha iyi ölçeklenebilirlik: Karmaşık sözleşmeler açısından daha iyi ölçeklenebilirlik sağladı.

Ancak DLC hala bazı riskler ve sorunlar barındırıyor:

• Oracle özel anahtarı ve rastgele sayı sızıntısı veya kaybolması, varlık kaybına neden olabilir.
• Orakl riskleri merkezi güvene bağlıdır, hizmet reddi saldırılarına karşı savunmasızdır.
• Merkeziyetsiz oracle doğrudan anahtar türetme işlemi yapamaz.
• Oracle düğümleri komplo kurabilir, hala güven sorunları bulunmaktadır.
• Koşullu imzalar, önceden belirlenmiş olay kümesine ihtiyaç duyar, bu da varlık yeniden dağılımında minimum miktar sınırlaması olmasına neden olur.

Bu makale, yukarıda belirtilen sorunları çözmek ve Bitcoin ekosisteminin güvenliğini artırmak için bazı optimizasyon çözümlerini araştıracaktır.

2. DLC Çalışma Prensibi

Alice ve Bob'un bir bahis sözleşmesi imzalaması örneğini ele alalım, bahis n+k. blok hash değerinin tek veya çift olmasına dayanmaktadır. Eğer tekse Alice kazanır, aksi takdirde Bob kazanır. DLC, kazanan tarafın tüm varlıklarını kazanmasını sağlamak için şartlı imzalar oluşturmak amacıyla oracle üzerinden blok bilgilerini ileterek çalışır.

Aşamalar aşağıdaki gibidir:

1. Başlatma: Eliptik eğri jeneratörü G'yi ve derecesini q olarak ayarlayın.

2. Anahtar üretimi: Oracle, Alice ve Bob kendi özel ve genel anahtarlarını oluşturur. Oracle: Özel anahtar z, Genel anahtar Z = z·G Alice:Özel anahtar x, genel anahtar X = x·G
   Bob:Özel anahtar y, genel anahtar Y = y·G

3. Yatırım işlemi: Alice ve Bob, yatırım işlemi oluşturur ve her biri 1BTC'yi 2-of-2 çoklu imza çıktısında kilitler.

4. Sözleşme yürütme işlemi: İki adet sözleşme yürütme işlemi oluşturun ( CET ), yatırma işlemi için kullanılır.

5. Oracle Hesaplama Taahhüdü: R := k·G S := R - hash(TekSayı,R)·Z S' := R - hash(EvenNumber,R)·Z Yayın (R,S,S')

6. Alice ve Bob yeni açık anahtarı hesaplar: PK^Alice := X + S PK^Bob := Y + S'

7. Hesaplama: Oracle, n+k. blok hash değerine göre s veya s' üretir. Tek sayı:s := k - hash(TekSayı,R)·z çift:s' := k - hash(EvenNumber,R)·z

8. Çekim: Kazanan taraf yeni özel anahtarı s veya s' kullanarak hesaplar ve varlıkları çeker. Alice:sk^Alice := x + s Bob:sk^Bob := y + s'

Analizler, hesaplanan yeni özel anahtar ile yeni genel anahtarın ayrık logaritma ilişkisini sağladığını ve başarılı bir şekilde para çekilebileceğini göstermektedir.

Ayrıca, varlıkların zaman aşımından sonra alınmasını önlemek için para çekim süresini kısıtlamak amacıyla bir zaman kilidi eklenmesi gerekmektedir.

3. DLC optimizasyon planı

3.1 Anahtar Yönetimi

Oracle'in özel anahtarı ve rastgele sayılarının güvenliği son derece önemlidir, sızıntı veya kayıp çeşitli güvenlik sorunlarına yol açabilir:

1. Özel anahtar kaybı: Ödeme yapılamaz, geri ödeme sözleşmesi yerine getirilmelidir.
2. Özel anahtarın sızdırılması: Tüm DLC'ler dolandırıcılık çözüm riskiyle karşı karşıya
3. Rastgele sayıların sızdırılması veya yeniden kullanılması: Özel anahtar çıkarılabilir.
4. Rastgele sayı kaybı: Belirli DLC'yi hesaplayamıyor

Aşağıdaki önlemleri almanızı öneririm:

• İmza için BIP32 kullanarak alt anahtar veya torun anahtarı türetin
• Özel anahtar ve sayaçın hash değerini rastgele sayı olarak kullanmak

3.2 Merkeziyetsiz Tahminci

Schnorr eşik imzası kullanarak merkezi olmayan bir oracle oluşturmanın aşağıdaki avantajları vardır:

• Güvenliği artırma: Dağıtılmış anahtar yönetimi, tek nokta arıza riskini azaltır.
• Dağıtık Kontrol: Tek bir varlık tüm imza yetkisini elinde bulundurmuyor
• Kullanılabilirliği artırın: yalnızca eşiği aşmak yeterlidir.
• Esneklik ve ölçeklenebilirlik: Farklı eşik değerleri ayarlanabilir, çeşitli senaryolara uyum sağlar.
• Hesap verebilirlik: Her düğüm imza parçasının doğruluğu doğrulanabilir

3.3 Merkeziyetsizlik ve Anahtar Yönetimi Entegrasyonu

Merkeziyetsiz oracle senaryosunda, tam özel anahtar görünmez, doğrudan BIP32 kullanılarak anahtar türetimi yapılamaz. Dağıtık anahtar türetim yöntemi kullanılabilir:

• Lagrange interpolasyon polinomuna göre, özel anahtar parçaları ve tam özel anahtar interpolasyon ilişkisini sağlar.
• Özel anahtar parçaları artırma ile birlikte, alt anahtar ile hala interpolasyon ilişkisini karşılar.
• Tüm katılımcılar, alt imza parçaları oluşturmak için alt özel anahtar parçaları türetebilir.

Gelişmiş ve gelişmemiş BIP32 uyumluluk sorunlarının dikkate alınması gerekmektedir.

3.4 OP-DLC: Tahminci Güven Minimizasyonu

OP-DLC mekanizmasını önerin, iyimser bir meydan okuma getirin:

• Oracle, zincir üzerinde OP oyunu inşa etmek için önceden teminat göstermelidir.
• Her dürüst katılımcı kötü niyetli davranışlara itirazda bulunabilir.
• Başarıyla tamamlanan zorluk, zincir üzerinde kötülük kehanetine ceza verir.
• "k-of-n" model imzası kullanılabilir, k değeri 1 olabilir.
• Güven varsayımı, ağda yalnızca bir dürüst katılımcının bulunması gerektiği şekilde azaltılmıştır.

3.5 OP-DLC + BitVM çift köprü

OP-DLC ve BitVM'i birleştirerek DLC'nin çapraz zincir köprüler için sorunlarını çözmek:

• BitVM kullanarak bozuk para sorununu çözün, CET miktarını azaltın
• Çeşitli para yatırma ve çekme kanalları sunarak, istediğiniz hassasiyette para üstü sağlamaktadır.
• BitVM birliğini Bob ve oracle olarak belirleyin, güveni en aza indirin.
• DLC kanalı çıkış bakiyesi BitVM fon havuzuna dahil edilmiştir, kullanım oranını artırır.

4. Sonuç

DLC, Taproot, BitVM gibi yeni teknolojilerle birleştirilerek daha karmaşık zincir dışı sözleşme doğrulama ve hesaplama işlemleri gerçekleştirebilir. OP meydan okuma mekanizması sayesinde, oracle'ların güvenini minimize etmek mümkün hale gelir, bu da Bitcoin ekosistemine daha fazla olanak sunar.