جدول امتیازدهی zkVM اتریوم، پیش از سرعت، سازگاری را می‌سنجد

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

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

این تفاوت برای توسعه‌دهندگانی که روی زیرساخت اثبات می‌سازند مهم است. اثبات‌گری که سریع باشد اما در یک دستور، حالت مرزی یا نمایش داده با ماشین مرجع اختلاف داشته باشد، نمی‌تواند با امنیت کافی به‌عنوان backend اجرای جایگزین استفاده شود. بنابراین آزمون سازگاری به پیش‌شرطی برای تعامل‌پذیری، بنچمارک‌های تکرارپذیر و در نهایت تنوع کلاینت‌ها تبدیل می‌شود.

خود ردیاب نیز روشن می‌کند که سازگاری ISA تنها یکی از دروازه‌هاست. معیارهای ورود آن شامل انتشار اجزای مرتبط با اثبات تحت مجوزهای آزاد، هدف ۶۴بیتی RISC-V، توانایی تولید اثبات یک بلاک کامل اتریوم در بازه زمانی اسلات، و اتصال به Soundcalc برای آزمون استاندارد بررسی و تعامل‌پذیری است. بنابراین «پشتیبانی از RISC-V» نقطه شروع است، نه تعریف یک zkVM آماده برای اتریوم.

این تغییر برای توسعه‌دهندگان ICP و دیگر مصرف‌کنندگان زیرساخت ZK یک پیام عملی دارد: artifact مهم دیگر فقط عدد زمان تولید اثبات نیست. باید یک پیاده‌سازی با commit مشخص، نتیجه آزمون قابل تکرار، مسیر اثبات سازگار با verifier، و شواهدی وجود داشته باشد که سیستم می‌تواند فرض‌های زمانی و تعامل‌پذیری زنجیره مقصد را برآورده کند.

اولویت‌های پروتکل اتریوم نیز همین مسیر را تأیید می‌کند. بنیاد اتریوم کار zkEVM را گذار از اثبات‌های اختیاری به اثبات‌های مورد انتظار و سپس اجباری توصیف کرده، اما گفته است ترتیب اجرای اثبات‌های اجباری و attestationهای پساکوانتومی هنوز در حال بررسی است. بنابراین این ردیاب باید یک قرارداد مهندسی در حال تغییر تلقی شود، نه یک نظام نهایی صدور گواهی.

یک محدودیت factual مهم را باید در نظر گرفت: این ردیاب گواهی آمادگی تولید نیست، معیارهایش ممکن است تغییر کند و آزمون‌های درج‌شده در تاریخ‌های متفاوتی اجرا شده‌اند، هرچند صفحه در ۱۵ سپتامبر همگام‌سازی شده است. توسعه‌دهندگان باید commitهای زیرین را pin کنند و پیش از تصمیم انتشار، آزمون‌ها را دوباره اجرا کنند.

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