آربیتروم بلاکهای واقعی میننت را با ZK اثبات میکند؛ اما تسویهٔ تولیدی هنوز باقی مانده است
آربیتروم میگوید کد واقعی انتقال وضعیت آن اکنون میتواند برای بلاکهای واقعی میننت، از جمله بارهای کاری Stylus، اثباتهای ZK تولید کند. پیام مهم برای توسعهدهندگان، راهاندازی فوری برداشت سریعتر نیست؛ بلکه معماری چنداثباتی است که در آن اثباتهای ZK در کنار اثباتهای تقلب BoLD کار میکنند.
آربیتروم کار ZK خود را از یک شاخهٔ پژوهشی به سمت کدبیس تولیدی Nitro منتقل کرده است. تیم آربیتروم در اعلامیهای در ۲۰ اوت گفت اکنون میتوان یک بلاک واقعی میننت آربیتروم را با اجرای دقیق تابع انتقال وضعیت آربیتروم در zkVM شرکت Succinct یعنی SP1 اثبات کرد؛ این کار بازپیادهسازی جداگانهای از زنجیره نیست.
این تفاوت مهم است. سامانهٔ تسویهٔ ZK تنها زمانی ارزشمند است که کدی که اثبات میشود با کدی که واقعاً رولآپ را اجرا میکند یکسان باشد. آربیتروم میگوید مسیر اثبات اکنون قراردادهای Solidity و Stylus را پوشش میدهد؛ از جمله برنامههای مبتنی بر WASM که با زبانهایی مانند Rust و C نوشته شدهاند. اعتبارسنج آن نیز بهصورت یک سرویس مستقل Rust بازسازی میشود تا اعتبارسنجی عادی و تولید اثبات از یک رابط مشترک استفاده کنند.
مدل پیشنهادی تسویه، افزایشی است. BoLD، پروتکل فعلی آربیتروم برای اثبات تقلب، همچنان مسیر پشتیبان باقی میماند. اگر یک اثبات معتبر ZK و گواهی کمیتهٔ جدید Fast Confirmation Committee ارائه شود، یک ادعا میتواند بدون انتظار برای پنجرهٔ سنتی چالش تأیید شود. اگر اثبات ZK ارائه نشود، زنجیره مانند گذشته از مسیر حل اختلاف استفاده خواهد کرد.
برای کاربران و سازندگان پلها، این طراحی در نهایت میتواند زمان برداشت را از چند روز به چند ساعت کاهش دهد. اما برای توسعهدهندگان، پیام فوری عملیتر است: تسویهٔ ZK در حال تبدیل شدن به قابلیتی از نود و پشتهٔ اجراست، نه صرفاً یک تأییدکننده در سطح برنامه. گامهای بعدی اعلامشدهٔ آربیتروم شامل کاهش هزینه و تأخیر اثبات، اثبات صندوق پیامهای L1 برای قابلیت راستیآزمایی سرتاسری، و ارائهٔ تسویهٔ ZK بهعنوان یک تنظیمات زنجیره است.
مرز ایمنی مهم است: اعلامیهٔ ۲۰ اوت از دستاوردهای مهندسی خبر میدهد، نه از راهاندازی تولیدی. آربیتروم وان هنوز به پیشنهاد DAO نیاز دارد و کار روی هزینه، تأخیر، اثبات صندوق پیامهای L1 و تنظیمات نود پیش از تسویهٔ تولیدی ZK ادامه دارد. بنابراین سازندگان باید این خبر را یک سیگنال یکپارچهسازی و milestone نقشهٔ راه بدانند، نه دلیلی برای فرض اینکه برداشتها همین حالا سریعتر شدهاند یا هر زنجیرهٔ آربیتروم امروز میتواند تسویهٔ ZK را فعال کند.
منابع: اعلامیهٔ آربیتروم و مستندات SP1 از Succinct.
خبرخوان را در ایمیل بگیرید
هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.