فراتر از ادغام: «زنجیره فوق‌العاده سبک» ویتالیک با بهره‌گیری از ZK-STARKها اتریوم را به رژیم کاهش ۹۵ درصدی وضعیت می‌برد

سال‌هاست که چالش اصلی مقیاس‌پذیری بلاک‌چین بر روی بخش اجرا متمرکز بوده است؛ یعنی هدایت حجم تراکنش‌ها به سمت رول‌آپ‌های لایه ۲ تا شبکه اصلی لایه ۱ دچار فروپاشی نشود. با این حال، این انتقال عملاً گلوگاه را به جای دیگری منتقل کرده است. با افزایش سرسام‌آور تعداد اعتبارسنج‌ها، هزینه‌های سربار مربوط به ردیابی وضعیت اعتبارسنج‌ها، کلیدهای عمومی و به‌روزرسانی‌های موجودی در هر دوره (Epoch) روی زنجیره بیکن (Beacon Chain) اتریوم به یک بحران جدی تبدیل شده است.

در ۶ ژوئیه ۲۰۲۶، ویتالیک بوترین، هم‌بنیان‌گذار اتریوم، یک پیشنهاد پژوهشی پیشگامانه تحت عنوان «زنجیره فوق‌العاده سبک» (The Extremely Lean Chain) منتشر کرد. این طرح سنگ بنای چیزی است که او آن را «سومین تکرار بزرگ» اتریوم می‌نامد (پس از زنجیره اولیه پیدایش و ادغام اثبات سهام در سال ۲۰۲۲). در هسته اصلی این تغییر پارادایم، فناوری صفر-دانش—به‌ویژه ZK-STARKهای بازگشتی—قرار دارد.

---

رژیم ۹۵ درصدی داده‌ها: چگونه ZK جایگزین اجرای مجدد می‌شود

در مدل اجماع فعلی اتریوم، زنجیره بیکن به طور دائمی یک دفتر ثبت حجیم برای تک‌تک اعتبارسنج‌ها نگهداری می‌کند. هر اعتبارسنج به حدود ۱۱۴ تا ۱۸۰ بایت داده روی زنجیره نیاز دارد که شامل یک کلید عمومی ۴۸ بایتی، ۳۲ بایت اطلاعات مربوط به مجوزهای برداشت، موجودی‌های مؤثر و نشانگرهای فعال‌سازی/خروج است. بدتر از آن، شبکه باید محاسبات پیچیده‌ای را برای به‌روزرسانی موجودی‌ها و توزیع پاداش‌ها در پایان هر دوره انجام دهد.

تحت طرح پیشنهادی «فوق‌العاده سبک» بوترین، این پارادایم کاملاً دگرگون می‌شود. به جای اینکه لایه اجماع به طور مداوم موجودی اعتبارسنج‌ها را مجدداً محاسبه کند، اعتبارسنج‌ها وضعیت خود را به صورت محلی ردیابی کرده و روزانه یک اثبات ZK-STARK ارائه می‌دهند که مشارکت فعال و موجودی به‌روز شده آن‌ها را اثبات می‌کند.

این کار بار محاسباتی شبکه را از پردازش مداوم وضعیت به یک تایید رمزنگاری ساده منتقل می‌کند. در نتیجه:

• کاهش ۹۵ درصدی وضعیت اعتبارسنج: داده‌های مربوط به هر اعتبارسنج روی زنجیره از ۱۱۴ الی ۱۸۰ بایت به تنها ۶ بایت کاهش می‌یابد (فقط ۱ بایت برای موجودی مؤثر و یک شاخص ۵ بایتی که به درخت واریز اشاره می‌کند).
• میلیون‌ها اعتبارسنج: با حذف گلوگاه عملکردی مربوط به پردازش پایان دوره، شبکه می‌تواند به راحتی و بدون نیاز به سخت‌افزارهای گران‌قیمت، از میلیون‌ها اعتبارسنج فعال پشتیبانی کند.
• استیکینگ با تجهیزات خانگی: از آنجایی که بررسی یک اثبات ZK-STARK از نظر ریاضی بسیار ساده است، اعتبارسنجی در نهایت می‌تواند روی سخت‌افزارهای معمولی خانگی اجرا شود که این امر به حفظ ماهیت غیرمتمرکز اتریوم کمک شایانی می‌کند.

---

فاز ۲: چرخش روزانه کلید و حفظ حریم خصوصی رمزنگاری‌شده اعتبارسنج‌ها

پیامدهای «زنجیره فوق‌العاده سبک» بسیار فراتر از توان عملیاتی فنی است. در فاز ۲ این نقشه راه، بوترین یک لایه حریم خصوصی بی‌سابقه در سطح اجماع معرفی می‌کند: ناشناس‌سازی مجدد و روزانه اعتبارسنج‌ها.

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

در این مدل، اعتبارسنج‌ها هر روز یک کلید عمومی جدید و ناشناس ثبت می‌کنند. از دید شبکه عمومی، آن‌ها به عنوان یک شرکت‌کننده کاملاً جدید به نظر می‌رسند. با این حال، اعتبارسنج به طور خصوصی و با استفاده از زنجیره‌ای از اثبات‌های صفر-دانش، تداوم هویت خود را نسبت به روز قبل اثبات می‌کند و ردپای خود را برای همه به جز خودش پنهان می‌سازد.

نکته حیاتی این است که مکانیزم جریمه (Slashing)—که دفاع پروتکل در برابر امضای دوگانه و رفتارهای مخرب در اجماع است—خارج از سپر حفاظتی ZK نگه داشته می‌شود. این امر تضمین می‌کند در حالی که هویت اعتبارسنج‌های درستکار کاملاً خصوصی باقی می‌ماند، بازیگران مخرب همچنان به صورت آنی شناسایی و مجازات شوند.

---

مسیر رسیدن به اتریوم سبک

اگرچه طرح «زنجیره فوق‌العاده سبک» در حال حاضر یک پیشنهاد پژوهشی مفهومی است و هنوز به عنوان یک پیشنهاد بهبود اتریوم (EIP) فعال مطرح نشده، اما مسیر قطعی توسعه زیرساخت‌های وب۳ را نشان می‌دهد. دوران بلاک‌چین‌ها به عنوان پایگاه‌های داده سنگین و متورم از داده‌های وضعیت رو به پایان است. به لطف قدرت رمزنگاری صفر-دانش، آینده اجماع غیرمتمرکز، تقریباً بدون نیاز به ذخیره وضعیت (Stateless)، به شدت خصوصی و فوق‌العاده سبک خواهد بود.