⛓ دانشکدهٔ ۲ · اجماع و تأیید تراکنش
اثبات سهام (PoS): اعتبارسنج‌ها، استیکینگ و اسلشینگ
Proof of Stake: validators, staking and slashing
پیش‌نیازها: اثبات کار (PoW): استخراج، دشواری و حملهٔ ۵۱٪
📚 آموزش در سه سطح
از سطح ساده شروع کنید؛ اگر روشن بود، سطح بعد را بخوانید. سطح مناسب شما ذخیره می‌شود.
🌱 توضیح ساده
در اثبات کار، حق نوشتن بلاک را کسی می‌گیرد که برق و سخت‌افزار بیشتری خرج کرده است. در اثبات سهام، این حق به کسانی داده می‌شود که مقداری از رمزارز خود شبکه را به‌عنوان «وثیقه» قفل کرده‌اند. به این کار «استیکینگ» و به این شرکت‌کنندگان «اعتبارسنج» می‌گویند. شبکه به‌صورت شبه‌تصادفی از میان آن‌ها کسی را برای پیشنهاد هر بلاک انتخاب می‌کند و بقیه به درستی آن رأی می‌دهند.
مثل یک بازار سنتی را تصور کنید که برای عضویت در هیئت امنای آن باید مبلغی سپرده بگذارید. اگر درست کار کنید، کارمزد دریافت می‌کنید؛ اگر در کارتان کوتاهی کنید، کمی از سپرده کم می‌شود؛ و اگر تقلب کنید، مثلاً هم‌زمان دو دفتر متناقض را امضا کنید، بخش بزرگ‌تری از سپرده‌تان ضبط و از هیئت بیرون انداخته می‌شوید. همین ترس از ازدست‌دادن سپرده، جایگزین هزینهٔ برق در اثبات کار شده است.
اتریوم در ۱۵ سپتامبر ۲۰۲۲ در رویدادی موسوم به «ادغام» (The Merge) از اثبات کار به اثبات سهام مهاجرت کرد و به گفتهٔ ethereum.org مصرف انرژی آن حدود ۹۹٫۹۵٪ کاهش یافت. استیکینگ اما بی‌خطر نیست: علاوه بر نوسان قیمت، خطای فنی، جریمه، و اعتماد به سرویس‌دهندگان واسط مثل صرافی‌ها می‌تواند به زیان منجر شود. سود استیکینگ هم ثابت نیست و نباید آن را مثل سود بانکی تضمین‌شده تصور کرد.
📘 توضیح متوسط
در اتریوم زمان به «اسلات»های ۱۲ ثانیه‌ای و «اِپاک»های ۳۲ اسلاتی (۶٫۴ دقیقه) تقسیم شده است. در هر اسلات یک اعتبارسنج به‌صورت شبه‌تصادفی (با سازوکاری به نام RANDAO) برای پیشنهاد بلاک انتخاب می‌شود و گروه‌هایی از اعتبارسنج‌ها به نام «کمیته» به آن بلاک رأی (attestation) می‌دهند. هر اعتبارسنج فعال در هر اپاک دقیقاً یک بار رأی می‌دهد. برای ساخت یک اعتبارسنج مستقل دست‌کم ۳۲ ETH لازم است؛ از ارتقای Pectra در سال ۲۰۲۵، سقف «موجودی مؤثر» هر اعتبارسنج تا ۲۰۴۸ ETH بالا رفت تا اپراتورهای بزرگ بتوانند اعتبارسنج‌های کمتری اجرا کنند.
اتریوم دو جزء اجماعی دارد که با هم «Gasper» نامیده می‌شوند. قاعدهٔ انتخاب زنجیرهٔ LMD-GHOST در هر لحظه شاخه‌ای را برمی‌گزیند که بیشترین وزن رأی‌های اخیر را دارد. ابزار نهایی‌سازی Casper FFG در مرزهای اپاک «نقاط بازرسی» را بررسی می‌کند: اگر اعتبارسنج‌هایی که دست‌کم دوسوم کل ETH استیک‌شده را دارند به یک نقطه رأی دهند، آن نقطه «توجیه‌شده» و پس از توجیه نقطهٔ بعدی، «نهایی» می‌شود. در حالت عادی این کار حدود دو اپاک، یعنی نزدیک ۱۳ دقیقه، طول می‌کشد.
پاداش اعتبارسنج از سه منبع می‌آید: صدور ETH تازه برای رأی‌ها و پیشنهادهای درست، کارمزد اولویت تراکنش‌ها، و درآمد حاصل از ترتیب تراکنش‌ها (MEV) که معمولاً از طریق سازندگان بلاک تخصصی به پیشنهاددهنده می‌رسد. اعتبارسنجی که آفلاین باشد پاداش رأی‌هایش را از دست می‌دهد و جریمهٔ کوچکی می‌پردازد. برداشت وثیقه و پاداش از ارتقای Shapella در ۱۲ آوریل ۲۰۲۳ ممکن شد. نرخ بازدهی استیکینگ با کل ETH استیک‌شده و فعالیت شبکه تغییر می‌کند؛ عدد فعلی را از منابعی مثل beaconcha.in یا ethereum.org ببینید، نه از تبلیغ‌های سود ثابت.
🔬 توضیح تخصصی
«اسلشینگ» برای تخلف‌هایی است که به‌صورت رمزنگاری قابل اثبات‌اند: پیشنهاد دو بلاک متفاوت در یک اسلات، دو رأی متفاوت برای یک هدف، یا رأیی که رأی قبلی خود اعتبارسنج را «احاطه» کند (surround vote). اعتبارسنج متخلف بخشی از وثیقه‌اش را فوراً از دست می‌دهد، به‌اجبار از مجموعهٔ اعتبارسنج‌ها خارج می‌شود و پس از چند هفته «جریمهٔ همبستگی» هم می‌پردازد که با تعداد اعتبارسنج‌هایی که در همان بازه اسلش شده‌اند متناسب است. اگر حدود یک‌سوم کل وثیقه هم‌زمان اسلش شود، این جریمه می‌تواند کل وثیقه را بگیرد. منطق آن ساده است: یک خطای منفرد احتمالاً اشتباه فنی است، ولی تخلف هم‌زمان گسترده نشانهٔ حمله است. رایج‌ترین علت اسلشینگ در عمل، اجرای هم‌زمان یک کلید روی دو سرور برای «پشتیبان» است.
آستانه‌های امنیتی اثبات سهام با اثبات کار فرق دارد. کنترل بیش از یک‌سوم وثیقه برای جلوگیری از نهایی‌شدن کافی است. در چنین حالتی «نشت عدم فعالیت» (inactivity leak) به‌تدریج موجودی اعتبارسنج‌های غیرفعال را کم می‌کند تا فعال‌ها دوباره به دوسوم برسند و نهایی‌شدن از سر گرفته شود. نهایی‌کردن دو تاریخچهٔ متناقض فقط وقتی ممکن است که دست‌کم یک‌سوم وثیقه آگاهانه دو بار رأی دهد، و این یک‌سوم قابل شناسایی و اسلش است؛ به این ویژگی «امنیت اقتصادی قابل اندازه‌گیری» می‌گویند. مسئلهٔ قدیمی «هیچ چیز در خطر نیست» (nothing at stake) هم با همین اسلشینگ پاسخ داده شده است.
اثبات سهام فرض‌های تازه‌ای هم دارد. نود تازه‌ای که پس از مدت طولانی به شبکه می‌پیوندد، باید یک نقطهٔ بازرسی اخیر و قابل اعتماد داشته باشد («ذهنیت ضعیف» یا weak subjectivity)، چون کلیدهای قدیمیِ اعتبارسنج‌هایی که خارج شده‌اند ممکن است برای ساختن تاریخچهٔ جعلی بلندمدت استفاده شوند. تمرکز هم ریسک جدی است: سهم بزرگی از ETH استیک‌شده از طریق صرافی‌ها و پروتکل‌های «استیکینگ نقدشونده» (مانند Lido) اداره می‌شود و تنوع کلاینت‌ها برای جلوگیری از خطای هم‌زمان اهمیت دارد. کاربری که از طریق صرافی متمرکز استیک می‌کند، علاوه بر ریسک پروتکل، ریسک طرف مقابل، از جمله مسدودشدن حساب، را هم می‌پذیرد؛ ریسکی که برای کاربران ایرانی به‌دلیل محدودیت‌های تحریمی صرافی‌های خارجی واقعی است.
🌍 مثال واقعی: ادغام اتریوم (The Merge) — ۱۵ سپتامبر ۲۰۲۲
زنجیرهٔ بیکن، زنجیرهٔ اثبات سهام اتریوم، در ۱ دسامبر ۲۰۲۰ به‌صورت موازی با شبکهٔ اثبات کار راه‌اندازی شد. در این مدت اعتبارسنج‌ها ETH را قفل می‌کردند و اجماع را تمرین می‌کردند، ولی تراکنش‌های کاربران همچنان روی زنجیرهٔ اثبات کار پردازش می‌شد.
در ۱۵ سپتامبر ۲۰۲۲، وقتی دشواری انباشتهٔ زنجیرهٔ اثبات کار به مقدار از پیش تعیین‌شده‌ای (Terminal Total Difficulty) رسید، لایهٔ اجرا به زنجیرهٔ بیکن متصل شد و تولید بلاک با استخراج متوقف شد. تاریخچهٔ تراکنش‌ها و موجودی‌ها بدون تغییر ادامه یافت و کاربران نیازی به هیچ اقدامی نداشتند؛ پیام‌هایی که در آن روزها از کاربران می‌خواستند ETH خود را «به ETH2 ارتقا دهند» کلاهبرداری بودند.
برداشت ETH استیک‌شده در آن زمان ممکن نبود و با ارتقای Shapella در ۱۲ آوریل ۲۰۲۳ فعال شد. جزئیات و تاریخچهٔ ارتقاها در ethereum.org/en/history قابل بررسی است.
🔤 واژگان تخصصی
سازوکار اجماعی که حق پیشنهاد و تأیید بلاک را به نسبت وثیقهٔ قفل‌شده می‌دهد و تخلف را با ضبط وثیقه مجازات می‌کند.
مثال: اتریوم از ۱۵ سپتامبر ۲۰۲۲ با اثبات سهام کار می‌کند.
قفل‌کردن رمزارز به‌عنوان وثیقه برای مشارکت در اجماع و دریافت پاداش، همراه با ریسک جریمه.
مثال: اجرای یک اعتبارسنج مستقل اتریوم دست‌کم ۳۲ ETH وثیقه می‌خواهد.
ضبط بخشی یا همهٔ وثیقه و اخراج اجباری اعتبارسنجی که تخلف قابل اثبات مانند امضای دو بلاک در یک اسلات انجام داده است.
مثال: اجرای یک کلید اعتبارسنج روی دو سرور هم‌زمان رایج‌ترین علت اسلش‌شدن است.
واحدهای زمانی اجماع اتریوم: اسلات ۱۲ ثانیه و اپاک ۳۲ اسلات یا ۶٫۴ دقیقه.
مثال: نهایی‌شدن عادی حدود دو اپاک یعنی نزدیک ۱۳ دقیقه طول می‌کشد.
روشی که در آن یک پروتکل ETH کاربران را استیک می‌کند و در عوض توکنی قابل معامله می‌دهد که نمایندهٔ سهم استیک‌شده است.
مثال: توکن stETH پروتکل Lido نمونه‌ای از توکن استیکینگ نقدشونده است و ریسک قرارداد هوشمند و تمرکز دارد.
🔑 نکات کلیدی
- در اثبات سهام، وثیقهٔ قفل‌شده و تهدید ضبط آن جای هزینهٔ انرژی اثبات کار را می‌گیرد.
- اتریوم: اسلات ۱۲ ثانیه، اپاک ۳۲ اسلات، حداقل ۳۲ ETH برای هر اعتبارسنج و نهایی‌شدن با دوسوم وثیقه در حدود دو اپاک.
- اسلشینگ برای تخلف قابل اثبات (دو بلاک یا دو رأی متناقض) است؛ آفلاین‌بودن فقط جریمهٔ کوچک دارد.
- بیش از یک‌سوم وثیقه می‌تواند نهایی‌شدن را متوقف کند؛ نشت عدم فعالیت شبکه را به حالت عادی برمی‌گرداند.
- بازده استیکینگ متغیر و پرریسک است؛ ریسک صرافی، قرارداد هوشمند، تمرکز و مسدودشدن حساب را هم در نظر بگیرید.
⚠️ اشتباهات رایج
- دانستن سود استیکینگ به‌عنوان سود تضمین‌شده؛ بازده متغیر است و ارزش ETH می‌تواند بیش از پاداش دریافتی افت کند.
- اجرای یک کلید اعتبارسنج روی دو دستگاه برای «اطمینان بیشتر»؛ این کار به امضای دوگانه و اسلشینگ منجر می‌شود.
- تصور اینکه آفلاین‌شدن کوتاه‌مدت باعث اسلش می‌شود؛ آفلاین‌بودن فقط پاداش را کم و جریمهٔ کوچکی ایجاد می‌کند.
- فرض اینکه استیک از طریق صرافی همان امنیت اجرای اعتبارسنج شخصی را دارد؛ در صرافی کلید و دارایی در اختیار طرف مقابل است.
🛠 تمرین عملی: بررسی اعتبارسنج‌ها و نهایی‌شدن در یک مرورگر زنجیرهٔ بیکن
- در beaconcha.in (یا بخش Beacon در etherscan) آخرین اسلات و اپاک را پیدا کنید و ببینید آخرین اپاک «نهایی‌شده» چند اپاک عقب‌تر از اپاک فعلی است.
- یک اسلات اخیر را باز کنید و شمارهٔ اعتبارسنج پیشنهاددهنده و تعداد رأی‌های ثبت‌شده را یادداشت کنید.
- یک اسلات «ازدست‌رفته» (missed) پیدا کنید و توضیح دهید چرا شبکه با وجود آن متوقف نشده است.
- بخش اعتبارسنج‌های اسلش‌شده را بررسی کنید و برای یک نمونه، نوع تخلف را بخوانید.
- حساب کنید اگر ۳۵٪ کل ETH استیک‌شده آفلاین شود، چه اتفاقی برای نهایی‌شدن می‌افتد و شبکه چگونه بازمی‌گردد.
✅ معیار درستی: اختلاف اپاک فعلی و آخرین اپاک نهایی‌شده در حالت عادی حدود ۲ تا ۳ اپاک است؛ باید بتوانید بگویید اسلات ازدست‌رفته فقط یک بلاک خالی است، و با ۳۵٪ آفلاین نهایی‌شدن متوقف می‌شود تا نشت عدم فعالیت سهم فعال‌ها را به دوسوم برساند، در حالی که تولید بلاک ادامه دارد.
🔒 در هیچ تمرینی از سرمایهٔ واقعی، عبارت بازیابی (Seed Phrase)، کلید خصوصی یا اتصال کیف پول اصلی استفاده نکنید.
📝 آزمون تطبیقی
هر بار ۵ سؤال از بانک ۹ سؤالی این درس انتخاب می‌شود؛ سؤال‌هایی که قبلاً اشتباه زده‌اید زودتر برمی‌گردند. حدنصاب قبولی ۸۰٪ (۴ از ۵) است و درس بعد با قبولی باز می‌شود.
✍️ پرسش تشریحی
اثبات کار بیت‌کوین و اثبات سهام اتریوم را از نظر منبع امنیت، آستانه‌های حمله، نوع نهایی‌شدن و ریسک‌های تمرکز مقایسه کنید. به نظر شما هر کدام در چه شرایطی برتری دارد؟
بعد از نوشتن، پاسخ خود را با این معیارها بسنجید
خودارزیابی: هر نکته‌ای را که پاسخ شما به‌روشنی پوشش داده علامت بزنید.
🤖 دستیار آموزشی
دستیار آفلاین آکادمی: پاسخ‌ها فقط از متن درس‌ها و واژگان همین آکادمی پیدا می‌شوند و منبع هر پاسخ نشان داده می‌شود. هوش مصنوعی مولد نیست، حدس نمی‌زند و هیچ سیگنال خرید و فروشی نمی‌دهد.
📎 منابع مطالعاتی
- ethereum.org — Proof-of-stake (PoS)
- ethereum.org — The Merge
- ethereum.org — Ethereum history (forks and upgrades)
🏁 معیار تسلط بر این درس: بتوانید چرخهٔ اسلات و اپاک، شرط نهایی‌شدن، تفاوت جریمه و اسلشینگ و آستانه‌های یک‌سوم و دوسوم را بدون اشتباه توضیح دهید.