DLC Teknolojisi Prensipleri ve Optimizasyon Çözümleri Üzerine Tartışma

1. Giriş

Dağıtık Logaritma Sözleşmesi (DLC), MIT'den Tadge Dryja tarafından 2018'de önerilen, oracle tabanlı bir Bitcoin sözleşme yürütme planıdır. DLC, tarafların önceden tanımlanmış koşullara göre koşullu ödeme yapmalarına izin verir, katılımcılar olası sonuçları önceden imzalar ve oracle sonucu imzaladığında ödemeyi gerçekleştirir. Bu, DLC'nin Bitcoin üzerinde yeni merkeziyetsiz finans uygulamalarını gerçekleştirmesine olanak tanırken, depozito güvenliğini de sağlamaktadır.

Lightning Network'e kıyasla, DLC'nin aşağıdaki avantajları vardır:

• Daha iyi gizlilik koruması, sözleşme detayları yalnızca taraflar arasında paylaşılacaktır.
• Karmaşık ve esnek finansal sözleşmeleri destekler, örneğin türev ürünler, sigorta vb.
• Rakip taraf riskini azaltma, fonların çoklu imza sözleşmesinde kilitlenmesi
• Ödeme kanallarını yönetmeye gerek yok
• Karmaşık sözleşmelerde daha iyi ölçeklenebilirlik sağlamak

Ancak DLC'nin hala bazı sorunları ve riskleri var:

• Oracle gizli anahtarının sızması veya kaybolma riski
• Oracle merkeziyetçilik sorunu
• Merkeziyetsiz oracle anahtar türetimi yapamaz
• Oracle komplo riski
• Sabit nominal bozuk para sorunu

Bu makale, DLC'nin prensiplerini inceleyecek ve yukarıda belirtilen sorunları çözmek için bazı optimizasyon önerileri sunacaktır.

2. DLC Prensibi

Alice ve Bob'un bir bahis sözleşmesi imzalamasını örnek alalım, bahis n+k'inci bloğun hash değerinin tek-çift olmasında. Tek ise Alice kazanır, çift ise Bob kazanır.

Başlatma:

• Eliptik eğri üretim noktası G, sıra q
• Oracle özel anahtarı z, kamu anahtarı Z=z·G
• Alice özel anahtarı x, genel anahtar X=x·G
• Bob'un özel anahtarı y, genel anahtarı Y=y·G

Yatırım işlemi: Alice ve Bob, 2-of-2 çoklu imza çıkışına 1BTC kilitliyor.

Sözleşme yürütme işlemi: Harcama yatırımı işlemi için iki CET oluşturun.

Oracle taahhüt ediyor: R := k·G
S := R - hash(TekSayı,R)·Z S' := R - hash(EvenNumber,R)·Z yayın ( R,S,S')

Alice ve Bob yeni bir kamu anahtarı hesaplıyor: PK^Alice := X + S PK^Bob := Y + S'

Hesaplama: Tekil sonuç: s := k - hash(TekilSayı,R)·z Çift sayı sonucu:s' := k - hash(EvenNumber,R)·z

Para çekme: Alice yeni özel anahtarı: sk^Alice := x + s Bob'un yeni özel anahtarı: sk^Bob := y + s'

3. DLC optimizasyon planı

3.1 Anahtar Yönetimi

Oracle anahtar yönetimi aşağıdaki risklerle karşı karşıyadır:

1. özel anahtar kayboldu: hesaplanamaz, geri ödeme gerçekleştirilemiyor
2. özel anahtar z: rastgele mesajları imzalamak için kötüye kullanılabilir
3. rastgele sayı k'nin ifşası veya yeniden kullanılması: özel anahtar z hesaplanabilir
4. kaybolan rastgele sayı k: ilgili DLC hesaplanamıyor

Öneri:

• BIP32 kullanarak alt anahtar türetme
• Özel anahtar ve sayaç hash'ini rastgele sayı olarak kullan

3.2 Merkeziyetsiz Orak

Schnorr eşik imzasını kullanarak merkeziyetsiz oracle uygulaması, aşağıdaki avantajlara sahiptir:

• Güvenliği artırma, anahtar yönetimini dağıtma
• Dağıtık kontrol, güç yoğunlaşma riskini azaltır
• Kullanılabilirliği artırmak, bazı düğüm arızaları genel durumu etkilemez.
• Esnek ve ölçeklenebilir, farklı eşik değerleri ayarlanabilir
• Sorumluluk alınabilir, imza parçaları doğrulanabilir

3.3 Merkeziyetsizlik ve Anahtar Yönetimi Eşleştirilmesi

Merkeziyetsiz oracle'ler doğrudan BIP32 ile türetilmiş anahtarları kullanamaz. Dağıtık anahtar türetme yöntemleri kullanılabilir:

Özel anahtar parçaları z_i ve tam özel anahtar z, Lagrange interpolasyon ilişkisini sağlar: z = Σ(z_i · λ_i)

Artırılmış türev artışı ω ile hala interpolasyon ilişkisini sağlamak: z + ω = Σ((z_i + ω) · λ_i)

Her bir katılımcı, z_i + ω alt özel anahtar parçalarını türetebilir.

Ancak, geliştirilmiş ve geliştirilmemiş BIP32 arasındaki farkları dikkate almak gerekir.

3.4 OP-DLC: Oracle Güven Azaltma

OP-DLC önerisi:

• Oracle önceden stake edilerek zincir üzerindeki OP oyunu inşa edildi
• Her dürüst katılımcı meydan okuma başlatabilir
• Başarıyla zorlukları aşmak, kötü davranış kehanetini cezalandırır.
• "k-of-n" modeli ile birlikte kullanılabilir

Avantajları:

• Oracle düğümleri birbirini denetler
• Sadece bir dürüst katılımcı yeter, hata toleransı %99
• Oracle komplo risklerini çözme

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

OP-DLC'yi BitVM ile birleştirin:

• Bozuk para sorununu BitVM ile çözün
• Birçok para yatırma ve çekme kanalı sunar
• BitVM Birliği, bir oracle olarak, güveni en aza indirger.
• Fon kullanım oranını artırmak

4. Sonuç

DLC, Taproot ve BitVM gibi teknolojileri birleştirerek daha karmaşık zincir dışı sözleşme doğrulama ve mutabakatı gerçekleştirebilir. OP meydan okuma mekanizması, oracle güvenini en aza indirmeyi mümkün kılarak DLC'nin gelişimine yeni olanaklar sunar.