تحلیل طرح‌های عادلانه تقسیم پاداش در استخرهای استخراج بلاک‌چین

1. مقدمه

این مقاله به یک مسئله اقتصادی بنیادین در شبکه‌های بلاک‌چین غیرمتمرکز، به‌طور خاص در استخرهای استخراج مبتنی بر اثبات کار (PoW) می‌پردازد. در حالی که فناوری بلاک‌چین امکان اجماع بدون نیاز به اعتماد را فراهم می‌کند، فرآیند استخراج خود—حل معماهای رمزنگاری برای دریافت پاداش—به شدت تصادفی است. استخراج‌کنندگان انفرادی به دلیل قدرت محاسباتی عظیم کل شبکه، با نوسان قابل توجه درآمد مواجه هستند. این نوسان، تشکیل استخرهای استخراج را تشویق می‌کند، جایی که مشارکت‌کنندگان منابع محاسباتی خود (قدرت هش) را ترکیب می‌کنند تا پاداش‌ها را یکنواخت کنند. چالش اصلی سپس طراحی یک طرح تقسیم پاداش است که پاداش‌های بلوک استخر را به‌طور عادلانه و کارآمد بین مشارکت‌کنندگان توزیع کند. این مقاله یک چارچوب مفهومی نوین برای تحلیل عدالت چنین طرح‌هایی ارائه می‌دهد.

1.1. پروتکل‌های اجماع و استخرها

استخرهای استخراج نتیجه مستقیم انگیزه‌های اقتصادی در بلاک‌چین‌های مبتنی بر اثبات کار مانند بیت‌کوین هستند. احتمال یافتن یک بلوک معتبر (یک «راه‌حل کامل») توسط یک استخراج‌کننده منفرد، متناسب با سهم او از نرخ هش کل شبکه است. برای استخراج‌کنندگان کوچک، این احتمال ناچیز است و منجر به دوره‌های بالقوه طولانی بدون پاداش می‌شود. استخرها قدرت هش را تجمیع می‌کنند و در نتیجه فراوانی کشف بلوک افزایش می‌یابد. هنگامی که استخر موفق می‌شود، پاداش باید تقسیم شود. تحلیل این مقاله حیاتی است زیرا انتخاب طرح تقسیم، مستقیماً بر مشارکت استخراج‌کنندگان، پایداری استخر و امنیت و عدم تمرکز کلی شبکه بلاک‌چین تأثیر می‌گذارد.

2. چارچوب مفهومی و معیارهای عدالت

نویسندگان کانون تحلیلی را از استخراج‌کنندگان منفرد به سهم‌های گزارش‌شده تغییر می‌دهند. یک سهم، یک راه‌حل جزئی برای معما رمزنگاری است که اثبات کار را نشان می‌دهد اما خودش یک بلوک معتبر محسوب نمی‌شود. ترتیب و زمان‌بندی این سهم‌ها در یک دور پاداش، مبنای توزیع را تشکیل می‌دهد.

این مقاله دو اصل عدالت نوآورانه را معرفی می‌کند:

2.1. عدالت بازتوزیع مطلق

این معیار ایجاب می‌کند که وقتی یک سهم جدید به استخر ارسال می‌شود، حق پاداش تمام سهم‌های ارسال‌شده قبلی را به یک مقدار مطلق یکسان تحت تأثیر قرار دهد. به طور صوری، اگر پاداش سهم $i$ با ارسال سهم $j$ به اندازه $\Delta R_i$ تغییر کند، آنگاه برای هر سهم دیگر $k$، $\Delta R_k = \Delta R_i$. این امر شکلی قوی از جمع‌پذیری و مستقل از مسیر را بر تابع پاداش تحمیل می‌کند.

2.2. عدالت بازتوزیع نسبی

این معیار ایجاب می‌کند که وقتی یک سهم جدید ارسال می‌شود، حق پاداش تمام سهم‌های قبلی را به یک نسبت نسبی یکسان تحت تأثیر قرار دهد. به طور صوری، $\frac{R_i^{new}}{R_i^{old}} = \frac{R_k^{new}}{R_k^{old}}$ برای تمام سهم‌های $i, k$ که قبل از سهم جدید $j$ وجود داشته‌اند. این معیار بر حفظ روابط تناسبی بین سهم‌ها با تکامل استخر تمرکز دارد.

3. توصیف طرح‌های تقسیم پاداش

مشارکت نظری اصلی، توصیف دسته‌های طرح‌های پاداش است که هر معیار عدالت را برآورده می‌کنند.

3.1. طرح‌های برآورده‌کننده عدالت مطلق

دسته طرح‌هایی که عدالت بازتوزیع مطلق را برآورده می‌کنند، به‌عنوان طرح‌هایی توصیف می‌شوند که در آن پاداش یک سهم فقط به تعداد سهم‌های ارسال‌شده پس از آن تا زمانی که یک بلوک پیدا شود، بستگی دارد. یک مثال متعارف، طرح پرداخت به ازای آخرین N سهم (PPLNS) است، جایی که پاداش‌ها بین N سهم آخر قبل از یافتن بلوک توزیع می‌شوند. ورود یک سهم جدید به سادگی «پنجره» سهم‌های واجد شرایط را جابه‌جا می‌کند و به‌طور مطلق همه سهم‌های قبلی را به یک اندازه تحت تأثیر قرار می‌دهد (همگی یک قدم به خروج از پنجره نزدیک‌تر می‌شوند).

3.2. طرح‌های برآورده‌کننده عدالت نسبی

دسته طرح‌هایی که عدالت بازتوزیع نسبی را برآورده می‌کنند، به‌عنوان طرح‌هایی توصیف می‌شوند که در آن پاداش یک سهم متناسب با تابعی است که فقط به تعداد سهم‌های ارسال‌شده قبل از آن بستگی دارد. معروف‌ترین مثال، طرح تناسبی (PROP) است، جایی که هر سهم پاداشی متناسب با تعداد کل سهم‌های ارسال‌شده در آن دور دریافت می‌کند. هنگامی که یک سهم جدید می‌رسد، پاداش تمام سهم‌های موجود را با یک عامل نسبی یکسان رقیق می‌کند.

3.3. اشتراک و طرح تناسبی

نشان داده می‌شود که اشتراک دو دسته—طرح‌هایی که هم عدالت مطلق و هم نسبی را برآورده می‌کنند—یک تعمیم تک‌پارامتری از طرح تناسبی است. نتیجه‌ای فرعی از این یافته، یک توصیف اصل‌محور جدید از خود طرح تناسبی کلاسیک است: این طرح، منحصربه‌فرد است و تحت یک شرط نرمال‌سازی طبیعی، هر دو معیار عدالت را به طور همزمان برآورده می‌کند. این امر توجیه نظری محکمی برای استفاده گسترده از PROP فراهم می‌کند، علیرغم آسیب‌پذیری شناخته‌شده آن در برابر پرش بین استخرها.

4. جزئیات فنی و فرمول‌بندی ریاضی

فرض کنید $S = (s_1, s_2, ..., s_n)$ دنباله سهم‌های ارسال‌شده در یک دور باشد که با یک راه‌حل کامل (بلوک) در سهم $s_n$ به پایان می‌رسد. یک طرح تقسیم پاداش تابعی $R(i, S)$ است که به سهم $s_i$ یک پاداش اختصاص می‌دهد.

عدالت بازتوزیع مطلق (ARF): برای هر دنباله $S$ و $S'$ که در آن $S'$ همان $S$ است با یک سهم اضافی درج‌شده در موقعیت $j$، و برای هر $i, k < j$، داریم: $$R(i, S') - R(i, S) = R(k, S') - R(k, S)$$

عدالت بازتوزیع نسبی (RRF): برای همان $S, S', i, k$ که در بالا ذکر شد: $$\frac{R(i, S')}{R(i, S)} = \frac{R(k, S')}{R(k, S)}$$

مقاله ثابت می‌کند که ARF دلالت بر $R(i, S) = f(n-i)$ برای تابعی $f$ دارد، جایی که $(n-i)$ تعداد سهم‌های پس از $s_i$ است. RRF دلالت بر $R(i, S) = g(i) \cdot B$ دارد، جایی که $g(i)$ به موقعیت سهم بستگی دارد و $B$ کل پاداش بلوک است. اشتراک دو دسته منجر به $R(i, S) = \frac{c \cdot B}{i^{\alpha}}$ برای ثابت‌های $c, \alpha$ می‌شود، که $\alpha=0$ طرح تناسبی را نتیجه می‌دهد.

5. چارچوب تحلیلی: بینش اصلی و نقد

بینش اصلی: این مقاله صرفاً درباره استخرهای استخراج نیست؛ بلکه یک درس استادانه در کاربرد نظریه تخصیص منابع اصل‌محور (مانند کارهای بنیادین درباره عدالت از مولن یا یانگ) در یک سیستم پیچیده و واقعی اقتصاد رمزنگاری است. حرکت نبوغ‌آمیز نویسندگان، بازتعریف مسئله از «چگونه به استخراج‌کنندگان پرداخت کنیم» به «ویژگی‌های ذاتی یک دنباله پرداخت عادلانه چیست؟» است. با متمرکز کردن تحلیل بر سهم‌ها به جای استخراج‌کنندگان، آن‌ها فرضیات رفتاری را کنار می‌گذارند و منطق محض توزیع را جدا می‌کنند. قضایای توصیفی حاصل، ظریف و قدرتمند هستند و یک طبقه‌بندی صوری برای طرح‌های شناخته‌شده‌ای مانند PPLNS و PROP ارائه می‌دهند.

جریان منطقی: استدلال به‌طور بی‌عیبی ساختار یافته است: (1) شناسایی واحد اصلی مشارکت (سهم). (2) تعریف دو اصل عدالت طبیعی و متقابلاً منحصربه‌فرد بر اساس نحوه به‌روزرسانی ادعاهای موجود توسط اطلاعات جدید (یک سهم جدید). (3) استخراج فرم‌های ریاضی تمام طرح‌هایی که هر اصل را برآورده می‌کنند. (4) بررسی اشتراک برای یافتن طرح‌هایی که در برابر هر دو مفهوم عدالت مقاوم هستند. این رویکرد یادآور روش اصل‌محور در مقالات بنیادین علوم کامپیوتر است، مانند آن‌هایی که الگوریتم‌های اجماع را تعریف می‌کنند (مثلاً نتیجه عدم امکان FLP)، جایی که ویژگی‌های مطلوب منجر به توصیف راه‌حل‌های ممکن می‌شود.

نقاط قوت و ضعف: نقطه قوت اصلی، کلیت و دقت نظری چارچوب است. این چارچوب یک زبان مشترک برای مقایسه هر طرح پاداشی ایجاد می‌کند. با این حال، تحلیل از منظر طراحی مکانیسم عملی، نقاط کور قابل توجهی دارد. این تحلیل به‌طور کامل رفتار استراتژیک استخراج‌کنندگان، مانند پرش بین استخرها (تعویض استخرها برای بهره‌برداری از ضعف‌های طرح)، که بلای جان طرح‌های ساده‌ای مانند PROP است، را انتزاع می‌کند. همان‌طور که در مطالعات تجربی مؤسساتی مانند مرکز مالی جایگزین کمبریج اشاره شده است، پرش بین استخرها تأثیر قابل توجهی بر سودآوری استخراج‌کنندگان و پایداری استخر دارد. این چارچوب همچنین هزینه‌های عملیاتی و تأخیر اطلاعاتی را نادیده می‌گیرد که در عملیات استخرهای جهانی بلادرنگ حیاتی هستند. در مقایسه با طراحی مکانیسم‌های سازگار با انگیزه در نظریه حراج سنتی (مانند کار مایر‌سون)، این مقاله «عدالت» را در خلأ تعریف می‌کند، نه «سازگاری با انگیزه» را در یک بازی.

بینش‌های قابل اجرا: برای طراحان پروتکل بلاک‌چین و اپراتورهای استخر، این مقاله یک مرجع اجباری برای حسابرسی عدالت طرح‌های پاداش آن‌هاست. نتیجه روشن است: شما باید بین عدالت مطلق یا نسبی یکی را انتخاب کنید؛ بدون توسل به طرح تناسبی پایه، نمی‌توانید هر دو را به طور کامل داشته باشید. برای ساخت یک استخر جدید، اگر پایداری و سادگی در اولویت هستند، خلوص اصل‌محور PROP توجیه‌پذیر است. اگر کاهش دستکاری استراتژیک کلیدی است، دسته PPLNS (که عدالت مطلق را برآورده می‌کند) از نظر نظری در برابر برخی حملات مقاوم‌تر است، زیرا پاداش آن به رویدادهای آینده بستگی دارد. جهت تحقیقاتی که این مقاله واقعاً باز می‌کند، ترکیب این تحلیل عدالت با مدل‌های نظریه بازی از رفتار استخراج‌کنندگان است. پیشرفت بعدی، طرحی خواهد بود که یک اصل عدالت قانع‌کننده را برآورده کند و در عین حال به‌طور قابل اثبات در برابر استراتژی در معنای تعادل بیزی-نش مقاوم باشد.

6. چشم‌انداز کاربردی و جهت‌های آینده

این چارچوب فراتر از استخراج بیت‌کوین گسترش می‌یابد. این چارچوب مستقیماً برای هر شبکه غیرمتمرکزی قابل اعمال است که در آن وظایف توزیع می‌شوند، مشارکت‌ها قابل تأیید اما تصادفی هستند و یک پاداش مشترک باید تقسیم شود. جهت‌های کلیدی آینده شامل موارد زیر است:

• اثبات سهام (PoS) و تفویض: استخرهای اعتبارسنج در شبکه‌های PoS (مانند اتریوم 2.0، کاردانو) زمانی که سهام‌داران توکن‌های خود را تفویض می‌کنند، با مشکلات مشابه توزیع پاداش مواجه هستند. «سهم» به یک رویداد تفویض سهام تبدیل می‌شود. اعمال این معیارهای عدالت می‌تواند منجر به طراحی‌های شفاف‌تر و عادلانه‌تر برای استخرهای سهام‌گذاری شود.
• شبکه‌های زیرساخت فیزیکی غیرمتمرکز (DePIN): شبکه‌هایی مانند فایل‌کوین (ذخیره‌سازی) یا هلیوم (پوشش بی‌سیم) به مشارکت‌کنندگانی که منابع دنیای واقعی را ارائه می‌دهند، پاداش می‌دهند. این چارچوب می‌تواند به طراحی طرح‌های پاداش کمک کند که در یک شبکه پویا نسبت به مشارکت‌کنندگان اولیه و دیرهنگام عادلانه باشند.
• بازارهای هوش مصنوعی غیرمتمرکز و محاسبات: در پلتفرم‌هایی که وظایف آموزش یادگیری ماشین را توزیع می‌کنند (مانند Gensyn، Render Network)، عدالت پرداخت برای کار محاسباتی جزئی حیاتی است. تحلیل مبتنی بر سهم بسیار مرتبط است.
• ادغام نظریه بازی: مهم‌ترین گام بعدی، ادغام این رویکرد عدالت اصل‌محور با مدل‌های رفتار استراتژیک استخراج‌کنندگان است. این امر شامل تعریف و توصیف معیارهای عدالت سازگار با انگیزه می‌شود که منجر به طرح‌هایی می‌شود که هم در توزیع عادلانه هستند و هم در برابر دستکاری مقاومند.
• تحلیل اندازه استخر پویا: مدل فعلی مجموعه‌ای ثابت از سهم‌ها در هر دور را فرض می‌کند. کار آینده می‌تواند عدالت را در استخرهایی با استخراج‌کنندگان ورودی و خروجی پویا، که سناریویی واقع‌بینانه‌تر است، تحلیل کند.

7. مراجع

1. Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
2. Moulin, H. (2004). Fair Division and Collective Welfare. MIT Press. (برای نظریه بنیادین عدالت اصل‌محور)
3. Lewenberg, Y., Bachrach, Y., Sompolinsky, Y., Zohar, A., & Rosenschein, J. S. (2015). Bitcoin mining pools: A cooperative game theoretic analysis. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. (برای تحلیل نظریه بازی از استخرها)
4. Cambridge Centre for Alternative Finance. (2020). 2nd Global Cryptoasset Benchmarking Study. (برای داده‌های تجربی درباره اقتصاد و رفتار استخرهای استخراج)
5. Myerson, R. B. (1981). Optimal auction design. Mathematics of operations research, 6(1), 58-73. (برای استاندارد در طراحی مکانیسم سازگار با انگیزه)
6. 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. (به عنوان مثالی از توصیف اصل‌محور بنیادین در سیستم‌های توزیع‌شده)
7. Eyal, I. (2015). The miner's dilemma. 2015 IEEE Symposium on Security and Privacy. (برای تحلیل رفتار استراتژیک، شامل پرش بین استخرها)