کالبدشکافی اثبات دانایی صفر (ZKP): چگونه می‌توانیم رازی را بدون فاش کردن آن ثابت کنیم؟

تنش بنیادین اینترنت این است که برای اثبات هر چیزی، باید همه‌چیز را فاش کنید. برای اثبات اینکه بالای ۱۸ سال سن دارید، پاسپورتی را نشان می‌دهید که تاریخ دقیق تولد، نام و چهره شما را در بر دارد. برای اثبات توانایی مالی جهت دریافت وام، کل تاریخچه بانکی خود را تحویل می‌دهید. این مبادله نابرابر میان «اعتماد» و «حریم خصوصی»، به موتور محرک صنعت چند میلیارد دلاری خرید و فروش داده‌ها و نشت‌های بی‌پایان اطلاعات تبدیل شده است.

دهه‌هاست که شرکت‌های فناوری این وضعیت را به عنوان یک «شر ضروری» به ما می‌فروشند. دپارتمان‌های بازاریابی آن را «تأیید هویت یکپارچه» یا «احراز هویت مشتری (KYC)» می‌نامند، اما از نظر ریاضی، این تنها یک آسیب‌پذیری عظیم است. چه می‌شد اگر می‌توانستید بالای ۱۸ سال بودن خود را ثابت کنید، بدون اینکه سن دقیق خود را بگویید؟ چه می‌شد اگر می‌توانستید ثابت کنید رمز عبور را می‌دانید، بدون اینکه آن را به سرور ارسال کنید؟

اینجاست که «اثبات دانایی صفر» (Zero-Knowledge Proof یا ZKP) وارد میدان می‌شود. چیزی که امروز اغلب به عنوان «جادوی بلاک‌چین» یا سپر نهایی حریم خصوصی بازاریابی می‌شود، در واقع یک مفهوم دقیق ریاضی است که در دهه ۱۹۸۰ میلادی متولد شد. این پروتکل به یک طرف (اثبات‌کننده) اجازه می‌دهد تا طرف دیگر (تأییدکننده) را متقاعد کند که یک ادعای خاص صحت دارد، بدون اینکه هیچ اطلاعاتی فراتر از خودِ حقیقتِ آن ادعا منتقل شود.[1]

برای درک این مکانیسم به دور از هیاهوی تبلیغاتی، رمزنگاران اغلب از تمثیل «غار علی‌بابا» استفاده می‌کنند. یک غار حلقوی را تصور کنید که در انتهای آن یک درِ جادویی قرار دارد و تنها با یک کلمه عبور مخفی باز می‌شود. «آلیس» می‌خواهد به «باب» ثابت کند که کلمه عبور را می‌داند، اما نمی‌خواهد خودِ کلمه را به او بگوید.[1]

باب بیرون غار می‌ایستد در حالی که آلیس وارد می‌شود و یکی از دو مسیر (مسیر الف یا مسیر ب) را برای رسیدن به در انتخاب می‌کند. سپس باب به ورودی می‌آید و فریاد می‌زند: «از مسیر ب خارج شو!» اگر آلیس کلمه عبور را بداند، می‌تواند در را باز کرده و فارغ از اینکه از کدام مسیر رفته بود، از مسیر ب خارج شود. اما اگر کلمه عبور را نداند، تنها ۵۰ درصد شانس دارد که مسیر درست را حدس زده باشد.[1]

اگر آن‌ها این کار را ۴۰ بار تکرار کنند، شانس اینکه آلیس هر بار بدون دانستن کلمه عبور مسیر درست را حدس بزند، عملاً به صفر می‌رسد. حالا باب ۱۰۰ درصد متقاعد شده است که آلیس کلمه عبور را می‌داند، در حالی که هنوز هیچ ایده‌ای ندارد که آن کلمه چیست. این جوهره یک اثبات دانایی صفر تعاملی است: جایگزین کردن «افشای اطلاعات» با «احتمالات ریاضی».[1]

غار علی‌بابا یک اثبات تعاملی است؛ یعنی نیازمند چالش‌های مداوم از سوی باب است. در دنیای واقعی شبکه‌های کامپیوتری، این رفت و برگشت‌ها بسیار کند و پرهزینه هستند. پیشرفتی که ZKP را از مقالات دانشگاهی به نرم‌افزارهای واقعی منتقل کرد، توسعه اثبات‌های «غیرتعاملی» بود.[2]

امروزه، صنعت فناوری به شدت به پروتکل‌هایی مانند zk-SNARKs و zk-STARKs متکی است. این پروتکل‌ها از معادلات پیچیده چندجمله‌ای و رمزنگاری منحنی بیضوی استفاده می‌کنند تا فرآیند «چالش و پاسخ» را در یک اثبات ریاضی کوچک و واحد فشرده کنند که در چند میلی‌ثانیه قابل تأیید است.[2][3]

وقتی یک شرکت ادعا می‌کند که از ZKP استفاده می‌کند، معمولاً در حال استقرار یکی از همین کتابخانه‌های رمزنگاری است. کامپیوتر اثبات‌کننده یک محاسبه ریاضی سنگین را برای تولید یک «شاهد» (همان اثبات) اجرا می‌کند، و کامپیوتر تأییدکننده یک بررسی بسیار سبک را انجام می‌دهد تا مطمئن شود محاسبات درست است. در این میان، داده‌های اصلی هرگز منتقل نمی‌شوند.[3]

اما در اینجا به یک نگاه شکاکانه نیاز داریم. بازاریابی پیرامون ZKP نشان می‌دهد که این یک راه‌حل آماده برای تمام مشکلات حریم خصوصی است. استارتاپ‌ها ایده‌هایی مانند «هویت مبتنی بر ZKP» و «فضای ابری با دانایی صفر» را مطرح می‌کنند. اما واقعیتِ آنچه تاکنون به صورت عملیاتی عرضه شده، بسیار محدودتر است.[4]

در حال حاضر، ZKP عمدتاً در بخش ارزهای دیجیتال، به ویژه در شبکه‌های لایه دوم (Layer 2 Rollups) روی اتریوم استفاده می‌شود. این شبکه‌ها هزاران تراکنش را دسته‌بندی کرده، یک ZKP واحد برای اثبات اعتبار همه آن‌ها تولید می‌کنند و تنها همان اثبات را روی بلاک‌چین اصلی قرار می‌دهند. این کار در واقع مشکل «مقیاس‌پذیری» را حل می‌کند، نه لزوماً مشکل حریم خصوصی مصرف‌کننده را.[3]

در دنیای فناوری سنتی، استقرار واقعی ZKP هنوز در مراحل ابتدایی است. تولید یک zk-SNARK از نظر محاسباتی بسیار سنگین است. این کار به قدرت پردازش و حافظه قابل توجهی نیاز دارد که اجرای آن را روی گوشی‌های هوشمند ارزان‌قیمت یا دستگاه‌های اینترنت اشیا (IoT) دشوار می‌کند. وقتی یک اپلیکیشن جریان اصلی ادعای «دانایی صفر» می‌کند، اغلب منظورشان همان رمزگذاری سرتاسری (End-to-End Encryption) استاندارد است که از نظر بنیادی کاملاً متفاوت است.[2]

علاوه بر این، مشکل «راه‌اندازی مورد اعتماد» (Trusted Setup) نیز وجود دارد. بسیاری از پروتکل‌های ZKP نیازمند یک مرحله اولیه برای تولید کلیدهای رمزنگاری هستند. اگر افرادی که این کلیدها را تولید می‌کنند تبانی کرده و «زباله‌های سمی» (اعداد تصادفی اولیه) را نگه دارند، می‌توانند برای همیشه اثبات‌های جعلی بسازند. اگرچه پروتکل‌های جدیدتری مانند zk-STARKs این نیاز را از بین برده‌اند، اما حجم اثبات‌های بسیار بزرگتری تولید می‌کنند که یک بده‌بستان میان «اعتماد» و «کارایی» ایجاد می‌کند.[3]

با وجود تمام اغراق‌های تبلیغاتی، پایه ریاضی ZKP کاملاً مستحکم و انقلابی است. سازمان‌هایی مانند مؤسسه ملی استاندارد و فناوری آمریکا (NIST) در حال استانداردسازی این پروتکل‌ها هستند تا آن‌ها را از حاشیه دنیای رمزنگاری به ابزارهای امنیتی در سطح سازمانی منتقل کنند.

وعده نهایی ZKP، بازسازی بنیادین معماری «اعتماد دیجیتال» است. اگر هزینه‌های محاسباتی همچنان کاهش یابد، ممکن است به زودی وارد دورانی شویم که در آن اثبات اینکه چه کسی هستیم، دیگر نیازی به واگذاری بخش‌هایی از هویتمان نداشته باشد. تا آن زمان، ZKP به عنوان یک شاهکار ریاضی باقی می‌ماند که به آرامی در حال باز کردن راه خود به سوی واقعیت‌های کاربردی است.[4]