1. Giriş
Makale, merkezi olmayan blok zinciri ağlarında, özellikle İş İspatı (PoW) madencilik havuzları içinde temel bir ekonomik sorunu ele almaktadır. Blok zinciri teknolojisi güvene dayanmayan mutabakatı mümkün kılarken, ödüller için kriptografik bulmacaları çözmeyi içeren madencilik sürecinin kendisi oldukça stokastiktir. Bireysel madenciler, tüm ağın muazzam hesaplama gücü nedeniyle önemli gelir dalgalanmalarıyla karşı karşıyadır. Bu dalgalanma, madencilik havuzlarınınoluşumunu teşvik eder; katılımcıların hesaplama kaynaklarını (hash gücü) birleştirerek ödülleri dengelemesi söz konusudur. Temel zorluk daha sonra, havuzun blok ödüllerini katkıda bulunanlar arasında adil ve verimli bir şekilde dağıtan bir ödül paylaşım şeması tasarlamak olur. Makale, bu tür şemaların adilliğini analiz etmek için yeni bir kavramsal çerçeve önermektedir.
1.1. Konsensüs Protokolleri ve Havuzlar
Madencilik havuzları, Bitcoin gibi PoW blok zincirlerindeki ekonomik teşviklerin doğrudan bir sonucudur. Tek bir madencinin geçerli bir blok ("tam çözüm") bulma olasılığı, toplam ağ hash oranındaki payıyla orantılıdır. Küçük madenciler için bu olasılık ihmal edilebilir düzeydedir, bu da potansiyel olarak uzun süreler boyunca ödülsüz kalmalarına yol açar. Havuzlar hash gücünü bir araya getirerek blok keşfi sıklığını artırır. Havuz başarılı olduğunda, ödülün bölüştürülmesi gerekir. Makalenin analizi çok önemlidir çünkü paylaşım şeması seçimi, doğrudan madenci katılımını, havuz istikrarını ve blok zinciri ağının genel güvenliğini ve merkeziyetsizliğini etkiler.
2. Kavramsal Çerçeve ve Adalet Kriterleri
Yazarlar, analitik odağı bireysel madencilerden bildirilen paylarakaydırır. Bir pay, iş kanıtı gösteren ancak kendi başına geçerli bir blok oluşturmayan kriptografik bulmacanın kısmi bir çözümüdür. Bir ödül turu içindeki bu payların sırası ve zamanlaması, dağıtımın temelini oluşturur.
Makale, iki yenilikçi adalet aksiyomu sunmaktadır:
2.1. Mutlak Yeniden Dağıtım Adaleti
Bu kriter, havuzda yeni bir pay gönderildiğinde, aynı mutlak miktar kadar önceki tüm payların ödül haklarını etkilemesini gerektirir. mutlak miktar. Biçimsel olarak, eğer $i$ payının ödülü, $j$ payının gönderilmesi üzerine $\Delta R_i$ kadar değişirse, o zaman herhangi bir diğer $k$ payı için $\Delta R_k = \Delta R_i$ olur. Bu, ödül fonksiyonuna güçlü bir toplanabilirlik ve yol bağımsızlığı biçimi dayatır.
2.2. Göreceli Yeniden Dağıtım Adaleti
Bu kriter, yeni bir pay gönderildiğinde, önceki tüm payların ödül haklarını aynı göreli oranla etkilemesini gerektirir. göreli oran. Biçimsel olarak, yeni $j$ payından önce var olan tüm $i, k$ payları için $\frac{R_i^{yeni}}{R_i^{eski}} = \frac{R_k^{yeni}}{R_k^{eski}}$ olur. Bu, havuz geliştikçe paylar arasındaki oransal ilişkilerin korunmasına odaklanır.
3. Ödül Paylaşım Şemalarının Karakterizasyonu
Ana teorik katkı, her bir adalet kriterini karşılayan ödül şemalarının sınıflarını karakterize etmektir.
3.1. Mutlak Adaleti Sağlayan Şemalar
Mutlak Yeniden Dağıtım Adaletini sağlayan şemalar sınıfı, bir pay için ödülün yalnızca o paydan sonra gönderilen payların sayısına bağlı olduğu şemalar olarak karakterize edilir. yalnızca ondan sonra gönderilen payların sayısına. bir blok bulunana kadar. Kanonik bir örnek, Pay-Per-Last-N-Shares (PPLNS) şemasıdır; burada ödüller, bir blok bulunmadan önceki son N pay arasında dağıtılır. Yeni bir payın gelişi, uygun payların "penceresini" kaydırır ve tüm önceki payları mutlak anlamda eşit şekilde etkiler (hepsi pencereden çıkmaya bir adım daha yaklaşır).
3.2. Göreceli Adaleti Sağlayan Şemalar
Göreceli Yeniden Dağıtım Adaletini sağlayan şemalar sınıfı, bir payın ödülünün, yalnızca ondan önce gönderilen payların sayısına bağlı bir fonksiyonla orantılı olduğu şemalar olarak karakterize edilir. yalnızca ondan önce gönderilen payların sayısına bağlıdır.. En ünlü örnek, Orantılı (PROP) şemasıdır; burada her pay, turda gönderilen toplam pay sayısıyla orantılı bir ödül alır. Yeni bir pay geldiğinde, mevcut tüm payların ödülünü aynı göreceli faktörle seyreltir.
3.3. Kesişim ve Orantılı Şema
İki sınıfın kesişimi—hem Mutlak hem de Göreceli Adaleti sağlayan şemalar—Orantılı şemanın tek parametreli bir genellemesi olduğu gösterilmiştir. Bu sonucun bir sonucu, klasik Orantılı şemanın kendisine yeni bir aksiyomatik karakterizasyonudur: o, benzersiz Doğal bir normalizasyon koşulu altında her iki adalet kriterini aynı anda karşılayan tek şema. Bu, havuz atlamaya karşı bilinen zafiyetine rağmen PROP'un yaygın kullanımı için sağlam bir teorik gerekçe sağlar.
4. Teknik Detaylar ve Matematiksel Formülasyon
$S = (s_1, s_2, ..., s_n)$, $s_n$ payında tam bir çözümle (blok) sona eren bir turda gönderilen pay dizisi olsun. Bir ödül paylaşım şeması, $s_i$ payına bir ödül atayan $R(i, S)$ fonksiyonudur.
Mutlak Yeniden Dağıtım Adaleti (ARF): For any sequences $S$ ve $S'$ where $S'$ is $S$ with an additional share inserted at position $j$, ve for any $i, k < j$, we have: $$R(i, S') - R(i, S) = R(k, S') - R(k, S)$$
Göreceli Yeniden Dağıtım Adaleti (RRF): Yukarıdaki aynı $S, S', i, k$ için:
Makale, ARF'nin $R(i, S) = f(n-i)$ anlamına geldiğini kanıtlıyor; burada $f$ bir fonksiyon olup $(n-i)$, $s_i$ payından sonraki pay sayısıdır. RRF ise $R(i, S) = g(i) \cdot B$ anlamına gelir; burada $g(i)$ payın konumuna bağlıdır ve $B$ toplam blok ödülüdür. Bu iki koşulun kesişimi, $c, \alpha$ sabitleri için $R(i, S) = \frac{c \cdot B}{i^{\alpha}}$ ile sonuçlanır ve $\alpha=0$ olduğunda Oransal (Proportional) şeması elde edilir.
5. Analytical Framework: Core Insight & Critique
Temel İçgörü: Bu makale sadece madencilik havuzları hakkında değil; aksiyomatik kaynak tahsisi teorisini (Moulin veya Young'ın adalet üzerine çığır açan çalışmalarını düşünün) karmaşık, gerçek dünyadaki bir kripto-ekonomik sisteme uygulama konusunda bir ustalık dersidir. Yazarların dahice hamlesi, sorunu "madencilere nasıl ödeme yapılır?" sorusundan, "adil bir ödeme dizisinin doğasında bulunan özellikler nelerdir?" sorusuna yeniden çerçevelemektir. Analizi, paylar yerine madencilerDavranışsal varsayımları bir kenara bırakarak dağıtımın saf mantığını izole ederler. Ortaya çıkan karakterizasyon teoremleri zarif ve güçlüdür; PPLNS ve PROP gibi bilinen şemalar için resmi bir taksonomi sağlar.
Mantıksal Akış: Argüman kusursuz bir şekilde yapılandırılmıştır: (1) Katkının temel birimini (pay) tanımla. (2) Yeni bilginin (yeni bir pay) mevcut talepleri nasıl güncellediğine dayanarak, doğal ve birbirini dışlayan iki adalet ilkesi tanımla. (3) Her ilkeyi karşılayan tüm şemaların matematiksel formlarını türet. (4) Her iki adalet kavramına karşı da sağlam olan şemaları bulmak için kesişimi incele. Bu, temel bilgisayar bilimi makalelerindeki (örneğin, FLP imkansızlık sonucu gibi fikir birliği algoritmalarını tanımlayanlar) aksiyomatik yaklaşımı anımsatır; burada istenen özellikler, olası çözümlerin bir karakterizasyonuna yol açar.
Strengths & Flaws: Birincil güçlü yan, çerçevenin genelliği ve teorik titizliğidir. Herhangi bir ödül şemasını karşılaştırmak için ortak bir dil yaratır. Ancak, analizin pratik mekanizma tasarımı perspektifinden önemli kör noktaları vardır. Tamamen soyutlar. stratejik madenci davranışını, havuz atlama (şema zayıflıklarından yararlanmak için havuz değiştirme) gibi, PROP gibi basit şemaların baş belası olan davranışları. Cambridge Centre for Alternative Finance gibi kurumların ampirik çalışmalarında belirtildiği gibi, havuz atlama madenci karlılığını ve havuz istikrarını önemli ölçüde etkiler. Çerçeve ayrıca göz ardı eder. operasyonel maliyetleri ve bilgi gecikmesi, ki bunlar gerçek zamanlı küresel havuz operasyonlarında kritik öneme sahiptir. Geleneksel açık artırma teorisindeki teşvik uyumlu mekanizmaların tasarımıyla (örneğin, Myerson'ın çalışması) karşılaştırıldığında, bu makale bir oyundaki "teşvik uyumluluğunu" değil, boşlukta "adil"liği tanımlamaktadır.
Uygulanabilir İçgörüler: Blok zinciri protokol tasarımcıları ve havuz operatörleri için, bu makale ödül şemalarının adilliğini denetlemek için zorunlu bir referanstır. Sonuç açıktır: mutlak veya göreceli adalet arasında seçim yapmalısınız; temel Oranlı (PROP) şemasına başvurmadan her ikisine de tam olarak sahip olamazsınız. Yeni bir havuz inşa ederken, istikrar ve basitlik en önemliyse, PROP'un aksiyomatik saflığı haklıdır. Stratejik manipülasyonu azaltmak anahtarsa, PPLNS sınıfı (mutlak adaleti sağlayan) teorik olarak belirli saldırılara karşı daha güçlüdür, çünkü ödülü gelecekteki olaylara bağlıdır. Bu makalenin gerçekten açtığı araştırma yönü, sentez bu adalet analizinin madencilerin davranışlarına ilişkin oyun teorik modellerle birleştirilmesidir. Bir sonraki atılım, ikna edici bir adalet aksiyomunu karşılarken aynı zamanda Bayes-Nash dengesi anlamında kanıtlanabilir şekilde stratejiye dayanıklı olan bir şema olacaktır.
6. Uygulama Öngörüsü ve Gelecek Yönelimler
Çerçeve, Bitcoin madenciliğinin ötesine uzanır. Görevlerin dağıtıldığı, katkıların doğrulanabilir ancak stokastik olduğu ve ortak bir ödülün paylaşılması gerektiği herhangi bir merkezi olmayan ağa doğrudan uygulanabilir. Gelecekteki temel yönelimler şunları içerir:
- Proof-of-Stake (PoS) ve Delegasyon: PoS ağlarındaki doğrulayıcı havuzları (ör. Ethereum 2.0, Cardano), pay sahipleri token'larını devrettiğinde benzer ödül dağıtım sorunlarıyla karşılaşır. "Pay", bir stake devretme olayı haline gelir. Bu adalet kriterlerinin uygulanması, daha şeffaf ve adil stake havuzu tasarımlarına yol açabilir.
- Merkezi Olmayan Fiziksel Altyapı Ağları (DePIN): Filecoin (depolama) veya Helium (kablosuz kapsama) gibi ağlar, katılımcıları gerçek dünya kaynakları sağladıkları için ödüllendirir. Çerçeve, dinamik bir ağdaki erken ve geç katkıda bulunanlara adil olan ödül şemalarının tasarlanmasına yardımcı olabilir.
- Decentralized AI & Compute Markets: ML eğitim görevlerini dağıtan platformlarda (ör. Gensyn, Render Network), kısmi hesaplama işi için ödeme yapmanın adaleti çok önemlidir. Pay temelli analiz son derece ilgilidir.
- Oyun Teorisi Entegrasyonu: Bir sonraki en kritik adım, bu aksiyomatik adalet yaklaşımını stratejik madencilerin davranış modelleriyle birleştirmektir. Bu, tanımlamayı ve karakterize etmeyi içerecektir Teşvik Uyumlu Adalet kriterleri, hem dağıtımda adil hem de manipülasyona karşı dayanıklı şemalara yol açacaktır.
- Dinamik Havuz Büyüklüğü Analizi: Mevcut model, her tur için sabit bir pay seti varsaymaktadır. Gelecekteki çalışmalar, daha gerçekçi bir senaryo olan, dinamik olarak katılan ve ayrılan madencilerin olduğu havuzlarda adaleti analiz edebilir.
7. References
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Moulin, H. (2004). Fair Division and Collective Welfare. MIT Press. (Temel aksiyomatik adalet teorisi için)
- Lewenberg, Y., Bachrach, Y., Sompolinsky, Y., Zohar, A., & Rosenschein, J. S. (2015). Bitcoin madencilik havuzlarının: A cooperative game theoretic analysis. Proceedings of the 2015 International Conference on Autonomous Agents ve Multiagent Systems. (Madencilik havuzlarının oyun teorisi analizi için)
- Cambridge Centre for Alternative Finance. (2020). 2nd Global Cryptoasset Benchmarking Study. (Madencilik havuzu ekonomisi ve davranışlarına ilişkin ampirik veriler için)
- Myerson, R. B. (1981). Optimal auction design. Mathematics of operations research, 6(1), 58-73. (Teşvik uyumlu mekanizma tasarımı standardı için)
- Fischer, M. J., Lynch, N. A., & Paterson, M. S. (1985). Impossibility of distributed consensus with one faulty process. Journal of the ACM (JACM), 32(2), 374-382. (Dağıtık sistemlerde çığır açan aksiyomatik karakterizasyon örneği olarak)
- Eyal, I. (2015). The miner's dilemma. 2015 IEEE Symposium on Security and Privacy. (Stratejik davranış analizi için, havuz atlama dahil)