مقاله درباره‌ی یه ایده‌ی خیلی عجیب ولی باحال توی رمزنگاریه: اینکه گاهی «چیزی که نمی‌تونیم ثابت کنیم» می‌تونه خودش تبدیل بشه به ابزار امنیتی.
اول از یه مفهوم به اسم اثبات بدون افشای اطلاعات یا Zero-Knowledge Proof شروع می‌کنه؛ یعنی من می‌خوام به تو ثابت کنم یه راز رو بلدم، بدون اینکه خود راز رو بهت بگم.
مثلاً فرض کن یه نقشه داریم که باید طوری با سه رنگ رنگ‌آمیزی بشه که هیچ دو ناحیه‌ی کنار هم هم‌رنگ نباشن. پیدا کردن رنگ‌آمیزی درست ممکنه خیلی سخت باشه، ولی چک کردن اینکه دو خانه‌ی کنار هم هم‌رنگ نیستن آسونه.
حالا من می‌خوام بهت ثابت کنم رنگ‌آمیزی درست رو بلدم، اما نمی‌خوام کل نقشه‌ی رنگ‌شده رو نشونت بدم. روش کلاسیک اینه که نقشه رو می‌پوشونم، تو هر بار یه مرز رو انتخاب می‌کنی، من فقط دو طرف همون مرز رو نشون می‌دم، و این کار چندین بار تکرار می‌شه تا مطمئن شی من واقعاً جواب رو دارم؛ اما در عین حال هیچ‌وقت کل جواب دستت نمیاد.
مشکل اینجاست که این مدل معمولاً نیاز به رفت‌وبرگشت داره؛ یعنی من و تو باید چند بار با هم تعامل کنیم. سال‌ها قبل ثابت شده بود که اگر بخوای همین کار رو فقط با یک متن یا یک فایل ثابت انجام بدی، بدون هیچ سؤال‌وجواب، طبق تعریف کلاسیک دیگه واقعاً Zero-Knowledge نیست.
کاری که Rahul Ilango کرده اینه که از یه مسیر متفاوت وارد شده: به‌جای اینکه ثابت کنه این اثبات هیچ چیزی لو نمی‌ده، می‌گه حتی اگر راهی برای لو رفتن وجود داشته باشه، هیچ‌کس نمی‌تونه عملاً ثابت کنه چنین راهی هست.
مثالش مثل قفلیه که روی جعبه‌اش نوشته:
«شاید در تئوری شکستنی باشم، ولی هیچ‌کس نمی‌تونه شکستنی بودنم رو ثابت یا ازش استفاده کنه.»
اگر کسی واقعاً راه شکستن قفل رو پیدا کنه، همون راه خودش مدرک شکستنی بودن قفل می‌شه؛ پس اگر چنین مدرکی عملاً غیرقابل‌ساختنه، قفل در عمل امن رفتار می‌کنه.
ایده‌ی مقاله همینجاست: Ilango از سختیِ اثبات کردن بعضی گزاره‌های ریاضی استفاده می‌کنه، نه فقط سختیِ حل کردن مسئله‌ها.
یعنی امنیت از این نمیاد که پیدا کردن جواب سخته؛ از این میاد که حتی ثابت کردنِ ناامن بودن سیستم هم می‌تونه آن‌قدر سخت یا غیرعملی باشه که انگار اصلاً قابل دانستن نیست.
برای همین مقاله می‌گه مرزهای خود ریاضی جاهایی که نمی‌دونیم یا نمی‌تونیم چیزی رو ثابت کنیم شاید بتونن برای ساختن نوع تازه‌ای از رمزنگاری استفاده بشن.

مقاله باحالیه یه سر بهش بزنین
https://www.quantamagazine.org/how-unknowable-math-can-help-hide-secrets-20260511/

@codehalics | کدهالیک