Lattice Jolt معادله استقرار ZK را برای سازندگان ICP تغییر می‌دهد

نسخه جدید Jolt یک استدلال عملی برای اثبات‌سازی مبتنی بر شبکه ارائه می‌کند: امنیت پساکوانتومی الزاماً نباید به معنای اثبات‌های بزرگ‌تر یا زیرساخت سنگین‌تر باشد.

Lattice Jolt که در ۹ سپتامبر ۲۰۲۶ معرفی شد، طرح تعهد چندجمله‌ای قبلی Jolt یعنی Dory را با Akita جایگزین می‌کند؛ Akita طرحی مبتنی بر شبکه است که بر فرض Module-SIS تکیه دارد. معماری zkVM در Jolt حفظ شده و فقط یکی از اجزای بنیادی رمزنگاری تغییر کرده است.

اعداد اعلام‌شده برای کاربردهایی مهم‌اند که اثبات را خارج از زنجیره تولید و برای اعتبارسنجی ارسال می‌کنند. پروژه می‌گوید Lattice Jolt اثبات‌هایی کوچک‌تر از ۱۰۰ کیلوبایت تولید می‌کند، روی یک مک‌بوک با پردازنده مرکزی بیش از ۲ میلیون چرخه RISC-V در ثانیه اثبات می‌کند و با Apple Metal از ۱۰ میلیون چرخه در ثانیه عبور می‌کند. LayerZero نیز برای Akita اندازه اثبات ۶۵ تا ۸۰ کیلوبایت، بهبود دو تا سه‌برابری زمان اثبات و تقریباً نصف شدن مصرف حافظه Jolt را گزارش کرده است.

برای سازندگان ICP، نکته کاربردی در محل اجرای کار است. یک کانستر الزاماً نباید محاسبه کاملِ نشان‌داده‌شده توسط اثبات را انجام دهد. یک اثبات‌گر جداگانه—مثلاً ورک‌استیشن، سرویس GPU یا در آینده تلفن همراه—می‌تواند بار محاسباتی را اجرا کند و کانستر ICP ورودی‌های عمومی، داده اثبات و تعهدهای مرتبط با برنامه را دریافت کند. هرچه اثبات کوچک‌تر و اعتبارسنجی ارزان‌تر باشد، این معماری برای جریان‌های کاری محدود به اندازه پیام، چرخه‌ها یا منابع دستگاه کاربر عملی‌تر می‌شود.

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

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

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