تنگنای تازهٔ ZK: چرا Aligned لایهٔ تأیید خود را برای تجمیع کنار می‌گذارد

Aligned در ۲۱ ژوئیه اعلام کرد که لایهٔ تأیید اثبات خود (PVL) را منسوخ می‌کند و سرویس تجمیع اثبات را از این پس به راه‌حل پیش‌فرض و تنها راه‌حل خود تبدیل خواهد کرد. این شرکت می‌گوید دیگر وظایفی به PVL فرستاده نمی‌شود و از اپراتورها خواسته شده ثبت‌نام خود را لغو کنند و نمونه‌های در حال اجرای خود را خاموش کنند.

این خبر، عرضهٔ یک سامانهٔ اثبات جدید نیست. این یک تصمیم زیرساختی گویاتر است: یک ارائه‌دهندهٔ ZK به این نتیجه رسیده که یک لایهٔ تأیید مستقل، در مقایسه با تجمیع متصل به مدل امنیتی اتریوم، جذابیت کمتری دارد.

فرض اولیهٔ Aligned این بود که هزینهٔ تأیید در اتریوم، توان عملیاتی و تأخیر، به یک شبکهٔ اختصاصی از اپراتورها نیاز دارد. دلیل اعلام‌شدهٔ آن برای این تغییر سه بخش دارد: سامانه‌های اثبات بهتر شده‌اند؛ اتریوم به‌سمت قابلیت‌های ZK بومی‌تر حرکت می‌کند؛ و مشتریان تضمین‌های امنیتی در سطح اتریوم را به کمترین تأخیر ممکن ترجیح داده‌اند. به بیان دیگر، شرکت شرط می‌بندد که ارزش از ادارهٔ یک لایهٔ تأیید دیگر، به قراردادن مستقیم‌تر اثبات‌ها در محیط تسویه و امنیت اتریوم منتقل می‌شود.

این تمایز برای سازندگان مهم است. «زیرساخت ZK» یک دستهٔ محصول واحد نیست. اثبات‌گر یک اثبات تولید می‌کند، تأییدکننده آن را بررسی می‌کند، و سرویس تجمیع می‌تواند مسیر تأیید را حول یک مدل امنیتی مشترک سازمان دهد. تغییر Aligned این کارکردها را حذف نمی‌کند؛ بلکه مشخص می‌کند شرکت می‌خواهد کدام‌یک را محصول محوری خود کند. بنابراین تیم‌هایی که از لایهٔ در حال بازنشستگی استفاده می‌کنند باید مهاجرت، وابستگی‌های سرویس و فرض‌های امنیتی مسیر تجمیع را ارزیابی کنند، نه اینکه فرض کنند همهٔ بارهای کاری ZK یکسان شده‌اند.

نقشه‌راه گسترده‌تر اتریوم نشان می‌دهد چرا این تحول به‌موقع است. Ethereum.org تأیید zkEVM در لایهٔ یک را گذار از اجرای مجدد هر بلوک توسط همهٔ اعتبارسنج‌ها، به مدلی توصیف می‌کند که در آن یک اثبات‌گر بلوک را اجرا و اعتبارسنج‌ها یک اثبات را تأیید می‌کنند. این رویکرد ممکن است در نهایت فشار سخت‌افزاری بر اعتبارسنج‌ها را کاهش دهد، اما مسئلهٔ دشوار تولید اثبات را نیز ایجاد می‌کند. همان نقشه‌راه می‌گوید پیاده‌سازی‌های فعلی zkEVM ممکن است برای اثبات یک بلوک از چند دقیقه تا چند ساعت زمان ببرند، در حالی که ادغام مفید در اجماع به زمان‌بندی بسیار فشرده‌تری نیاز دارد.

پس عقب‌نشینی Aligned از یک لایهٔ تأیید مستقل را نباید شاهدی بر رسیدن ZK بومی اتریوم دانست. بهتر است آن را ساده‌سازی معماری توسط یک بازیگر بازار بدانیم: تمرکز بر تجمیعی که از امنیت موجود اتریوم پشتیبانی می‌گیرد، نه یک شبکهٔ میانی دیگر.

قید مهم: رقم اعلام‌شدهٔ Aligned دربارهٔ ۱۳۶٬۰۰۰ اثبات، رقم ۵۹ اپراتور و ادعاهای هزینه و توان عملیاتی، خوداظهاری هستند و برای این مقاله به‌طور مستقل حسابرسی نشده‌اند. همچنین، تأیید zkEVM در لایهٔ یک اتریوم همچنان پژوهش فعال است و در کلاینت‌های تولیدی اتریوم ادغام نشده است.

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