Skip to content
עברית

מחקר האסימונים הפוסט־קוונטיים של Cloudflare: פרטיות, זיוף והוכחות שטרם הושלמו

עדכון המחקר של Cloudflare מ־6 בנובמבר 2026 מתאר פרוטוקולים מועמדים בשם VOLE-IHAT ו־VOLE-ACT. הם בוחנים אסימונים אנונימיים עם עמידות לזיוף קוונטי עתידי. זהו עדכון על עבודה מתמשכת, ולא השקה בסביבת ייצור.

הפרידו בין פרטיות לעמידות לזיוף

כפי שמסביר Christopher Patton במצגת ל־IETF, אסימוני Privacy Pass קיימים המבוססים על blind-RSA או VOPRF כבר מספקים אי־קישוריות במובן של תורת המידע בין ההנפקה למימוש. תוקף בעל מחשב קוונטי חזק דיו יוכל לזייף אסימונים, בלי שהדבר יחשוף איזו הנפקה קודמת מתאימה למימוש מסוים. ההבטחה הממוקדת הזאת אינה הופכת את כל פעילות הגלישה לבלתי ניתנת למעקב.

דימוי שימושי הוא כרטיס כניסה: הסתרת המקום שבו הכרטיס התקבל ומניעת ייצור כרטיס מזויף הן שתי דרישות נפרדות. שירות ששומר על פרטיות צריך לשאול על שתיהן.

מה מוסיפים שני המועמדים

  • VOLE-IHAT מאפשר ללקוח להוכיח שקיבל אישור מגורם בקבוצת מנפיקים מהימנים, בלי לזהות את המנפיק המסוים. בטיוטה הנוכחית עדיין מופיעות הוכחות אבטחה שלא הושלמו.
  • VOLE-ACT בוחן אישורים אנונימיים הנושאים יתרה שניתנת לעדכון. הטיוטה אינה מספקת רדוקציות המוכיחות אי־קישוריות או עמידות לזיוף. שתי הטיוטות מתוארכות ל־3 בנובמבר והן עדיין עבודה בתהליך.

ספריית מחקר, לא הוראות לפריסה

מאגר vole-mole מזהיר במפורש שהקוד ניסיוני, לא עבר ביקורת אבטחה ואינו מתאים לייצור. הממשקים ופורמטי התקשורת ישתנו. היישום חייב למנוע בנפרד מימוש כפול באמצעות מעקב אחר ה־nullifiers שהספרייה מחזירה, מזהים שנועדו לזהות שימוש חוזר.

המסקנה המעשית שלנו היא לעקוב אחר המחקר בלי להתייחס לאב־טיפוס עובד כאישור לפריסה. בהערכה, תעדו איזו הבטחת פרטיות נבדקת, מי מתחזק את המידע למניעת שימוש חוזר ומה קורה כשהמידע אינו זמין. דרשו טיעוני אבטחה שנבדקו ומפרטים שמאפשרים תאימות בין מימושים לפני בחינת מעבר.

אלה שאלות מוצעות לבדיקה. לא הרצנו את המימוש, לא מדדנו עצמאית את ביצועיו ולא אימתנו את אבטחתו הקריפטוגרפית.

Read in English

Post a Comment

Previous Post Next Post