اثبات ۰٫۲۲ ثانیه‌ای: چگونه ZK نسبیتی نامتقارن امنیت کوانتومی را به مقیاس سخت‌افزار رساند

پژوهشگران دانش صفر سال‌ها تلاش کرده‌اند اثبات‌ها را کوچک‌تر، سریع‌تر و در برابر مهاجمان قدرتمندتر ایمن‌تر کنند. نتیجه‌ای تازه در Nature Communications توجه را از جبر صرف به فیزیک ارتباطات منتقل می‌کند: یک اثبات دانش صفر نسبیتی نامتقارن (RZKP) که از فاصله و زمان‌بندی استفاده می‌کند تا دو اثبات‌گر جدا نتوانند با سرعت کافی برای تقلب با یکدیگر هماهنگ شوند.

این آزمایش از دو جفت اثبات‌گر-راستی‌آزما در دو ساختمان جداگانه دانشگاه نانجینگ استفاده کرد که ۳۰۰ متر از یکدیگر فاصله داشتند. هر اثبات‌گر و راستی‌آزما به سخت‌افزار مجهز به FPGA متکی بود و سرورهای زمان‌بندی مبتنی بر GPS، سامانه را همگام می‌کردند. پروتکل بر اصل عدم ارسال سریع‌تر از نور تکیه دارد: اگر چالش و پاسخ باید در یک بازه زمانی بسیار محدود از فاصله عبور کنند، یک اثبات‌گر پیش از پاسخ‌گویی نمی‌تواند اطلاعات طرف دیگر را به دست آورد.

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

این نامتقارن‌بودن یک بده‌بستان عملی ایجاد می‌کند. یک طرف تصادفی‌سازی و محاسبات بیشتری را انجام می‌دهد، اما پیچیدگی دورهای لازم برای امنیت کوانتومی را از مرتبه‌ای وابسته به توان چهارم تعداد یال‌های گراف به مرتبه‌ای خطی نسبت به آن کاهش می‌دهد. در آزمایش گزارش‌شده، گرافی با ۵۸۸ رأس و ۱٬۰۹۷ یال برای رسیدن به هدف امنیتی e^-100 به حدود ۲٫۲×۱۰^۵ دور نیاز داشت. با فاصله زمانی یک میکروثانیه میان آغاز دورها، کل تعامل تقریباً ۰٫۲۲ ثانیه طول کشید و حدود ۴۳۰٫۸۱ مگابایت تصادفی‌سازی مصرف کرد.

نتایج زمان‌بندی نیز اهمیت زیادی دارند. آزمایش، با در نظر گرفتن خطای اعلام‌شده ۳۰ نانوثانیه‌ای همگام‌سازی GPS در هر طرف، اختلاف‌های زمانی اندازه‌گیری‌شده را زیر پنجره نسبیتی ۱٬۰۰۰ نانوثانیه نگه داشت. محاسبه تعهدها روی FPGA در هر چرخه کلاک ۶٫۴ نانوثانیه گزارش شد، در حالی که ارتباطات و پاسخ سخت‌افزار حدود ۳۰۰ نانوثانیه به تأخیر افزودند.

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

این نتیجه باید با احتیاط خوانده شود. این یک نمونه پژوهشی است، نه سامانه هویت تولیدی؛ امنیت و کارایی آن به زمان‌بندی کنترل‌شده، سخت‌افزار همگام، مکان‌های جداگانه اثبات‌گرها و مدل استقرار نسبتاً کنترل‌شده وابسته است. آزمایش همچنین از یک نمونه ثابت رنگ‌آمیزی گراف استفاده می‌کند؛ بنابراین عدد ۰٫۲۲ ثانیه نباید معیار عمومی برای هر کاربردی تلقی شود.

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