آکیتا، اثبات‌های دانش صفرِ پساکوانتومی را از لایهٔ تعهدات ارتقا می‌دهد

سامانه‌های دانش صفرِ پساکوانتومی معمولاً برای احتیاط رمزنگاری، هزینهٔ اثبات‌های بزرگ‌تر و راستی‌آزمایی سنگین‌تر را می‌پردازند. آکیتا که LayerZero آن را در ۹ سپتامبر ۲۰۲۶ معرفی کرد، مسیر دیگری را پیشنهاد می‌کند: ارتقای طرح تعهد چندجمله‌ای در مرکز پشتهٔ اثبات.

تعهد چندجمله‌ای به اثبات‌کننده اجازه می‌دهد به یک چندجمله‌ای متعهد شود و بعداً دربارهٔ آن ادعاهایی را ثابت کند، بدون آن‌که کل چندجمله‌ای را آشکار کند. در یک سامانهٔ ZK، این primitive به ردپای محاسبات نزدیک است؛ بنابراین امنیت و کارایی آن بر کل مسیر اثبات و راستی‌آزمایی اثر می‌گذارد. آکیتا از فرض‌های مبتنی بر شبکه، به‌ویژه Module-SIS، استفاده می‌کند تا جایگزینی پساکوانتومی برای تعهدات مبتنی بر منحنی بیضوی فراهم کند و هم‌زمان از اثبات‌های بسیار بزرگی که معمولاً با طرح‌های پساکوانتومی مبتنی بر هش همراه‌اند دور شود.

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

این ایده فقط نظری نیست. LayerZero کد Rust آکیتا را متن‌باز منتشر کرده و نخستین یکپارچه‌سازی برجستهٔ آن Jolt است؛ همان zkVM مرتبط با a16z crypto که پروژهٔ Zero از آن استفاده می‌کند. در اندازه‌گیری‌های end-to-end مقاله، Jolt با آکیتا در مقایسه با Jolt همراه Dory، بهبود ۱٫۳ تا ۲٫۲ برابری در سرعت اثبات و ۲٫۲ تا ۷٫۴ برابری در سرعت راستی‌آزمایی نشان داد؛ اندازهٔ همهٔ اثبات‌ها در برنامه‌های ارزیابی‌شده نیز کمتر از ۱۰۰ کیلوبایت بود. اطلاعیهٔ LayerZero دامنهٔ گسترده‌تری از اثبات‌های ۶۵ تا ۸۰ کیلوبایتی، اثبات‌سازی ۲ تا ۳ برابر سریع‌تر و تقریباً نصف شدن مصرف حافظه برای Jolt را گزارش می‌کند.

این اعداد باید با احتیاط تفسیر شوند. آن‌ها حاصل بنچمارک‌های خود نویسندگان هستند، نه ارزیابی مستقل؛ همچنین «آمادهٔ تولید» توصیف LayerZero است، در حالی که خود مقاله یک پیاده‌سازی پژوهشی و نتایج آزمایشی ارائه می‌کند. این ارقام به انتخاب پارامترها، نوع workload و baseline مقایسه نیز وابسته‌اند.

سیگنال معماری مهم‌تر این است که ZK پساکوانتومی الزاماً به بازنویسی کامل نیاز ندارد. اگر یک لایهٔ تعهد بتواند مقاومت کوانتومی را فراهم کند و معماری اطراف را حفظ کند، تیم‌های zkVM شاید بتوانند به‌تدریج مهاجرت کنند: ابتدا primitive تعهد، سپس یکپارچه‌سازی‌ها، ابزارهای پارامترگذاری، اثبات‌سازی توزیع‌شده و عملیات استقرار. مقالهٔ آکیتا صراحتاً گشایش‌های دسته‌ای، پشتیبانی از اثبات‌سازی توزیع‌شده و برنامه‌ریز آفلاین پارامترها را دربر می‌گیرد؛ ویژگی‌هایی که مهاجرت را از یک مسئلهٔ صرفاً رمزنگاری به مسئله‌ای عملیاتی تبدیل می‌کنند.

برای توسعه‌دهندگان ICP، درس کاربردی است. یک canister یا سرویس chain-fusion مبتنی بر اثبات در آینده باید فراتر از اعتبار اثبات را ارزیابی کند: فرض‌های تعهد، هزینهٔ راستی‌آزمایی، رشد حافظه، منشأ پارامترها و این‌که آیا بنچمارک با workload هدف هم‌خوان است یا نه. آکیتا ثابت نمی‌کند که ZK پساکوانتومی حل شده است؛ اما لایهٔ تعهدات را به نقطه‌ای معتبر برای سنجش پیشرفت تبدیل می‌کند.