وصلهٔ حریم خصوصی Jolt معنای «zkVM» را دقیق‌تر می‌کند

ارتقای جدید Jolt یک تفاوت مهم در بازار zkVMها را برجسته می‌کند: کوتاه‌بودن یک اثبات، لزوماً به معنای خصوصی‌بودن آن نیست.

تیم Jolt در یک نوشتهٔ فنی مورخ ۳ مارس ۲۰۲۶ اعلام کرد که zkVM متن‌باز RISC-V این پروژه اکنون با استفاده از روشی به نام NovaBlindFold از صفر‌دانش پشتیبانی می‌کند. این تغییر به یک ضعف در طراحی اولیهٔ Jolt می‌پردازد: پیام‌های تولیدشده توسط اثبات‌گر sum-check می‌توانستند بخشی از شاهد، یعنی ورودی خصوصی مورد استفاده برای اجرای برنامه، را آشکار کنند.

در طراحی جدید، این پیام‌ها با تعهدهای پنهان‌کننده پوشانده می‌شوند. سپس یک اثبات دوم نشان می‌دهد که مقادیر درون این تعهدها، در صورت آشکاربودن، آزمون‌های وارسی‌کننده را با موفقیت پشت سر می‌گذاشتند. Jolt این نتیجه را یک اثبات صفر‌دانش شفاف توصیف می‌کند که به بازگشتی‌سازی SNARK، راه‌اندازی مورداعتماد یا سامانهٔ پوششی جداگانه نیاز ندارد.

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

چرا این موضوع برای سازندگان مهم است؟

اصلاح این اصطلاح از خود عددها مهم‌تر است. بسیاری از سامانه‌هایی که «zkVM» نامیده می‌شوند، در درجهٔ نخست کوتاهی یا succinctness را فراهم می‌کنند: وارسی‌کننده می‌تواند اجرای یک محاسبه را بدون اجرای دوبارهٔ آن بررسی کند. صفر‌دانش ویژگی دیگری است: اثبات نباید ورودی‌های خصوصی یا شاهد میانی را فراتر از چیزی که خروجی ادعاشده نشان می‌دهد، افشا کند.

معماری Jolt تلاش می‌کند هر دو ویژگی را در یک سامانهٔ شفاف ارائه دهد. این موضوع می‌تواند همان چارچوب اجرایی را برای محاسبات قابل‌اثبات عمومی و کاربردهای حساس به حریم خصوصی، مانند اعتبارنامه‌های خصوصی، پردازش محرمانهٔ داده یا تولید اثبات روی دستگاه‌های محدود، مناسب کند.

مخزن پروژه مسیر عملی اولیه‌ای نیز برای توسعه‌دهندگان ارائه می‌دهد: Jolt از RV64IMAC هدف‌گیری می‌کند، به‌صورت پروژه‌ای متن‌باز و مبتنی بر Rust توسعه یافته و راهنمای شروع سریع و ابزارهای پروفایل‌گیری دارد. اما این پروژه آمادهٔ استفادهٔ تولیدی نیست. مخزن رسمی Jolt صراحتاً آن را آلفا معرفی می‌کند و می‌گوید در حال حاضر برای استفادهٔ production مناسب نیست.

جمع‌بندی محتاطانه این است که ارتقای Jolt ثابت نمی‌کند zkVMهای خصوصی به زیرساختی حل‌شده تبدیل شده‌اند. این تغییر، گامی معماری و مشخص برای جداکردن و سپس ترکیب‌کردن کوتاهی و حریم خصوصی است، بدون آنکه سامانه پشت لایه‌ای از اثبات‌های بازگشتی پنهان شود. هنگام ارزیابی یک zkVM، توسعه‌دهندگان باید «آیا می‌تواند اجرای برنامه را اثبات کند؟» و «آیا شاهد را خصوصی نگه می‌دارد؟» را دو پرسش جداگانه در نظر بگیرند.