نقشه‌راه zkEVM اتریوم یک معیار قابل‌اندازه‌گیری پیدا می‌کند: از اثبات‌های اختیاری تا شواهد اعتبارسنجی

تلاش اتریوم برای ساخت ZK-EVM دیگر فقط درباره این نیست که یک سیستم بتواند اثبات تولید کند؛ مسئله این است که آیا کل زنجیره پیرامون آن می‌تواند به‌طور قابل‌اعتماد کار کند یا نه.

بنیاد اتریوم در اولویت‌های پروتکل که ۷ سپتامبر منتشر شد، مسیری را توضیح داد که در آن اثبات‌های اجرا از «در دسترس» به «اختیاری»، سپس «مورد انتظار» و در نهایت «اجباری» تبدیل می‌شوند. طبق ترتیب فعلی نقشه‌راه، اثبات‌های اجباری به مرحله K* مربوط‌اند، هرچند یک جابه‌جایی پیشنهادی می‌تواند آن‌ها را به L* منتقل کند. تغییر مهم برای سازندگان این است که موضوع از زبان پژوهشی به معیارهای تحویل نزدیک می‌شود: سیستم اثبات باید با رابط‌های کلاینت، شبکه، گردش‌کار اعتبارسنجی و محدودیت‌های عملیاتی سازگار باشد.

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

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

ردیاب آمادگی zkEVM یک لایه سنجش عملی به این مسیر اضافه می‌کند. این صفحه می‌گوید داده‌ها روزانه به‌روزرسانی می‌شوند و در میان معیارهای آن، اجرای ۶۴بیتی RISC-V، متن‌باز بودن اجزای مرتبط با مجوزهای آزاد، توانایی اثبات یک بلوک کامل اتریوم در مدت یک اسلات و یکپارچگی با Soundcalc قرار دارد. در snapshot مربوط به ۱۸ سپتامبر، LambdaVM و OpenVM امتیاز ۷۲ از ۷۲ آزمون ISA، ZisK امتیاز ۷۱ از ۷۲ و Jolt امتیاز ۶۲ از ۷۲ را نشان می‌دهند. این اعداد سیگنال‌های مفیدی هستند، اما رتبه‌بندی مستقیم عملکرد نیستند: آخرین زمان اجرای ثبت‌شده برای پیاده‌سازی‌ها متفاوت است و خود ردیاب می‌گوید معیارهایش ممکن است تغییر کند.

برای توسعه‌دهندگان ZK، پیام روشن است. یک zkVM در حال تبدیل‌شدن به یک سطح یکپارچه‌سازی است، نه صرفاً یک موتور اثبات. تیم‌ها باید سازگاری guest، ساخت witness، انتقال اثبات، نسخه‌بندی verifier و داده‌های قابل‌بازآفرینی benchmark را به‌عنوان خروجی‌های اصلی در نظر بگیرند. معیار جدید فقط این نیست که «آیا می‌تواند اجرا را اثبات کند؟» بلکه این است که «آیا کلاینت‌های مستقل می‌توانند در شرایط شبکه زنده، آن اثبات را تبادل، بررسی و عملیاتی کنند؟»

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

یک caveat مهم این است که صفحه آمادگی در ۱۸ سپتامبر ۲۰۲۶ همگام‌سازی شده و معیارهای ورود آن صراحتاً در حال تغییرند؛ بنابراین این snapshot تضمین آمادگی تولیدی نیست. همچنین EIP-8025 هنوز پیش‌نویس است و در مرحله اختیاری، اعتبارسنج‌ها همچنان payload را دوباره اجرا می‌کنند.