حرکت پروور به سمت GPU: خط انتشار v3.0 شرکت RISC Zero گلوگاه zkVM را تغییر می‌دهد

فعالیت انتشار اخیر RISC Zero به یک تغییر آشنا در مهندسی دانش صفر اشاره می‌کند: مسئله دشوار دیگر فقط این نیست که آیا یک محاسبه قابل اثبات است یا نه؛ بلکه این است که پروور با چه کارایی‌ای آن را اجرا می‌کند.

صفحه انتشارهای GitHub این پروژه اکنون v3.0.6 را به‌عنوان آخرین نسخه پایدار و v3.0.0-rc.3 را به‌عنوان پیش‌انتشار فهرست می‌کند. مدخل rc.3 عمدتاً یک به‌روزرسانی در روند انتشار است، اما مجموعه v3.0 نشان می‌دهد تلاش مهندسی در کجا متمرکز شده است: سرعت اجرا، تولید اثبات و استفاده از سخت‌افزار.

شفاف‌ترین نشانه در یادداشت‌های v3.0.1 دیده می‌شود. RISC Zero از تولید سریع‌تر شاهد بازگشت‌پذیری روی GPU، پیاده‌سازی سریع‌تر Groth16 روی GPU، آزمایش اثبات‌سازی چندGPU و پشتیبانی Bento از NVIDIA RTX 5090 نام می‌برد. این پروژه همچنین می‌گوید پروور را می‌توان با متغیر محیطی RISC_ZERO_PROVER انتخاب کرد. در عمل، این موضوع بک‌اند اثبات‌سازی را از جزئیات پنهان کتابخانه به یک مسئله استقرار تبدیل می‌کند.

اهمیت این تغییر از آن‌جا می‌آید که برنامه‌های zkVM اجرای عادی برنامه را از تولید اثبات جدا می‌کنند. توسعه‌دهنده می‌تواند برنامه مهمان را با Rust بنویسد، اما هزینه و تأخیر تولید رسید آن به سیستم اثبات، پیکربندی ماشین، رفتار حافظه و شکل بار کاری بستگی دارد. شتاب‌دهی GPU ممکن است برای برخی بارهای کاری توان عملیاتی را افزایش دهد، اما نیازهای عملیاتی تازه‌ای هم ایجاد می‌کند: سخت‌افزار سازگار، آرتیفکت‌های اضافی، مدیریت درایور و زمان اجرا و مدلی متفاوت برای هزینه نسبت به اثبات‌سازی فقط با CPU.

مستندات RISC Zero تأکید می‌کند که ابزار زنجیره باید به‌صورت یک سیستم نسخه‌بندی شود. راهنمای نصب، نسخه 3.0 را معرفی می‌کند، استفاده از نصب‌کننده rzup را پیشنهاد می‌دهد و می‌گوید وابستگی‌های RISC Zero در بخش میزبان و مهمان پروژه باید با ابزار زنجیره نصب‌شده هماهنگ باشند. این راهنما برای CI نیز قفل‌کردن تک‌تک اجزا را توصیه می‌کند، نه نصب جدیدترین نسخه در زمان هر ساخت.

این احتمالاً مهم‌ترین نتیجه برای توسعه‌دهندگان است. اثبات‌سازی سریع‌تر فقط زمانی ارزشمند است که ساخت‌ها همچنان بازتولیدپذیر بمانند. تیم‌هایی که خط v3.0 را ارزیابی می‌کنند باید برنامه‌های مهمان خود را محک بزنند، مشخص کنند اثبات‌سازی بیشتر به CPU وابسته است یا GPU، و r0vm، cargo-risczero، زنجیره Rust و آرتیفکت‌های مرتبط را در CI قفل کنند.

این ملاحظه مهم است: یادداشت‌های انتشارِ مورد استناد، بهبودهای گزارش‌شده از سوی خود پروژه را ارائه می‌کنند، نه بنچمارک‌های مستقل را. این منابع نشان می‌دهند RISC Zero چه چیزی را منتشر یا فعال کرده است، اما ثابت نمی‌کنند که همه بارهای کاری همان شتاب را خواهند دید یا اثبات‌سازی با GPU در هر محیطی ارزان‌تر خواهد بود.

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