وقتی اختیار با راستیآزماست: پژوهشهای ZK نقطه شروع احراز هویت را بازنویسی میکنند
دو مقاله منتشرشده در ژوئیه ۲۰۲۶، اثبات دانش صفر را از چارچوب کلاسیک فراتر میبرند: یکی احراز هویت پیام کوانتومی را بهصورت آغازشده از سوی راستیآزما طراحی میکند و دیگری الگوی MPC-in-the-head را برای محاسبات کوانتومی و راستیآزمایی مقاوم در برابر برهمنهی گسترش میدهد.
پژوهشهای اثبات دانش صفر بهسوی پرسشی دشوارتر حرکت میکنند: آیا راستیآزما میتواند فقط هنگام نیاز درخواست اثبات کند، حتی وقتی مدل امنیتی شامل رفتار کوانتومی است؟
دو مقاله که در ژوئیه ۲۰۲۶ منتشر شدند، پاسخهایی مکمل ارائه میکنند. ووشنگ وانگ و ماساهیتو هایاشی در Nature Communications، امضاهای دیجیتال کوانتومیِ آغازشده از سوی راستیآزما (VIQDS) را معرفی کردهاند. در مدل آنها، راستیآزما هنگام نیاز درخواست احراز هویت میکند؛ امضاکننده یکبار پاسخ میدهد و سپس راستیآزمایی میتواند بدون تعامل دوباره ادامه پیدا کند. نویسندگان میگویند این روش بار ارتباطی و ذخیرهسازیِ توزیع پیشاپیش دادههای احراز هویت را کاهش میدهد.
ایده اصلی ZK، حفظ حریم خصوصی زیر نظارت است. مقاله از تکنیکهای اثبات دانش صفر کوانتومی استفاده میکند تا راستیآزمایی فقط معتبر بودن امضا را آشکار کند، نه کلید خصوصی امضاکننده را. مدل امنیتی مقاله به راستیآزمای قابلاعتماد محدود نیست و راستیآزماهای «زیرک» را نیز بررسی میکند؛ یعنی موجودیتهایی که میکوشند اطلاعات استخراج کنند، اما رفتارشان همچنان از اجرای صادقانه پروتکل قابل تشخیص نباشد. نویسندگان یک اصل تبدیل عمومی از اثباتهای دانش صفر کوانتومی مناسب به VIQDS ارائه میکنند و نمونهای مشخص بر پایه پلتفرمهای ساده کیوبیتی توضیح میدهند.
مقاله دوم که در نشریه Quantum منتشر شده، مرز متفاوتی را بررسی میکند. «MPC در ذهن کوانتومی» تکنیک MPC-in-the-head را تعمیم میدهد؛ روشی که در آن اثباتکننده چند طرف را شبیهسازی و نماهای منتخب را آشکار میکند. در نسخه جدید، خود محاسبه شبیهسازیشده میتواند کوانتومی باشد. نویسندگان با این چارچوب، پروتکلهایی میسازند که در برابر راستیآزمایی مقاوماند که میتواند یک برهمنهی از رونوشتها را بهدست آورد.
نتیجه اصلی آنها دو استدلال سهمرحلهای در مدل رشته مرجع مشترک است: یک استدلال دانش صفر برای NP و یک استدلال دانش صفر برای QMA؛ هر دو بر پایه فرض استاندارد «یادگیری با خطا» (LWE). QMA همتای کوانتومی کلاس پیچیدگی MA در دنیای کلاسیک است و بنابراین نتیجه به اثبات درباره محاسبات کوانتومی، نه فقط گزارههای کلاسیک، مربوط میشود.
این دو مقاله در کنار هم یک تفکیک معماری مفید پیشنهاد میکنند. VIQDS مشخص میکند چه کسی و چه زمانی تبادل احراز هویت را آغاز میکند. MPC-in-the-head کوانتومی مشخص میکند پروتکل دانش صفر باید چه نوع رفتار را از سوی راستیآزما تحمل کند. برای سازندگان، این موضوع به چکلیستی سهگانه منجر میشود: آیا تولید اثبات عنداللزوم انجام میشود؟ آیا تعریف حریم خصوصی، راستیآزماهای کوانتومی یا کنجکاو نسبت به رونوشت را پوشش میدهد؟ و آیا ساختار بر فرضهایی تکیه دارد که انتظار میرود در برابر حملات کوانتومی دوام بیاورند؟
محدودیت مهم، سطح بلوغ این کارهاست. اینها پروتکلهای پژوهشی هستند، نه مدرکی برای آمادهبودن احراز هویت کوانتومی در شبکههای معمولی، کیفپولها یا کانسترها. مقاله Nature Communications یک نمونهسازی مشخص را توصیف میکند، اما استقرار تولیدی را اثبات نمیکند؛ مقاله Quantum نیز یک ساختار رمزنگاری را در مدل رشته مرجع مشترک ارائه میدهد. بنابراین هزینه سختافزار، جزئیات یکپارچهسازی و تأخیر واقعی همچنان پرسشهای مهندسی باز هستند.
درس کوتاهمدت برای توسعهدهندگان ZK این است که «امن در برابر کوانتوم» یک ویژگی واحد نیست. یک سامانه ممکن است فرضهای کلاسیک را با فرضهای پساکوانتومی جایگزین کند، یا مستقیماً مهاجمان و محاسبات کوانتومی را در مدل خود وارد کند. این مقالات نشان میدهند مسیر دوم در حال رسیدن به تعریفهای دقیقتر و مرزی امنیتی دشوارتر است.
خبرخوان را در ایمیل بگیرید
هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.