اتریوم در حال آماده‌سازی برای اعتبارسنجی بلاک‌ها بدون اجرای آن‌ها است – در اینجا نحوه انجام آن

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

این کار در نقشه راه لایه-۱ اتریوم برای ۲۰۲۶ قرار دارد و نشان‌دهنده یک تغییر ساختاری در نحوه دستیابی به اجماع است، نه یک ویژگی مقیاس‌پذیری جدید که در لبه‌ها اضافه شده باشد.

این پیشنهاد پس از آنکه یکی از اعضای بنیاد اتریوم، معروف به ladislaus.eth، پیشرفت به سمت طراحی L1-zkEVM را شرح داد، به صورت عمومی مطرح شد. این تغییر نحوه تولید بلاک‌ها یا آنچه کاربران در زنجیره ارسال می‌کنند را تغییر نمی‌دهد. در عوض، نحوه تصمیم‌گیری اعتبارسنج‌ها در مورد معتبر بودن یک بلاک را تغییر می‌دهد. اولین کارگاه L1-zkEVM برای ۱۱ فوریه ۲۰۲۶ برنامه‌ریزی شده است که شروع رسمی هماهنگی در این زمینه را نشان می‌دهد.

از اجرای کامل مجدد تا تاییدیه اثبات

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

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

نحوه کار خط لوله L1-zkEVM

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

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

این مکانیسم تحت EIP-8025 (اثبات‌های اجرای اختیاری) رسمی شده است. این پیشنهاد نیازی به هارد فورک ندارد و اعتبارسنج‌ها را مجبور به پذیرش تاییدیه مبتنی بر اثبات نمی‌کند. این یک مسیر تاییدیه موازی در کنار اجرای مجدد اضافه می‌کند.

یکپارچگی اجماع و تنوع کلاینت

EIP-8025 مشخص می‌کند که چگونه اثبات‌ها در شبکه نظیر به نظیر منتشر می‌شوند. اثبات‌های اجرا از پیاده‌سازی‌های مختلف کلاینت در یک موضوع اختصاصی منتشر می‌شوند. هنگام پردازش یک بلاک، یک zkAttester می‌تواند این اثبات‌ها را به جای فراخوانی کلاینت اجرا تاییدیه کند.

فرض کاری فعلی یک آستانه ۳ از ۵ است. اجرای یک بلاک زمانی پذیرفته می‌شود که سه مورد از پنج اثبات مستقل با موفقیت تاییدیه شوند. این آستانه ممکن است تکامل یابد، اما هدف واضح است: حفظ تنوع کلاینت اجرا در حالی که تاییدیه مبتنی بر اثبات را امکان‌پذیر می‌کند. تنوع یک ویژگی سطح پروتکل باقی می‌ماند نه یک انتخاب عملیاتی.

چرا این برای اعتبارسنج‌ها مهم است

یک zkAttester نیازی به ذخیره حالت اجرا یا همگام‌سازی زنجیره کامل لایه اجرا ندارد. همگام‌سازی به دانلود اثبات‌های اخیر از آخرین نقطه بازرسی نهایی شده کاهش می‌یابد. این به طور چشمگیری نیازهای سخت‌افزاری برای شرکت در اجماع را کاهش می‌دهد.

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

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

وابستگی‌ها و محدودیت‌های زمانی

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

بدون ePBS، تاییدیه اثبات L1 محدود باقی می‌ماند. با آن، طراحی از نظر عملیاتی قابل اجرا می‌شود.

فروش نهنگ XRP در حالی که قیمت سقوط می‌کند غایب باقی می‌ماند

چه کسانی تحت تأثیر قرار می‌گیرند

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

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

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

وضعیت فعلی

EIP-8025 وارد شاخه ویژگی‌های consensus-specs شده است و به سمت وضعیت پیشنهاد پیشرفت می‌کند. نقشه راه L1-zkEVM برای ۲۰۲۶ اکنون عمومی است، که در سراسر استانداردسازی شاهد اجرا، رابط‌های zkVM، یکپارچگی اجماع، زیرساخت اثبات‌کننده، معیارسنجی و تاییدیه امنیت رسمی ساختار یافته است.

کارگاه ۱۱ فوریه ۲۰۲۶ شروع هماهنگی متمرکز در این مسیرها را نشان می‌دهد. این یک ارتقای جذاب عنوان نیست، اما بنیادی است. اگر اتریوم لایه اجرای خود را بدون مقیاس‌بندی نیازهای اعتبارسنج مقیاس‌بندی کند، اینگونه اتفاق می‌افتد.

پست اتریوم در حال آماده‌سازی برای تاییدیه بلاک‌ها بدون اجرای آنها است – اینگونه اتفاق می‌افتد اولین بار در ETHNews ظاهر شد.