چالش کوانتومی ابتدا می‌آید: مدل درخواستی جدید برای احراز هویت ZK

یکی از مسیرهای تازه در فناوری دانش صفر، این است که چه کسی تبادل احراز هویت را آغاز می‌کند. ووشنگ وانگ و ماساهیتو هایاشی در مقاله‌ای که ۱۴ ژوئیه ۲۰۲۶ در Nature Communications منتشر شد، پروتکلی برای امضای دیجیتال کوانتومیِ آغازشده از سوی تأییدکننده ارائه کرده‌اند که بر پایه اثبات‌های دانش صفر کوانتومی ساخته شده است.

تغییر معماری ساده است: تأییدکننده هر زمان که به احراز هویت یک پیام نیاز داشته باشد، یک چالش کوانتومی می‌فرستد. سپس امضاکننده برای همان پیام امضا تولید می‌کند و تأییدکننده با استفاده از یک حالت کلید عمومی کوانتومی آن را بررسی می‌کند. این مدل با طرح‌های آغازشده از سوی امضاکننده تفاوت دارد؛ در آن طرح‌ها، مواد احراز هویت پیشاپیش آماده و توزیع می‌شوند، حتی اگر بعداً هیچ بررسی‌ای لازم نباشد.

این پروتکل چهار مرحله دارد. امضاکننده یک کلید خصوصی می‌سازد و حالت‌های کلید عمومی کوانتومی را توزیع می‌کند. بعداً تأییدکننده همراه با پیام موردنظر یک چالش می‌فرستد. امضاکننده جفت پیام و امضا را بازمی‌گرداند و تأییدکننده اندازه‌گیری نهایی را انجام می‌دهد. مقاله می‌گوید مرحله بررسی پس از پاسخ امضاکننده، به ارتباط بیشتری نیاز ندارد.

نکته مهم ZK در مرز امنیتی آن است. نویسندگان چارچوبی برای اثبات تعاملی کوانتومی تعریف می‌کنند که نه‌تنها شرکت‌کنندگان صادق، بلکه اثبات‌کنندگان متقلب و تأییدکنندگان «ظاهراً صادق» را نیز مدل می‌کند؛ یعنی کسانی که می‌کوشند راز را یاد بگیرند، بدون آن‌که رفتار قابل مشاهده پروتکل را از حالت صادقانه خارج کنند. سپس نشان می‌دهند که یک اثبات مناسبِ آغازشده از سوی تأییدکننده را می‌توان به پروتکل احراز هویت تبدیل کرد و، در مدل تعریف‌شده، ویژگی‌های کامل‌بودن، soundness و دانش صفر را حفظ کرد.

برای توسعه‌دهندگان، درس عملی فراتر از رمزنگاری کوانتومی است. در احراز هویت درخواستی، خودِ درخواست بخشی از وضعیت پروتکل است. یک سرویس آینده که از یک canister می‌خواهد رویدادی را مجاز کند، باید درخواست را به پیام دقیق، هویت تأییدکننده، چالش و منبع یک‌بارمصرف بررسی گره بزند. اگر proof فقط به‌صورت یک قطعه مستقل دیده شود، مهم‌ترین فرض‌های مربوط به replay و مجوزدهی پنهان می‌مانند.

یک محدودیت سیستمی نیز روشن است. این ساختار به حافظه کوانتومی ایدئال نیاز دارد و هر حالت ذخیره‌شده کلید عمومی کوانتومی را یک توکن یک‌بارمصرف در نظر می‌گیرد؛ پس از بررسی، آن حالت مصرف می‌شود و برای احراز هویت بعدی باید تازه‌سازی شود. نویسندگان درباره عملیات قابل اجرا با فناوری آزمایشی بحث می‌کنند، اما مقاله هیچ یکپارچه‌سازی با ICP یا سامانه مستقرشده‌ای ارائه نمی‌دهد. بنابراین برای سازندگان ICP، این کار یک نشانه طراحی برای سرویس‌های قابل‌راستی‌آزمایی آینده است، نه یک primitive آماده برای canister.

تغییر مفهومی اصلی این است: احراز هویت دانش صفر می‌تواند حول تقاضای تأییدکننده سازمان‌دهی شود، نه برنامه توزیع پیشاپیشِ امضاکننده. این مدل در هر جایی اهمیت دارد که بررسی‌ها پراکنده، پرهزینه یا تحت کنترل یک برنامه غیرمتمرکز باشند.

دو caveat باید صریح بماند: این پیشنهاد به حافظه کوانتومی ایدئال و حالت‌های یک‌بارمصرف کلید عمومی کوانتومی متکی است، بنابراین هنوز یک مدل پژوهشی و نه استقرار تولیدی است. همچنین منابع، پروتکل و تحلیل رسمی امنیتی را گزارش می‌کنند، نه یک یکپارچه‌سازی با ICP یا سامانه‌ای در حال استفاده.