Lattice Jolt اثباتهای پساکوانتومی را به یک انتخاب عملیاتی تبدیل میکند
نسخه جدید Jolt لایه تعهد چندجملهای مبتنی بر منحنیهای بیضوی را با طراحی مبتنی بر شبکهها جایگزین میکند و همزمان اثباتهای کوچکتر و تولید سریعتر را هدف میگیرد. برای سازندگان ICP، پرسش مهم دیگر فقط مقاومت کوانتومی نیست؛ اندازه اثبات، مسیر راستیآزمایی و بلوغ نرمافزار نیز اهمیت دارند.
نسخه جدید Jolt، طراحی zkVMهای پساکوانتومی را از یک شاخه نظری به یک انتخاب مهندسی نزدیکتر میکند.
Lattice Jolt طرح تعهد چندجملهای Dory را که به رمزنگاری منحنی بیضوی وابسته بود، با Akita جایگزین میکند؛ طرحی مبتنی بر شبکهها که بر فرض Module-SIS تکیه دارد. نویسندگان میگویند این نسخه امنیت هدفگذاریشده ۱۲۸بیتی دارد و مدل اجرای RISC-V در Jolt را حفظ میکند.
دستاوردهای عملی ادعاشده قابل توجهاند. طبق اعلامیه انتشار، Lattice Jolt اثباتهایی کوچکتر از ۱۰۰ کیلوبایت تولید میکند، تولیدکننده و راستیآزما را ۲ تا ۳ برابر سریعتر میکند و در حالت فقط CPU، روی یک لپتاپ به بیش از دو میلیون چرخه RV64IMAC در ثانیه میرسد. همان اعلامیه برای شتابدهی Apple Metal بیش از ۱۰ میلیون چرخه در ثانیه روی یک MacBook گزارش میکند. در این نوشته همچنین آمده است که مصرف حافظه تولیدکننده از حدود ۳۰۰ بایت برای هر چرخه به ۲۰۰ بایت کاهش یافته است.
این اعداد برای توسعهدهندگان ICP مهماند، چون سیستم اثبات یک جزء رمزنگاری منزوی نیست. اثباتی که باید از یک مرز API عبور کند، ذخیره شود یا توسط یک کانستر راستیآزمایی شود، هزینه پهنایباند، اجرا و یکپارچهسازی دارد. اثبات کوچکتر میتواند فشار انتقال و ذخیرهسازی را کم کند و راستیآزمای سریعتر میتواند جریانهای کاربردی همزمان یا تقریباً همزمان را عملیتر کند. بااینحال، اینها پیامدهای طراحیاند و نشان نمیدهند که Lattice Jolt اکنون داخل کانسترهای ICP اجرا میشود.
تغییر جالبتر، معماری آن است. Lattice Jolt تلاش میکند یک zkVM عمومی را به خانوادهای از فرضهای پساکوانتومی نزدیک کند که استانداردهایی مانند ML-DSA و ML-KEM نیز از آن استفاده میکنند، بدون آنکه برای هر برنامه معمولی به یک مدار دستساز جداگانه نیاز باشد. این موضوع میتواند گزینهای دیگر میان سامانههای امروزی مبتنی بر منحنی بیضوی و سامانههای پساکوانتومی مبتنی بر هش در اختیار سازندگان بگذارد.
یک محدودیت مهم وجود دارد. مخزن رسمی Jolt پروژه را در وضعیت آلفا معرفی میکند و میگوید هنوز برای استفاده در محیط تولید مناسب نیست. اعلامیه انتشار همچنین میگوید مقالهای همراه که قابلیت دانش صفر را—که برای کاربردهای حریم خصوصی لازم است—اضافه کند، در آینده منتشر خواهد شد. بنابراین این اعلامیه فعلاً عمدتاً درباره تعهدات پساکوانتومی، کارایی تولید و اندازه اثبات است و نباید آن را یک پشته کامل اثبات خصوصی دانست.
برای یک نمونه اولیه ICP، فهرست بررسی عملی روشن است: نسخه دقیق Jolt را ثابت کنید، هزینه راستیآزمایی را در محیط اجرای هدف اندازه بگیرید، قالب اثبات و مرز سریالسازی را تأیید کنید و تا زمان بازتولید مستقل، بنچمارکهای اعلامشده را ادعای خود پروژه در نظر بگیرید. اهمیت این انتشار در آن است که ارزیابی zkVMهای مبتنی بر شبکه را بهعنوان گزینههای استقرار آسانتر میکند؛ نه اینکه نیاز به یکپارچهسازی و بازبینی امنیتی را از بین ببرد.
خبرخوان را در ایمیل بگیرید
هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.