Dağıtık Mutabakat Protokolleri için İşbirlikçi İş Kanıtı Şeması

1. Giriş

Bu makale, standart iş kanıtı (PoW) şemasına bir iyileştirme önermektedir. Bu şemada amaç, bir blok başlığının kriptografik özetinin belirli bir zorluk hedefini (örneğin, belirli sayıda sıfırla başlamasını) karşılayacak bir nonce değeri bulmaktır. Temel yenilik, bu şemanın doğası gereği işbirlikçi olacak şekilde tasarlanmasıdır; böylece birden fazla otonom kullanıcı, kolektif işlemleri için PoW'u çözmek amacıyla hesaplama çabalarını birleştirebilir.

Birincil motivasyon, geleneksel madenciliğin (örneğin, Bitcoin) rekabetçi, ücret odaklı modelinden, işbirlikçi, vergi odaklı bir modele geçiştir. Bu değişim, madencilik yarışlarından kaynaklanan israf edilen enerji harcamasını azaltmayı ve madencilerin ayrımcılığı ve madencilik havuzlarının merkezileştirici etkisi gibi sorunları hafifletmeyi amaçlamaktadır.

Önerilen Faydalar:

• İşlem ücretlerinin (madencilere ödenen) işlem vergileriyle (kullanıcılar/madenciler tarafından ödenen) değiştirilmesi.
• Rekabetçi özetleme işlemlerini caydırarak toplam enerji tüketiminin azaltılması.
• Madenciler tarafından yapılan işlem sansürüne karşı artan savunma.
• Azalan rekabet nedeniyle sistem verimliliğinde potansiyel artış.
• Spam göndermenin maliyetli hale gelmesiyle Hizmet Reddi (DoS) saldırılarına karşı gelişmiş caydırıcılık.

2. Mutabakat

3. İşbirlikçi İş Kanıtı

4. Temel Kavrayış & Mantıksal Akış

Temel Kavrayış: Nakamoto mutabakatının temel verimsizliği PoW'un kendisi değil, etrafında inşa edilen sıfır toplamlı, rekabetçi çerçevedir. Kuijper'in makalesi, gerçek maliyetin—enerji israfı, havuzlar aracılığıyla merkezileşme, ücret piyasası oynaklığı—mutabakat sağlamaktan değil, diğerlerinden daha fazla hesaplama yapma yapısal teşvikinden kaynaklandığını doğru bir şekilde tespit etmektedir. Madene-ücret modelinden kullanıcı-tarafından-vergi modeline önerilen geçiş, radikal ama mantıklı bir tersine çevirmedir. Bu, PoW'u madenciler için bir "piyango bileti" olmaktan çıkarıp, deftere dahil olmak isteyen kullanıcılar için bir "koordinasyon maliyeti" olarak yeniden çerçeveler ve ekonomik teşvikleri ağ sağlığıyla uyumlu hale getirir.

Mantıksal Akış: Argüman cerrahi bir kesinlikle ilerler: (1) Mutabakatı bir mesajlaşma/senkronizasyon problemi olarak belirler. (2) PoW'u zorunlu bir gecikme mekanizması olarak gösterir. (3) Rekabeti PoW'un dışsallıklarının kaynağı olarak tanımlar. (4) Bireysel çözümleri kombinatoryal olarak faydalı kılarak yapısal olarak işbirliğini zorunlu kılan bir kriptografik ilkel (işbirlikçi PoW) önerir. Mantık sağlamdır—rekabet edemiyorsanız, işbirliği yapmalısınız. Makalenin parlaklığı, rekabeti matematiksel olarak anlamsız kılacak şekilde protokolü tasarlamamızı önermesindedir.

5. Güçlü Yönler & Eksiklikler

Güçlü Yönler:

• Zarif Teşvik Yeniden Hizalaması: Vergi modeli, enerji aşırı tüketiminin kök nedenine doğrudan saldırır. Ethereum'un EIP-1559 ücret yakma gibi sonradan eklenen düzeltmelerden daha ilkeli bir yaklaşımdır.
• Havuza Direnç: İşbirliğini protokole yerleştirerek, harici madencilik havuzlarına olan ihtiyacı ve onların merkezileşme risklerini potansiyel olarak ortadan kaldırır. Bu, Gervais ve diğerleri (2016) gibi araştırmacıların Bitcoin madenciliğindeki merkezileşme baskılarına dikkat çektiği kritik bir kusuru ele alır.
• Gelişmiş Sansüre Direnç: Eğer madenciler (veya işbirlikçiler) işlemleri dahil etmek için ödeme yapıyorsa, belirli bir işlemi hariç tutmak için daha az ekonomik teşvikleri olur, bu da ağ tarafsızlığını güçlendirir.

Eksiklikler & Kritik Boşluklar:

• "Bedavacı" Problemi: Makale, önemli bir oyun teorisi zorluğunu üstünkörü geçmektedir. Bir kullanıcının, diğerlerinin işbirlikçi bulmacayı çözmesini bekleyip sonra kendi işlemini eklemesini ne engeller? Vergi, muhtemelen hesaplamanın ZK-kanıtları gibi karmaşık mekanizmalar gerektirecek şekilde kriptografik olarak zorunlu kılınmalıdır; makale bunu detaylandırmamaktadır.
• Karmaşıklık & Doğrulanabilirlik: Kısmi kanıtları birleştirmek, doğrulanabilir şekilde ucuz ama kriptografik olarak sağlam olmalıdır. Böyle bir fonksiyon tasarlamak önemsiz değildir ve enerji tasarrufunu geçersiz kılabilecek yeni güvenlik açıkları veya hesaplama yükü getirebilir.
• Başlatma & Benimseme: Birçok yeni mutabakat modeli gibi, büyük bir koordinasyon zorluğuyla karşı karşıyadır. Mevcut ASIC yatırımlarına sahip madencilerin geçiş yapmak için bir teşviki yoktur. Şema muhtemelen temiz bir sayfa blok zinciri gerektirir ve diğer "Bitcoin alternatifleri" ile aynı benimseme engelleriyle karşılaşır.
• Belirsiz Formalizasyon: Umut verici olsa da, makale üst düzey kalmaktadır. Gerçek bir değerlendirme, eksik olan spesifik kriptografik yapıyı gerektirir. Bu olmadan, öneri hazır bir çözümden ziyade bir araştırma yönüdür.

6. Uygulanabilir Kavrayışlar

Araştırmacılar ve protokol tasarımcıları için:

1. Kombinatorik Kriptografiye Odaklanın: Acil bir sonraki adım, güvenli ve verimli kanıt birleştirmesine olanak tanıyan somut bir özet fonksiyonu veya taahhüt şeması belirlemektir. İlham için Merkle ağaçları veya doğrulanabilir gecikme fonksiyonu (VDF) kompozisyonları gibi kavramlara bakın.
2. Oyun Teorisini Titizlikle Modelleyin: İnşa etmeden önce, teşvik modelini formalize edin. Nash dengelerini test etmek için temelli simülasyonu (örneğin, Biais ve diğerleri, 2019 tarafından Bitcoin'e uygulananlar gibi) kullanın. "Vergi" kaçınılmaz olmalı ve işbirliğinin faydaları, ihanet stratejilerine kesinlikle üstün gelmelidir.
3. Önce Niş Uygulamaları Hedefleyin: Bitcoin'in yerini almayı hedeflemeyin. Bunun yerine, bu şemayı kontrollü, konsorsiyum tarzı blok zincirlerinde veya katılımcı kimliğinin ve işbirliğinin daha kolay sağlandığı merkeziyetsiz zaman damgalama veya varlık kanıtı hizmetleri gibi spesifik kullanım durumlarında pilot uygulayın.
4. Alternatiflerle Karşılaştırmalı Test Yapın: Gerçekleştirilmiş bir işbirlikçi PoW'un potansiyel enerji ayak izini ve güvenlik garantilerini sadece Bitcoin'e karşı değil, aynı zamanda Avalanche veya Algorand'ın Saf PoS'u gibi diğer PoW-sonrası mutabakat mekanizmalarına karşı titizlikle karşılaştırın. Çıta yüksektir.

Sonuç: Kuijper'in makalesi, sistemsel bir problemi doğru teşhis eden değerli bir düşünce parçasıdır. Ancak, bir yapılabilir motor değil, bir taslak sunmaktadır. Gerçek iş—ve gerçek başarısızlık riski—işbirliğini sadece mümkün değil, aynı zamanda zorunlu ve optimal kılmak için gereken kriptografik ve ekonomik mühendislikte yatmaktadır. Bu, bir sonraki nesil mutabakat araştırmalarının sınırıdır.

7. Teknik Detaylar & Matematiksel Formalizasyon

Makale, işbirlikçi PoW'u, çözümün farklı kullanıcılardan gelen birden fazla girdinin bir fonksiyonu olduğu bir arama problemi olarak formalize etmeyi önermektedir. Kavramsal bir formalizasyon şu şekilde özetlenebilir:

$U_1, U_2, ..., U_n$ kullanıcılarından gelen $T = \{tx_1, tx_2, ..., tx_n\}$ işlem kümesi olsun. Her $U_i$ kullanıcısı, bir kriptografik özet fonksiyonu $H$ ve küresel bir meydan okuma $C$ için, kendi işlemi için aşağıdakini sağlayan bir kısmi tanık $w_i$ bulmak üzere çalışır:

$H(C, tx_i, w_i) < D_i$

Burada $D_i$ kişisel bir zorluk hedefidir. Temel yenilik, kısmi çözümler kümesi $\{w_1, ..., w_n\}$'yi alan ve tüm $T$ kümesi için geçerli bir bileşik tanık $W$ çıktısını veren bir birleştirme fonksiyonu $\Phi$'dir:

$W = \Phi(w_1, w_2, ..., w_n)$

Bu bileşik tanık, sıralı $T$ kümesi için küresel PoW koşulunu sağlamalıdır:

$H(C, \text{Sırala}(T), W) < D_{küresel}$

Güvenlik, $W$'yi doğrudan bulmanın hesaplama açısından zor, ancak geçerli kısmi tanıklardan $\{w_i\}$ oluşturmanın verimli olması özelliğine dayanır. Bu, eşik kriptografisi veya dağıtık anahtar üretimindeki kavramları yansıtır.

8. Analiz Çerçevesi & Kavramsal Örnek

Çerçeve: İşbirlikçi Madencilik Oyunu

Her birinin bir işlemi olan iki kullanıcı, Alice ve Bob ile basitleştirilmiş bir model düşünün.

• Geleneksel PoW (Bitcoin-benzeri): Alice ve Bob (veya seçtikleri madenciler) $H(blok) < D$'yi çözmek için rekabet eder. Kazanan her iki işlemi de dahil eder, ücreti kazanır ve kaybedenin işi boşa gider.
• İşbirlikçi PoW (Önerilen): Protokol, blok özetinin $H(\, H(tx_A, w_A) \, \| \, H(tx_B, w_B) \, ) < D$ olarak hesaplandığı bir bulmaca tanımlar. Alice, kendi özet çıktısının, diyelim ki 5 baştaki sıfıra sahip olmasını sağlayacak $w_A$'yı arar. Bob da $w_B$ için aynısını yapar. Daha sonra bu özetleri birbirleriyle paylaşırlar. Bu iki özetin birleşik özetinin, diyelim ki 8 baştaki sıfıra sahip olması gerekir. Kritik olarak, $w_A$ ve $w_B$'yi bağımsız olarak bulmak, tüm blok için tek bir nonce bulmaktan daha kolaydır ve onların işi birleştirilebilir.

Sonuç: Her ikisi de işe katkıda bulunur. Her iki işlem de dahil edilir. "Ödül", kendi işlemlerinin başarılı bir şekilde dahil edilmesidir ve bu, önceden ödenen "vergi" (hesaplama çabası) ile karşılanır. Tek bir kazanan yoktur; başarı paylaşılır.

9. Uygulama Öngörüsü & Gelecek Yönelimler

Potansiyel Uygulamalar:

• Yeşil Blok Zinciri Girişimleri: Çevresel sürdürülebilirliği önceliklendiren projeler için, işbirlikçi PoW, savaşta test edilmiş PoW güvenliğini korurken, tasarım gereği karbon ayak izini büyük ölçüde azaltan bir yol sunar.
• Merkeziyetsiz Otonom Organizasyonlar (DAO'lar): DAO üyeleri, ekosistemlerini yönetmek için işbirlikçi bir şekilde bloklar üretebilir, oy gücünü saf sermaye payı (PoS) yerine, ortak hedeflere yönelik katkıda bulunulan hesaplama işiyle uyumlu hale getirebilir.
• Konsorsiyum Blok Zincirleri: Katılımcıların bilindiği ve sayılı olduğu kurumsal ortamlarda (örneğin, tedarik zinciri ortakları), işbirlikçi PoW, her katılımcının etkisinin ağın işleyişi için katkıda bulunduğu işle bağlantılı olduğu adil, izinli bir mutabakat mekanizması sağlayabilir.
• Hibrit Mutabakat Modelleri: İşbirlikçi PoW, hibrit bir sistemde, belki de Thunderella veya diğer uykulu mutabakat modellerinde araştırılan fikirlere benzer şekilde, sonraki bir BFT tarzı mutabakat turu için komite üyelerini seçmek üzere kullanılan, sybil'e dirençli, kaynak tabanlı bir katman olarak hareket edebilir.

Gelecek Araştırma Yönelimleri:

1. Kriptografik Uygulama: En önemli zorluk, $\Phi$ fonksiyonunu somutlaştırmaktır. Toplanabilen homomorfik özetleme veya ardışık iş kanıtları araştırması çok önemlidir.
2. İşbirlikçiler için Dinamik Zorluk: Ağ, $D_{küresel}$ ve bireysel $D_i$ hedeflerini, işbirlikçi varlıkların sayısına ve özetleme gücüne dayalı olarak dinamik olarak nasıl ayarlar? Bu, yeni bir zorluk ayarlama algoritması gerektirir.
3. Birlikte Çalışabilirlik & Köprüler: Bir işbirlikçi PoW zincirinin, mevcut PoW veya PoS zincirleriyle çapraz zincir köprüleri aracılığıyla nasıl güvenli bir şekilde iletişim kurabileceğini araştırmak.
4. Formal Güvenlik Kanıtları: Böyle bir şemanın güvenliğini, uyarlanabilir düşmanlara karşı sağlam bir model (örneğin, Evrensel Bileşimlilik çerçevesi) altında kanıtlamak.

10. Referanslar

1. Nakamoto, S. (2008). Bitcoin: Eşler Arası Elektronik Nakit Sistemi.
2. Demers, A., Greene, D., Hauser, C., Irish, W., Larson, J., Shenker, S., Sturgis, H., Swinehart, D., & Terry, D. (1987). Çoğaltılmış veritabanı bakımı için epidemik algoritmalar. Altıncı yıllık ACM Dağıtık Hesaplama İlkeleri Sempozyumu Bildirileri.
3. Gervais, A., Karame, G. O., Wüst, K., Glykantzis, V., Ritzdorf, H., & Capkun, S. (2016). İş Kanıtı Blok Zincirlerinin Güvenliği ve Performansı Üzerine. 2016 ACM SIGSAC Bilgisayar ve İletişim Güvenliği Konferansı Bildirileri.
4. Back, A. (2002). Hashcash - Bir Hizmet Reddi Karşı Önlemi.
5. Biais, B., Bisière, C., Bouvard, M., & Casamatta, C. (2019). Blok zinciri halk teoremi. Finansal Çalışmalar İncelemesi, 32(5), 1662-1715.
6. Bünz, B., Goldfeder, S., & Bonneau, J. (2018). Ethereum'da gecikme kanıtları ve rastgelelik işaretleri. IEEE Blok Zincirinde Güvenlik ve Gizlilik (IEEE S&B).
7. Rocket, T., & Yin, M. (2020). Uykulu Mutabakat. IACR Cryptol. ePrint Arch..