تاییدیه بلوک مبتنی بر اثبات میتواند هزینههای اعتبارسنج را کاهش دهد و استیکینگ انفرادی را بدون جایگزینی روشهای فعلی تاییدیه آسانتر کند.
تاییدیه بلوک در بلاک چین اتریوم در حال حرکت به سمت یک بازطراحی اساسی است. تحقیقات فعلی بر تاییدیه بلوکها در سطح پروتکل تمرکز دارد نه بر افزودن ویژگیهای جدید کاربر. هدف کاهش نیازهای سختافزاری برای اعتبارسنجها با حفظ امنیت است. در صورت موفقیت، این رویکرد میتواند فعالیت شبکه بیشتری را پشتیبانی کند در حالی که مشارکت را برای اپراتورهای کوچکتر باز نگه میدارد.
اتریوم در حال حاضر بلوکها را با اجرای مجدد هر تراکنش توسط هر نود تایید میکند. تمام نودها همان کار را برای تاییدیه مستقل نتایج انجام میدهند. با افزایش حجم تراکنشها، قدرت محاسباتی، ذخیرهسازی و پهنای باند اینترنت بیشتری مورد نیاز است. اجرای یک نود کامل با رشد استفاده سختتر میشود.
با اثبات دانش صفر EVM، نودها دیگر کار را تکرار نمیکنند. آنها یک اثبات رمزنگاری واحد را تاییدیه میکنند که بلوک به درستی پردازش شده است. تاییدیه یک اثبات سریع است و صرف نظر از تعداد تراکنشها در بلوک، زمان یکسانی میبرد و مقیاسپذیری را بسیار آسانتر میکند.
علاوه بر این، اثباتهای اجرای دانش صفر مدتی است که وجود دارند، اما اتریوم اکنون در حال کار بر روی استفاده مستقیم از آنها در سیستم اصلی خود است. پروتکل قصد دارد به برخی اعتبارسنجها اجازه دهد تا اثباتهای رمزنگاری را تاییدیه کنند که تأیید میکنند کار به درستی انجام شده است. تاییدیه از طریق اثباتها در کنار روشهای فعلی قرار میگیرد و آنها را به طور کامل جایگزین نمیکند.
برای پشتیبانی از این، تیم zkEVM بنیاد اتریوم نقشه راهی را با هدف 2026 ترسیم کرده است. طبق این برنامه، کلاینتهای اجرا تمام دادههای مورد نیاز برای تاییدیه یک بلوک را در یک بسته واحد به نام شاهد اجرا بستهبندی میکنند.
منبع تصویر: X/ladislaus.eth
آن را به عنوان یک بسته فشرده در نظر بگیرید که حاوی هر چیزی است که برای بررسی یک بلوک لازم است، بدون ذخیره وضعیت کامل اتریوم. یک برنامه ویژه دادهها را تاییدیه میکند و یک ماشین مجازی دانش صفر اثباتی تولید میکند که بلوک به درستی پردازش شده است. به جای اجرای مجدد تراکنشها، یک کلاینت لایه اجماع (CL) میتواند اثبات را تاییدیه کند تا بلوک را تأیید کند.
طبق EIP-8025، نودها ملزم به تغییر عملیات خود نیستند. اجرای مجدد همچنان در دسترس است و نیازی به هارد فورک نیست. اعتبارسنجهایی که بررسی مبتنی بر اثبات را انتخاب میکنند zkAttesters نامیده میشوند. این کلاینتهای CL اثباتهای zkEVM را تاییدیه میکنند به جای اجرای یک کلاینت EL کامل.
اعتبارسنجهایی که به اثباتها متکی هستند دیگر نیازی به ذخیره دادههای اجرای اتریوم یا همگامسازی زنجیره کامل نخواهند داشت. در عوض، همگامسازی میتواند به معنای دانلود اثباتهای اخیر پس از هر نقطه بازرسی نهایی باشد. این تغییر نیازهای سختافزاری را به طور قابل توجهی کاهش میدهد و تاییدیه را برای استیکرهای انفرادی و اپراتورهای خانگی آسانتر میکند.
علاوه بر این، اثباتهای بدون حالت به افراد اجازه میدهند تاریخچه اتریوم را به صورت محلی بدون نیاز به ذخیرهسازی بزرگ تاییدیه کنند. خودتاییدی بر روی سختافزار مصرفکننده دوباره واقعبینانهتر میشود.
سرعت تولید اثبات به ارتقای دیگری به نام جداسازی پیشنهاددهنده-سازنده مقدس (ePBS) بستگی دارد. بدون آن، زمان کافی برای ایجاد اثبات در داخل یک اسلات بلوک وجود ندارد. ePBS خط لوله بلوک را اضافه میکند و به اثباتکنندگان چند ثانیه در هر اسلات میدهد که تولید اثبات زنده را واقعبینانه میکند.
تیمهای کلاینت اجرا ارتباط جدیدی پیدا میکنند، زیرا هر کلاینت به یک منبع اثبات تبدیل میشود. ارائهدهندگان zkVM نیز از یک رابط مشترک بهره میبرند. پروژههای zkVM مانند ZisK، OpenVM و RISC Zero نیز اثباتهای اتریوم تولید میکنند و به آنها هدف واضحی میدهند.
سؤالات باز در مورد اینکه چه کسی اثباتها را تولید میکند باقی میماند. یک اثباتکننده صادق برای حفظ اجرای زنجیره کافی است، اما اتکا به سازندگان بزرگ میتواند قدرت را متمرکز کند. کار بر روی اثبات توزیعشده و تنظیماتی که بر روی سختافزار کوچکتر اجرا میشوند ادامه دارد.
در همین حال، EIP-8025 اکنون بخشی از کار مشخصات اجماع پروتکل است. تحقیقات طراحی شاهد، استانداردهای zkVM، تغییرات اجماع، بررسی امنیتی و آزمایش عملکرد را پوشش میدهد. اولین تماس کاری عمومی برای 1404/11/22 در ساعت 00:00 (UTC) تنظیم شده است که نشاندهنده یک گام اولیه در این تلاش بلندمدت است.
پست اتریوم تاییدیه بلوک مبتنی بر دانش صفر را در سال 2026 هدف قرار میدهد اولین بار در Live Bitcoin News ظاهر شد.

امور مالی
اشتراکگذاری
این مقاله را به اشتراک بگذارید
کپی لینکX (Twitter)LinkedInFacebookایمیل
Tether در LayerZero Labs سرمایهگذاری میکند زیرا

