اثباتسازی ZK از ابر خارج میشود: آزمون سختافزاری تازه اتریوم برای قابلیت اتکای L1
بهروزرسانی تازه بنیاد اتریوم، اثباتسازی دانش صفر را از یک رقابت صرفاً بنچمارکی به آزمونی برای تابآوری زیرساخت تبدیل میکند: آیا تیمهای مستقل میتوانند بلاکهای L1 را پیوسته روی سختافزار تحت مالکیت خود اثبات کنند؟
مسیر دانش صفر اتریوم وارد مرحلهای کمزرقوبرق اما مهم شده است: اثباتسازی باید خارج از کلاسترهای ابری کنترلشده هم کار کند.
بنیاد اتریوم در گزارش تخصیص بودجه سهماهه دوم ۲۰۲۶، چند پروژه در برنامه Ethproofs را معرفی کرد که اثباتسازی بلاکهای L1 را به سمت سختافزار چندGPU در محل میبرند. در این گزارش آمده است که Brevis، Succinct Labs، SilentSig و Matter Labs روی سامانههایی کار میکنند که تابآوری عملیاتی را آزمایش، وابستگی به ابر را کمتر و یک راهنمای متنباز برای اثباتسازهای آینده تولید کنند.
این موضوع پرسش مهندسی را تغییر میدهد. مسئله دیگر فقط این نیست که یک zkVM روی یک ماشین بنچمارک با چه سرعتی proof تولید میکند. پرسش سختتر این است که آیا یک سرویس اثباتسازی زمانی که تیمها باید ماشینهای خود را بخرند، پیکربندی کنند، خنک نگه دارند، پایش کنند و تعمیرشان کنند، همچنان در دسترس میماند یا نه.
طرح عمومی Ethproofs از یک برنامه کمکهزینه سختافزاری ۶۵ هزار دلاری صحبت میکند که در ابتدا برای پنج تیم طراحی شده بود و برای هر تیم ۱۳ هزار دلار جهت تهیه یک سیستم دوGPU مشابه در نظر میگرفت. هدف عملیاتی طرح، اثبات یک بلاک از هر ده بلاک L1 اتریوم و گردآوری داده درباره تأخیر، مصرف برق، هماهنگسازی، استقرار و نگهداری است. پیکربندی مرجع شامل دو GPU مدل NVIDIA RTX 5090، پردازنده AMD EPYC 9354P و ۲۵۶ گیگابایت حافظه ECC است. استقرار در محل الزامی است و استفاده از ابر میتواند به بازپسگیری کمکهزینه منجر شود.
این دادههای عملیاتی مهماند، چون تمرکززدایی یک لایه فیزیکی هم دارد. اثباتسازی که فقط در منطقهای از یک ارائهدهنده ابری سریع است، همچنان ممکن است در برابر قطعی، سهمیهبندی ظرفیت، تمرکز فروشنده یا فشار سانسور آسیبپذیر باشد. سختافزار تحت مالکیت این خطرها را حذف نمیکند، اما آنها را قابلاندازهگیری میکند: اپراتورها میتوانند هزینه برق، محدودیتهای حرارتی، خرابی شبکه، رفتار پس از راهاندازی مجدد و نیروی انسانی لازم برای حفظ جریان proofها را گزارش کنند.
برای توسعهدهندگان ZK، این موضوع تعریف تازهای از عملکرد ایجاد میکند. یک بنچمارک مفید باید دسترسپذیری پایدار، تأخیر دنبالهای، نرخ موفقیت proof، زمان بازیابی و انرژی مصرفی بهازای هر proof را هم شامل شود، نه فقط سریعترین اجرای منفرد را. هماهنگسازی چندGPU نیز به بخشی از سطح پروتکل تبدیل میشود. زمانبندی shardها، بازیابی کارهای شکستخورده، همگامسازی artefactها و هماهنگ نگهداشتن ارسال proofها با زنجیره میتواند تعیین کند که یک اثباتساز نظری در تولید واقعاً کاربردی هست یا نه.
بهروزرسانی بنیاد همچنین نشان میدهد که اکوسیستم در حال تأمین مالی عملیات قابلتکرار است، نه فقط پژوهشهای منفرد. راهنمای پیشنهادی اثباتسازی در محل میتواند برای انتخاب سختافزار، استقرار، پایش و واکنش به رخدادها یک مبنای مشترک در اختیار تیمهای آینده بگذارد. این زیرساخت برای بازار احتمالی اثباتسازی ارزشمند است، چون مقایسهها را کمتر به پیکربندیهای خصوصی ابر وابسته میکند.
یک نکته احتیاطی مهم وجود دارد: این برنامه یک پایلوت عملیاتی است و بهخودیخود ثابت نمیکند که اثباتسازی بلاکهای L1 اتریوم همین حالا برای استقرار عمومی و فراگیر در میننت آماده است. این طرح هنوز باید عملکرد پایدار، امنیت و تنوع جغرافیایی را زیر بار واقعی نشان دهد. اهمیت آن در این است که این الزامات به معیارهای مهندسی عمومی تبدیل میشوند.
بنابراین گلوگاه ZK در حال جابهجایی است. وقتی تولید proof آنقدر سریع میشود که صحبت از عملیات بلادرنگ ممکن باشد، مهندسی قابلیت اتکا به بخشی از زیرساخت رمزنگاری تبدیل میشود. برندگان مرحله بعد شاید تیمهایی نباشند که چشمگیرترین دموی آزمایشگاهی را دارند؛ بلکه تیمهایی باشند که وقتی سختافزار متعلق به خودشان است، هزینه برق واقعی است و دیگر نمیتوان ابر را بهانه کرد، همچنان خط تولید proof را زنده نگه میدارند.
خبرخوان را در ایمیل بگیرید
هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.