הצפנה קוונטית
מתוך ויקיפדיה, האנציקלופדיה החופשית
הצפנה קוונטית משתמשת במכניקה קוונטית לאבטחת ערוץ תקשורת. בניגוד לקריפטוגרפיה מסורתית, המיישמת טכניקות מתמטיות כמו הצפנה סימטרית ומפתח-פומבי כדי להסתיר את תוכן המידע מפני מצותת, הצפנה קוונטית מתבססת על חוקים פיזיקליים מתורת הקוונטים כמו עיקרון אי הוודאות של הייזנברג, סופרפוזיציה ושזירה קוונטית, הבאים לידי ביטוי בהתנהגות פוטונים (חלקיקי אור), כדי ליצור ערוץ תקשורת בטוח שאינו ניתן בשום אופן לציתות מבלי להפריע לשידור. חוקי הפיזיקה מגנים על הערוץ אפילו מפני מצותת בעל עוצמת חישוב בלתי מוגבלת. מאחר ומדידות קוונטיות של חלקיקי האור משבשות את מצבם הקוונטי ובכך מותירות אחריהן עקבות המובילות לחשיפת המצותת.
צ'ארלס בנט, גילס ברסרד וקלוד קראפיו (1984), ארתור אקרט (1991) ואחרים, הרחיבו את הרעיון ותיארו שיטות להעברת מפתח קוונטית, הטלת מטבע קוונטית, מחולל מספרים אקראיים קוונטי וטכניקות קריפטוגרפיות אחרות המיישמות את תורת הקוונטים כדי להגיע לרמת בטיחות מושלמת. רעיונות אלו מבוססים על ממצאים מדעיים שהתגלו כבר לפני עשרות שנים עם עבודתם של פרופסור אלברט איינשטיין ועמיתיו בתורת הקוונטים.
שני סוגי סכמות הצפנה קוונטית דומות הומצאו בהתבסס על תכונות פיזיקליות אלו. הראשונה של צ'ארלס בנט וגילס ברסרד, מנצלת את הקיטוב (פולריזציה) של פוטונים כדי לקודד סיביות מידע ומסתמכת על ההתנהגות האקראית של החלקיקים כדי למנוע מהמצותת לחלץ את המפתח. השנייה של ארתור אקרט (1991) מנצלת את תכונת השזירה הקוונטית ומסתמכת על הקשר המופלא הקיים בין מצבם הקוונטי של זוגות פוטונים שנוצרו ממקור אחד, שלמרות המרחק ביניהם המצב המתקבל במדידה הנעשית במקומות מרוחקים, זהה. תופעה שכונתה על ידי אלברט איינשטיין "פעולה מבהילה ממרחק". הוא טען כי התכונה הפיזית של החלקיקים שלכאורה אין קשר ביניהם, מתחילה להתקיים רק לאחר המדידה, כאשר לפני המדידה מצבם הפיזי אינו מוגדר. כל הפרעה במדידת זוג הפוטונים משבשת את אי-הוודאות ובעצם קוטעת את הקשר ביניהם. מה שמאפשר את חשיפת הציתות.
תוכן עניינים |
[עריכה] פולריזציה וסופר-פוזיציה
ההסבר לרעיון הבסיסי של ההצפנה הקוונטית מתבסס על תופעה ידועה במכניקה הקוונטית. חלקיקים אינם קיימים במצב יחיד אלא למעשה קיימים בכמה מצבים או מקומות בו זמנית בהסתברות שווה, מצב המכונה סופר-פוזיציה. אולם מצב זה של החלקיקים חדל להיות כאשר מתבוננים בהם, אז החלקיקים למעשה "קורסים" באופן אקראי לאחד מן המצבים האפשריים של החלקיק. כלומר תהליך המדידה גורם לחלקיק לאבד את תכונת הסופר-פוזיציה. הבעיה היא שמבחינה פיזיקלית, לא ניתן למדוד כל היבט של החלקיק בו זמנית. עקרון אי הוודאות של הייזנברג קובע כי לא ניתן למדוד במקביל זוגות משתנים מדידים של חלקיק (כגון מיקום ותנע), אפילו באמצעות כלי מדידה מדויקים. עצם המדידה הורסת את מצב החלקיק כך שלא ניתן לבצע מדידה אחרת.
בזמן תנועתם במרחב, פוטונים שאינם מקוטבים, יכולים להימצא בכל זווית אפשרית. לדוגמה הפוטונים המרכיבים את אלומת אור השמש מסתחררים באופן אקראי, אנכית, אופקית או באלכסון, כלפי מעלה או מטה. כאשר פוטון נע בכיוון זהה וקבוע הוא נקרא מקוטב. ניתן לקטב פוטונים על ידי מסננת הקרויה מקטב (פולרויד). כאשר מעבירים פוטונים דרך מקטב בזווית מסוימת, רק הפוטונים המצויים בזווית זו יעברו דרכו בעוד שאחרים יחסמו. כאשר הפוטון עובר דרך המקטב הוא מתייצב בדיוק בכיוון הנקבע על ידי המקטב. לדוגמה מקטב אופקי יאפשר רק לפוטונים המצויים במצב אופקי בפוגעם בו, לעבור דרכו (בוודאות), בעוד שפוטונים אנכיים יחסמו לגמרי. אם נטיל אלומת פוטונים אופקיים במקטב ונסובב אותו בתשעים מעלות מספר הפוטונים שיעברו דרכו ילך ויפחת בהדרגה, עד כי יחסמו לגמרי. זה נשמע אולי מנוגד להיגיון, אנו נוטים לחשוב כי אם מטים אפילו במעט את זווית המקטב, לא אמורים פוטונים האופקיים לעבור דרכו כלל. אולם כאמור לפי עקרון אי הוודאות, עשויים להתרחש שינויי פתע. בזמן המדידה הפוטון יקרוס למצב יחיד באופן אקראי וככל שזווית הקיטוב של הפוטון קרובה יותר לזווית המקטב כן יגדלו סיכוייו לעבור דרכו. כלומר במקטב אופקי, לפוטון אנכי יש אפס סיכויים לעבור. בעוד שלפוטון המצוי בזוית 45 מעלות, יש סיכויים של חמישים אחוז לעבור.
אפשר לחלק את הקיטוב לשני סוגים. קיטוב אורתוגונלי שהוא קיטוב ישר זווית המסומן (+), קרי מצבים אנכיים ואופקיים בלבד של הגל האלקטרומגנטי. קיטוב מעגלי או קיטוב אלכסוני של הגל המסומן (x), הוא מצב בו נמדדים הקיטובים האלכסוניים, למשל אלכסון ימני או אלכסון שמאלי. ניתן לקבוע בוודאות באיזה מצב הפוטון מקוטב רק אם נמדד במקטב בעל בסיס מתאים. בבסיס אורטוגונלי, פוטון המקוטב אנכית או אופקית ניתן למדידה וודאית. בעוד שמדידת פוטון אלכסוני תניב תוצאה אקראית לגמרי ולא ניתן לדעת מה באמת היה קיטובו לפני המדידה. כזכור, לאחר המדידה מצב הפוטון נהרס כליל, לא ניתן לחזור ולמדוד את הפוטון שנית. זהו חוק הפיזיקלי. מכניקה קוונטית פשוט אינה מאפשרת זאת, המדידה הורסת את מצב אי הוודאות של החלקיק.
[עריכה] העברת מפתח קוונטית
ניתן לנצל את התכונות הפיזיקליות האמורות לצורך הכנה ושיתוף של מפתח הצפנה סודי. נניח אליס משדרת לבוב באמצעות ערוץ אופטי מיוחד, זרם של פעימות פוטונים. כל פוטון מקוטב באופן אקראי באחד מארבעת הכיוונים האפשריים קרי: אופקי, אנכי, אלכסון-ימני או אלכסון-שמאלי. לבוב יש גלאי קיטוב. כאמור הוא יכול לכוון את בסיס הגלאי כך שימדוד קיטוב ישר זווית או קיטוב אלכסוני אך לא שניהם בו זמנית. הוא מחליט לבצע את המדידות באופן אקראי, כאשר עם כל מדידה הוא משנה את בסיס הגלאי. כעת אם בוב קבע את הגלאי באופן הנכון (בהתאם לבסיס הקיטוב שנקבע על ידי אליס) מדידתו תהיה נכונה, הוא יקבל את הקיטוב הנכון של הפוטון. אולם אם קבע בסיס שגוי, יקבל תוצאה אקראית.
לאחר שאליס שדרה די פוטונים לבוב, כל שעליהם לעשות הוא להתקשר זה עם זה בערוץ פתוח שאינו מאובטח (כגון בטלפון) ולהסכים ביניהם על סדר המדידות הנכון, עבור כל הפוטונים. אליס תיידע את בוב אילו מבין המדידות שביצע נכונות, כך שתוצאתם תהיה זהה אצל שניהם. אם בוב יפטר מכל הפוטונים שמדד באופן שגוי, יקבל זרם של פוטונים המקוטבים באופן זהה לזה של אליס. ניתן להכין מפתח הצפנה מתוך זרם הפוטונים אם מסכימים מראש על דרך המרתם לסיביות כגון פוטון אופקי או אלכסון-ימני שווה 1, פוטון אנכי או אלכסון שמאלי שווה 0. היות והתנהגות הפוטונים אקראית, יצליח בוב לבצע מדידה נכונה במחצית מן המקרים בממוצע, כך שניתן להמיר כמחצית מזרם הפוטונים למפתח הצפנה אפקטיבי. ליתר בטחון הם יכולים גם לוודא התאמה של רצף הסיביות שבידיהם, על ידי בדיקה מדגמית של כמה סיביות, באמצעות הערוץ הפתוח. מפתח ההצפנה שהופק מהפוטונים, יכול לשמש לאחר מכן להצפנה בטוחה בעזרת פנקס חד-פעמי. בכך הצליחו בוב ואליס לשתף מפתח להצפנה מושלמת, באופן בטוח לחלוטין.
[עריכה] הדגמה
[עריכה] בטיחות
הנקודה המעניינת בכל התהליך המתואר היא, שאיב (המצותת) אינה יכולה עם כל כח החישוב שבעולם ליירט את המפתח. כמובן שכמו בוב, גם איב יכולה לחבר גלאי לערוץ התקשורת שיקלוט את זרם הפוטונים שמשדרת אליס ולמדוד את קיטוביותם ולאחר מכן לשדרם הלאה לבוב. מן הסתם כמו בוב גם היא, כמחצית מן המדידות שתעשה יהיו נכונות. אולם זו בדיוק הבעיה, איב אינה מסוגלת לדעת מה סדר המדידות שיקבע בוב אצלו, כל שאיב יכולה לעשות הוא רק לנחש. כאשר כל מדידה של איב למעשה הורסת את מצב הפוטון באופן כזה שבוב עלול לקבל תוצאות שגויות גם במדידה בבסיס נכון. עובדה זו יוצרת בעיה לאיב, כיוון שבבדיקה שלאחר השידור בוב ואליס יכולים לזהות כי זרם הפוטונים שבידיהם אינו זהה, משמע מישהו צותת לערוץ. לדוגמה: על ידי חשיפת מספר מועט של סיביות בערוץ הפתוח, כדי לוודא כי הם זהים (סיביות אלו יוצאו מכלל סיביות מפתח ההצפנה), הם יעלו על כל ציתות אם בוצע בהסתברות גבוהה. הם יכולים לבחור בשיטות אחרות לבדיקת ההתאמה, כמו בדיקת זוגיות (Parity). קיימות שיטות התאמה מעל ערוץ פתוח, תוך חשיפה מינימלית של סיביות. בכל מקרה הרעיון הוא שבהצפנה קוונטית אין מושג כזה "ציתות פסיבי". מצותת המנסה לחלץ את סיביות המפתח מתוך הפוטונים, ישבש בהכרח את ערוץ התקשורת ויגרום לאי התאמה בין זרם הסיביות שבידי אליס ובוב.
[עריכה] מגבלות
על סמך תאוריות אלו בנו בנט וברסרד, מודל מעשי של העברת מפתח קוונטית ואף הצליחו לשתף סיביות מפתח בטוחות בעזרת שולחן לייזר. אולם כדי ליישם הצפנה קוונטית באופן מסחרי, דרושה תשתית מיוחדת ויקרה. מדובר על קישור בעזרת סיב אופטי. סיב אופטי מסוגל להעביר חלקיקי אור ממקום למקום גם בעיקולים. כאמור לא ניתן ליירט את חלקיקי האור באמצע הדרך ולמדוד את תכונותיהם מבלי לשבשם. בטכנולוגיה הנוכחית סיבים אופטיים מסוגלים להעביר חלקיקי אור למרחק מוגבל בלבד.
קיימות חברות המתמחות ביצור כבלים אופטיים המסוגלים לקשר מרחקים של עשרות או מאות קילומטרים. כאשר הטכנולוגיה הזו תתפתח בעתיד, יתכן שמרחק זה יוארך אף יותר באמצעות מתקני הגברה מיוחדים. נכון להיום הטכנולוגיה הזו עדיין בחיתוליה ועלותה גבוהה ביותר. מה שמונע ממרבית הצרכנים הפוטנציאליים למעט מספר משוגעים לדבר, מלנסות להשתמש בה.
ברוס שנייר קריפטוגרף בעל שם בינלאומי, מסתייג מהצפנה קוונטית ואף כינה אותה חסרת עתיד. הוא סבור כי למעשה הצורך בהצפנה קוונטית אינו בוער כפי שאולי נדמה. אין זה אומר כי היא אינה בטוחה, אלא רק שההצפנה המסורתית למעשה מספקת כיום את מירב הפתרונות הקריפטוגרפיים הדרושים מבחינה מתמטית וכי ההצפנה הקוונטית לא תחליף את השיטות המתמטיות המסורתיות לגמרי. כך שאין סיבה מיוחדת להשקיע הון בפיתוח שיטות יקרות שאינן נחוצות. הוא טוען כי קריפטוגרפיה אינה רק הצפנה, החלק המתמטי בכל העניין קטן יחסית. הוא המשיל זאת לאדם המנסה להגן על עצמו מפני אויב בכך שהוא נועץ עמוד גבוה ואיתן בקרקע ומקווה כי האויב יתקל בו. הדיון איזה גובה צריך להיות העמוד, מטר או אלף מטר מגוחך מאחר ומן הסתם האויב יעקוף את העמוד במקום להתקל בו. משל זה מחדד את העובדה כי קיימות כיום שיטות הצפנה טובות ואולי יש צורך להשקיע יותר במתן מענה לבעיות נלוות הקשורות בקריפטוגרפיה כמו אימות וזיהוי ובעיות אחרות שההצפנה הקוונטית מן הסתם לא תיתן מענה טוב יותר להן.
[עריכה] קישורים חיצוניים
- הסבר בסיסי כיצד עובדת הצפנה קוונטית ושזירה קוונטית.
- הצפנה קוונטית באמצעות שזירה קוונטית
- id Quantique חברה המתמחה בייצור חומרה המשתמשת בהצפנה קוונטית באמצעות פוטונים.
- הדגמה של פרוטוקול BB84 להעברת מפתח קוונטית האתר מכיל יישום ג'אווה המדגים פרוטוקול העברת מפתח קוונטי.
- המאמר של גילס ברסרד וצ'ארלס בנט המתאר יישום הצפנה קוונטית להעברת מפתח והטלת מטבע (מעבדות המחקר של IBM, דצמבר 1984).
- מאמר של גילס ברסרד המתאר טכניקות התאמה בשיטה פומבית של מפתח הצפנה
- הצפנה קוונטית של ארתור אקרט אוניברסיטת אוקספורד, אפריל 1991.
- אתר המסביר שיטה להעברת מפתח קוונטית למרחק 67 ק"מ באמצעות Plug&play
- מאמר ממגזין Scientific American "הסודות השמורים ביותר" (ינואר 2005).
- סימולטור של הצפנה קוונטית באמצעות תוכנת מחשב של פרננדו לוקס רודריגז


