لایهٔ ترکیب از راه رسید: «تعویق‌ها» در OpenVM 2.0 چه معنایی برای سازندگان zkVM دارد

پلی میان مدارهای تخصصی و محاسبات عمومی

انتشار تولیدی OpenVM در ۱۰ ژوئیه فقط یک به‌روزرسانی سرعت برای اثبات‌گر نیست. مهم‌ترین قابلیت آن برای توسعه‌دهندگان «تعویق‌ها» است: چارچوبی که قرار است به یک برنامهٔ مهمان OpenVM اجازه دهد اثبات ZK ساخته‌شده توسط یک مدار تخصصی را بررسی کند و سپس آن نتیجه را با محاسبات عمومی درون یک اثبات OpenVM ترکیب کند.

یادداشت‌های انتشار v2.0.0 محدودهٔ پیاده‌سازی را روشن‌تر می‌کنند. این نسخه سامانهٔ اثبات SWIRL را در بک‌اند STARK، یک مدار اثبات‌گر بازگشتی، خط لولهٔ تجمیع continuation و چارچوب تعویق را معرفی می‌کند که مسیر verify-stark برای برنامه‌های مهمان را نیز شامل می‌شود. در عمل، این مسیر به سازندگان امکان می‌دهد اثباتی از یک مدار هدفمند را با منطق zkVM مبتنی بر Rust ترکیب کنند، بدون آن‌که همهٔ اجزای یک برنامه را ناچار به یک سبک اثبات واحد کنند.

چرا اهمیت دارد

بخش‌های گوناگون یک برنامهٔ ZK ویژگی‌های کارایی یکسانی ندارند. یک عملیات بسیار محدود ممکن است ارزش ساخت مدار اختصاصی داشته باشد، اما مدیریت وضعیت، بررسی سیاست‌ها، آماده‌سازی داده و پردازش خروجی شاید با منطق معمول برنامه‌نویسی ساده‌تر باشند. تعویق‌ها تلاش OpenVM برای قابل‌ترکیب کردن این انتخاب‌ها هستند.

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

پس نکتهٔ مهم در چارچوب این انتشار آن است که zkVMها لزوماً نباید با هر مدار تخصصی رقابت کنند. آن‌ها می‌توانند به لایهٔ هماهنگ‌کننده‌ای تبدیل شوند که اثبات‌های اجزای تخصصی را بررسی و به هم متصل می‌کند.

ادعاهای امنیت و کارایی مرزهای روشنی دارند

OpenVM می‌گوید v2.0.0 یک حسابرسی خارجی توسط zkSecurity را، شامل SWIRL، مدارهای تجمیع و continuation، تعویق‌ها، راستی‌آزمای Halo2 و تغییرات افزونه‌های SHA-2 و Keccak، پشت سر گذاشته است. این پروژه همچنین می‌گوید پوشش راستی‌آزمایی صوری اکنون در کنار افزونهٔ پیش‌تر راستی‌آزمایی‌شدهٔ RV32IM، افزونه‌های Keccak و SHA-2 را نیز در بر می‌گیرد.

پروژه گزارش می‌کند سربار اولیهٔ تعویق از یک ثانیه برای یک اثبات شروع می‌شود و برای ۳۲ اثبات می‌تواند به ۳۰۰ میلی‌ثانیه برسد. جدا از آن، نتایج معیارسنجی اثبات بلوک‌های اتریوم روی ۷٬۲۰۰ بلوک اصلی از بلوک ۲۴٬۰۰۰٬۰۰۰ را منتشر کرده است؛ از جمله p99 برابر با ۶٫۳ ثانیه روی ۱۶ پردازندهٔ گرافیکی RTX 5090 و p99 برابر با ۹٫۸ ثانیه روی هشت پردازنده از همین نوع.

هشدار تحریریه: اعلام آماده‌بودن OpenVM برای استفادهٔ تولیدی به انتشار هستهٔ آن مربوط است. مخزن معیارسنجی مجزای openvm-eth می‌گوید پروژه‌ای فعال در حال توسعه، حسابرسی‌نشده و نامناسب برای استفادهٔ تولیدی است. زمان‌های تأخیر اثبات گزارش‌شده نیز نتایج بنچمارک OpenVM روی خوشه‌های مشخص RTX 5090 هستند و در این مقاله مستقلاً بازتولید نشده‌اند.

نتیجهٔ عملی

برای مهندسان ZK، پرسش فوری این نیست که آیا هر بار کاری باید به OpenVM منتقل شود یا نه. پرسش این است که آیا یک بار کاری از جدا کردن اثباتِ حساس‌ترین بخش کارایی در یک مدار تخصصی، و نگه‌داشتن بقیهٔ محاسبه به‌صورت برنامه‌پذیر سود می‌برد. OpenVM 2.0 این معماری ترکیبی را به یک قابلیت صریح محصول تبدیل می‌کند؛ اما پذیرش آن به کیفیت مسیرهای اثبات موجود، ابزارها، حسابرسی‌ها و تجربهٔ استقرار واقعی وابسته خواهد بود.