EN
→ بازگشت به خبرخوان
شمارهٔ ۰۳۷۴ZK Tech۲ دقیقه۲ منبع

آکیتا تعهدات شبکه‌ای را به هستهٔ اثبات‌گرهای ZK می‌آورد

LayerZero از آکیتا، یک طرح تعهد چندجمله‌ای مبتنی بر شبکه، رونمایی کرده است؛ طرحی که برای افزودن امنیت پساکوانتومی به سامانه‌های اثبات دانش صفر و کاهش اندازهٔ اثبات و مصرف منابع اثبات‌گر طراحی شده است.

اشتراک‌گذاری
فناوری صفر-دانش (ZK)
آکیتا تعهدات شبکه‌ای را به هستهٔ اثبات‌گرهای ZK می‌آورد
تصویر: تولید هوش مصنوعی

LayerZero در ۹ سپتامبر ۲۰۲۶ آکیتا را معرفی کرد: یک طرح تعهد چندجمله‌ای مبتنی بر شبکه برای سامانه‌های اثبات دانش صفر. اهمیت این تغییر در لایهٔ معماری آن است. آکیتا یک لایهٔ کاربردی جدید یا یک تأییدکنندهٔ تخصصی نیست؛ بلکه مؤلفه‌ای را هدف می‌گیرد که اثبات‌گر را به ردپای محاسبه متعهد می‌کند و به تأییدکننده اجازه می‌دهد بازشدن‌های مربوط به آن تعهد را بررسی کند.

طبق اعلام LayerZero، آکیتا از راه‌اندازی شفاف و فرض‌های امنیتی مبتنی بر شبکه استفاده می‌کند، نه ساختارهای مبتنی بر هش که در بسیاری از طراحی‌های پساکوانتومی به کار می‌روند. این شرکت می‌گوید اندازهٔ اثبات‌های آکیتا ۶۵ تا ۸۰ کیلوبایت است، در حالی که سامانه‌های پساکوانتومی مورد مقایسهٔ آن معمولاً ۲۰۰ کیلوبایت یا بیشتر تولید می‌کنند. همچنین LayerZero سرعت اثبات‌سازی را نسبت به پیاده‌سازی فعلی Jolt بین ۲ تا ۳ برابر و مصرف حافظه را تقریباً نصف اعلام کرده است. این اعداد ادعاهای LayerZero هستند و برای این مقاله به‌طور مستقل بازتولید نشده‌اند.

نخستین استقرار اعلام‌شدهٔ آکیتا در Jolt است؛ همان zkVM مرتبط با بلاک‌چین Zero. با این حال، آکیتا به‌عنوان یک primitive مستقل عرضه شده که سامانه‌های اثبات دیگر نیز می‌توانند آن را به کار بگیرند. مخزن عمومی پروژه یک پیاده‌سازی ماژولار Rust را نشان می‌دهد که در آن crateهای اثبات‌گر، تأییدکننده، پیکربندی، زمان‌بندی و سریال‌سازی از هم جدا هستند. این جداسازی برای تیم‌های زیرساختی مهم است: مصرف‌کننده‌ای که فقط به تأیید نیاز دارد، می‌تواند به‌جای وارد کردن بستهٔ کاملِ سمت اثبات‌گر از crateهای محدودتر استفاده کند.

مخزن آکیتا یک درس عملی دیگر نیز برای توسعه‌دهندگانی دارد که در ICP تأیید ZK را آزمایش می‌کنند. زمان‌بندی اجرایی آکیتا به‌صورت یک artifact نسخه‌گذاری‌شده و اعتبارسنجی‌شده مدیریت می‌شود. اثبات فقط digest مربوط به زمان‌بندی را حمل می‌کند و اثبات‌گر و تأییدکننده همان کاتالوگ مورد اعتماد را بارگذاری می‌کنند. بنابراین منشأ پارامترها بخشی از مرز یکپارچه‌سازی است: تغییر زمان‌بندی فقط یک تصمیم برای تنظیم عملکرد نیست، بلکه تغییری است که باید بازبینی، دوباره تولید و از نظر drift بررسی شود.

برای یک canister در ICP یا یک سرویس Chain Fusion، نتیجهٔ عملی این نیست که فوراً سامانهٔ اثبات موجود را کنار بگذاریم. بهتر است مرز تأییدکننده جدا شود، طرح و artifact پارامتر دقیقِ استفاده‌شده برای هر تأیید ثبت شود و اندازهٔ اثبات، هزینهٔ تأیید و حافظهٔ مصرفی در محدودیت‌های واقعی canister اندازه‌گیری شود. یک طرح تعهد پساکوانتومی می‌تواند فرض‌های رمزنگاری را بهبود دهد، اما به‌تنهایی آمادگی تولید، پوشش ممیزی یا سازگاری با یک مسیر اجرایی مشخص در ICP را ثابت نمی‌کند.

بهترین برداشت از آکیتا این است که با یک گزینهٔ طراحی تازه در پایهٔ اثبات‌گر روبه‌رو هستیم. اهمیت آن برای سازندگان، ترکیب هدف‌گذاری پساکوانتومی با مرزهای روشن نرم‌افزاری و پارامترهای اجرایی متعهدشده است؛ دو موضوعی که با ورود تأیید ZK به زیرساخت‌های پایدار و حساس به ارتقا، اهمیت بیشتری پیدا می‌کنند.

برچسب‌هافناوری ZKآکیتاتعهدات چندجمله‌ایرمزنگاری پساکوانتومی
منابع مستند۲ مرجع
  1. [۰۱]LayerZero Introduces Akita, the First Production-Ready, Lattice-Based Post-Quantum Polynomial Commitment Schemelayerzero.network
  2. [۰۲]Akita PCS — LayerZero-Labs GitHub repositorygithub.com
خواندنی بعدی

خبرخوان را در ایمیل بگیرید

هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.

خوراک RSS در دسترس · بدون هرزنامه