چرخش ZK آربیتروم، اجرای WASM را وارد مسیر تسویه می‌کند

تازه‌ترین اعلامیه ZK آربیتروم بیشتر درباره جایگزین‌کردن سیستم خوش‌بینانه نیست؛ موضوع اصلی، قابل‌استفاده‌بودن دوباره اجرای زنجیره در چند حالت اعتبارسنجی است. این تیم می‌گوید اکنون می‌توان یک بلاک واقعی از شبکه اصلی آربیتروم را با اجرای تابع واقعی تغییر وضعیت درون zkVM شرکت Succinct، یعنی SP1، اثبات کرد؛ نه با یک پیاده‌سازی جداگانه.

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

توسعه متمایزتر، پشتیبانی از Stylus است. پروور مبتنی بر WASM آربیتروم برای پوشش قراردادهای Stylus در کنار قراردادهای Solidity گسترش یافته است. از آنجا که Stylus از Rust، C/C++، Move و زبان‌های دیگری که به WASM کامپایل می‌شوند پشتیبانی می‌کند، مرز اثبات دیگر فقط به بایت‌کد EVM محدود نیست. برای سازندگان، این یعنی محیط اجرای زبان قرارداد بخشی از مسئله مهندسی تسویه می‌شود: این محیط باید به‌طور وفادارانه درون پروور بازنمایی شود، نه اینکه صرفاً در لایه اجرا پشتیبانی شود.

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

محدودیت عملی این است که این کار هنوز یک نقشه‌راه تولیدی است، نه تضمین تکمیل‌شده برای شبکه اصلی. آربیتروم می‌گوید برای Arbitrum One انتظار می‌رود پیشنهادی به DAO ارائه شود و کارهای دیگری مانند کاهش هزینه و تأخیر اثبات، اثبات صندوق پیام‌های L1 و افزودن کلید پیکربندی در سطح نود باقی مانده است. بنابراین این اعلامیه جهت یکپارچه‌سازی مشخصی به سازندگان می‌دهد، اما نباید آن را به‌معنای در دسترس‌بودن تسویه سریع ZK در همه‌جا دانست.

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