پس از یک سال تلاش سخت، اکوسیستم zkEVM به جهش عملکردی دست یافته است، به طوری که زمان اثبات بلوک اتریوم از ۱۶ دقیقه به ۱۶ ثانیه کاهش یافته و هزینهها ۴۵ برابر کمتر شدهاند. zkVMs شرکتکننده اکنون میتوانند ۹۹٪ از اثباتهای بلوک شبکه اصلی را در سختافزار هدفگذاری شده ظرف ۱۰ ثانیه تکمیل کنند.
در ۱۸ دسامبر، بنیاد اتریوم (EF) اجرای مکانیزم اثبات بلادرنگ و حذف گلوگاههای عملکردی را اعلام کرد، اما تأکید نمود که چالش واقعی در قابلیت اطمینان نهفته است. سرعت بدون پشتیبانی امنیتی به بار اضافی تبدیل میشود و چندین حدس ریاضی که zkEVM مبتنی بر الگوریتم STARK به آنها متکی بوده، در ماههای اخیر رد شدهاند که منجر به کاهش سطح امنیتی شده است.
EF پیشتر در ماه ژوئیه یک هدف جامع برای اثبات بلادرنگ تعیین کرده بود که ابعاد متعددی مانند تأخیر، سختافزار و امنیت را پوشش میداد و اکنون از آزمون معیار EthProofs عبور کرده است.
تغییر هستهای آن در حرکت از دنبال کردن توان عملیاتی به سمت امنیت قابل اثبات است. واضح است که zkEVM سطح L1 باید استاندارد امنیتی ۱۲۸ بیتی را برآورده کرده و با مشخصات رمزنگاری جریان اصلی همسو باشد. زیرا جعل اثباتها ممکن است به خطرات مهلکی مانند جعل توکن و دستکاری وضعیت L1 منجر شود، بنابراین حاشیه امنیتی قابل مذاکره نیست.
EF همزمان یک نقشه راه امنیتی سه مرحلهای منتشر کرد:
- تا پایان فوریه ۲۰۲۶، تمام تیمهای zkEVM باید سیستمهای اثبات خود را با ابزار ارزیابی امنیتی soundcalc متعلق به EF ادغام کنند تا استانداردهای محاسبه امنیتی یکپارچه شود.
- استاندارد Glamsterdam تا پایان ماه مه محقق خواهد شد و اهداف گذاری مانند امنیت قابل اثبات ۱۰۰ بیتی را محقق میکند.
- هدف نهایی H-star تا پایان دسامبر تکمیل میشود که به امنیت قابل اثبات ۱۲۸ بیتی دست مییابد و یک نمایش رسمی امنیتی از توپولوژی بازگشتی ارائه میدهد.
برای دستیابی به هدف خود، EF به ابزارهای فناوری هستهای مانند WHIR و JaggedPCS اشاره میکند که میتوانند با بهینهسازی تولید اثبات و جلوگیری از اتلاف قدرت محاسباتی، کارایی را بهبود بخشند و همزمان با استفاده از تکنیکهایی مانند توپولوژی بازگشتی، اندازه اثباتها را کاهش دهند.
با این حال، چالشهای متعددی باقی مانده است: اثباتهای بلادرنگ هنوز روی زنجیره بلوکی پیادهسازی نشدهاند و اثربخشی واقعی اعتبارسنجها مورد سؤال است؛ پارامترهای امنیتی باید با رد شدن حدسهای ریاضی به صورت پویا تنظیم شوند؛ مشخص نیست که آیا برخی تیمها میتوانند طبق برنامه به اهداف برسند یا خیر؛ پروژههای تأیید رسمی با معماریهای بازگشتی هنوز در مراحل اولیه هستند و اکوسیستم به طور ناهمگون در حال توسعه است.
شایان ذکر است که هنگامی که zkEVM الزامات را برآورده کند، میتواند از اتریوم در افزایش محدودیتهای کارمزد گس پشتیبانی کند، در نتیجه ظرفیت بلوک را افزایش داده و در عین حال امکانپذیری استیکینگ را تضمین نماید، L1 را به یک لایه تسویه قابل اعتماد تبدیل کند و مرزهای اجرایی بین L2 و L1 را محو نماید.
اکنون که جهش عملکردی به پایان رسیده است، مسئله هستهای اکوسیستم zkEVM به دستیابی به اثباتهای امنیتی به اندازه کافی قابل اعتماد برای پشتیبانی از داراییهایی به ارزش صدها میلیارد دلار، بدون اتکا به حدسهای شکننده، تغییر کرده است. رقابت امنیتی رسماً آغاز شده و موضوع اصلی اتریوم در سال ۲۰۲۶ خواهد بود.
