تغییر اصلی Lattice Jolt زیر ماشین مجازی رخ میدهد: PCS به سطح استقرار تبدیل میشود
در Lattice Jolt، لایهٔ تعهد چندجملهای Dory با طرح مبتنی بر شبکهٔ Akita جایگزین شده است؛ طرحی که هدفش کوچکتر و سریعتر کردن اثباتهای مقاوم در برابر کوانتوم است. برای سازندگان ICP، نکتهٔ مهم این است که ارتقاهای سیستمهای اثبات بیشازپیش زیر رابط ماشین مجازی رخ میدهند و باید مانند تغییرات زیرساخت رمزنگاری مدیریت شوند.
در ۹ تا ۱۰ سپتامبر ۲۰۲۶، LayerZero و a16z crypto از Lattice Jolt رونمایی کردند؛ پیکربندیای از zkVM جولت که طرح تعهد چندجملهای Dory را با Akita جایگزین میکند. تیتر اصلی، امنیت پساکوانتومی است، اما تحول عملیتر این است که طرح تعهد چندجملهای به یک سطح مستقل برای استقرار در zkVM تبدیل شده است.
طرح تعهد چندجملهای به اثباتکننده اجازه میدهد به چندجملهایهای بزرگ متعهد شود و بعداً ادعاهایی دربارهٔ آنها را بدون ارسال کل ردپای محاسبه اثبات کند. این لایه در جولت اهمیت ویژهای دارد، زیرا پروتکلهای بررسی حافظه میتوانند چندجملهایهای بسیار بزرگ و تنک ایجاد کنند. Akita برای چنین بارکاریای طراحی شده و بهجای فرضهای مبتنی بر منحنیهای بیضوی در Dory، از فرضهای شبکهای، مشخصاً Module-SIS، استفاده میکند.
مقالهٔ منتشرشده گزارش میکند که Akita در مقایسههای آزمایشی، اثباتهایی با اندازهٔ ۶۱ تا ۷۰ کیلوبایت تولید کرده و جولت با Akita، در اندازههای برنامهٔ ارزیابیشده، نسبت به جولت با Dory به بهبود ۱٫۳ تا ۲٫۲ برابری زمان اثبات و ۲٫۲ تا ۷٫۴ برابری زمان بررسی رسیده است. اطلاعیهٔ همراه نیز میگوید اثباتهای حاصل زیر ۱۰۰ کیلوبایت باقی میمانند. این ارقام، نتایج بنچمارک نویسندگان هستند و ممیزی مستقل نشدهاند؛ بنابراین سازندگان باید پیش از استفاده برای برنامهریزی ظرفیت یا هزینه، آنها را روی سختافزار و بارکاری خود بازتولید کنند.
این طراحی همچنین اثبات توزیعشده و بازکردنهای دستهای را هدف میگیرد و برنامهریز آفلاین آن پارامترها را بر اساس اهداف قابلتنظیم هزینه انتخاب میکند. این موضوع فراتر از یک بنچمارک منفرد اهمیت دارد: تولید و بررسی اثبات، انتقال شبکهای و تسویهٔ احتمالی روی زنجیره، هرکدام به شکل متفاوتی از اندازهٔ اثبات، مصرف حافظه و کار بررسی تأثیر میپذیرند. یک backend تعهد که یکی از این ابعاد را بهبود دهد، میتواند پروفایل عملیاتی سیستم را بدون تغییر برنامهٔ guest عوض کند.
برای توسعهدهندگان ICP که روی محاسبات قابلراستیآزمایی کار میکنند، نتیجهٔ عملی این است که رابط guest را از backend اثبات جدا نگه دارند. قالب statement، ورودیهای عمومی و قرارداد بررسی را شفاف تعریف کنید و سپس لایهٔ تعهد را بهعنوان مؤلفهای قابلتعویض بنچمارک کنید. این رویکرد مقایسهٔ backend شبکهای با گزینههای مبتنی بر هش یا منحنی را آسانتر میکند و نشان میدهد کدام فرضها واقعاً از مرز یک canister یا تعامل میانزنجیرهای عبور میکنند.
یک ملاحظهٔ مهم دربارهٔ بلوغ پروژه وجود دارد. مخزن جولت در حال حاضر میگوید جولت در مرحلهٔ alpha است و برای استفادهٔ production مناسب نیست؛ بنابراین Lattice Jolt را باید یک نقطهٔ عطف پیادهسازی و پژوهشی دانست، نه تضمینی برای آمادگی تولید. ارقام عملکرد بالا نیز اندازهگیریهای نویسندگاناند و ممیزی مستقل نشدهاند. سیگنال مهندسی مفید این نیست که «پساکوانتومی یعنی آماده»، بلکه این است که لایهٔ رمزنگاری زیر یک zkVM اکنون میتواند بهعنوان یک artifact مستقل استقرار، بهینهسازی، تعویض و بازبینی شود.
خبرخوان را در ایمیل بگیرید
هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.