פונקציה חד-כיוונית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
פונקציה חד כיוונית

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

ביתר פירוט, בהינתן קלט כלשהו , קל לחשב את הפלט על ידי הפעלת הפונקציה החד-כיוונית בזמן פולינומי, דהיינו במהירות וביעילות אולם הפעולה ההפוכה שהיא בהינתן הפלט שחזור הקלט הוא משימה קשה חישובית. בניסוח פורמלי לא קיים אלגוריתם פולינומי הסתברותי המקבל את ומצליח למצוא אלא בהסתברות זניחה. הקושי החישובי בהיפוך הפונקציה מודד את כח החישוב הדרוש כדי למצוא זוג של (קלט,פלט) מתאימים, אך אינו אומר דבר על מידע חלקי הזולג מהפונקציה. סיבית שהסיכוי לחשב אותה הוא זניח בהינתן נקראת סיבית קשה.

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

הפונקציות הקיימות כיום בשימוש מעשי נחשבות למועמדות טובות במובן שטרם נמצאה דרך קלה להפוך אותן. למשל AES נחשב לפונקציה חד-כיוונית אם כי לא הוכח תיאורתית והוא אחד האלגוריתמים הנפוצים ביותר בהצפנה מודרנית. מהיבט תיאורטי ניתן לבנות פונקציה חד-כיוונית מוכחת תחת מודל ביטחון אסימפטוטי או אחר אולם חסרונה הוא שיעילותה נמוכה בהשוואה לפונקציות הקיימות בשימוש מעשי. הבעיה העיקרית בקריפטוגרפיה מודרנית היא לגשר על הפער בין הוכחות תיאורטיות לבין יישום מעשי יעיל.

הגדרה[עריכת קוד מקור | עריכה]

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

  1. בוחרים את הקלט ומחשבים את .
  2. האלגוריתם מקבל כקלט את ואת ומפיק את .
  3. תוצאת הניסוי תהיה '1' (המייצג הצלחה) אם אחרת התוצאה היא '0'.

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

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

הסבר[עריכת קוד מקור | עריכה]

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

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

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

פרמוטציה חד-כיוונית[עריכת קוד מקור | עריכה]

לעיתים יש צורך בפונקציה חד-כיוונית עם תכונה מבנית נוספת. אם הפונקציה משמרת אורך כלומר עבור כל והפונקציה היא חד-חד-ערכית ועל היא נקראת פרמוטציה (תמורה). בניסוח פורמלי:

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

בניגוד לפונקציה חד-כיוונית בפרמוטציה חד-כיוונית עבור כל קיים רק מקור יחיד לכן . המשמעות היא ש- למעשה מכיל מידע לגבי ולמרות זאת עדיין קשה למצוא אותו.

משפחה של פונקציות חד-כיווניות[עריכת קוד מקור | עריכה]

ההגדרה של פונקציה או תמורה חד-כיוונית לא מטיבה לתאר את הפונקציות או התמורות החד-כיווניות המועמדות בפועל, כי היא מדברת על פונקציה יחידה מעל מקור ותמונה אין סופיים. הגדרה יותר קולעת היא שקיים אלגוריתם המפיק פרמטר כלשהו המגדיר פונקציה/תמורה כלשהי מעל מקור כלשהו , כך שהיא תהיה חד-כיוונית כעמט לגמרי למעט היסתברות זניחה מעל . בגלל שכל ערך של מגדיר פונקציה אחרת אפשר להתייחס אליה כאל "משפחה" של פונקציות/תמורות חד-כיווניות. ההגדרה כעת בניסוח פורמלי היא, השלישייה המייצגת אלגוריתם פולינומי היסתברותי, נקראת משפחה של פונקציות אם:

  1. אלגוריתם ההכנה Gen מפיק פרמטר כך שמתקיים שמגדיר את המקור ותמונה של הפונקציה המוגדרת להלן.
  2. אלגוריתם הדגימה Samp פולט בהינתן אלמנט מתוך בהיתפלגות אחידה למעט היסתברות זניחה ביחס ל-
  3. אלגוריתם ההערכה , בהינתן ו- פולט את האלמנט . מציינים זאת על ידי .

באופן דומה כדי לקבל הגדרה של משפחה של תמורות, ההבדלים הם שבתמורות והפונקציה היא חד-חד-ערכית ועל. היתר זהה. כעת הניסוי משתנה בהתאם:

  1. תחילה מריצים את Gen כדי להפיק את ואז את הפונקציה כדי לקבל את ואז מחשבים את .
  2. האלגוריתם מקבל את ואת ומפיק את .
  3. תוצאת הניסוי היא '1' אם .

פונקציה חד-כיוונית במובן החלש[עריכת קוד מקור | עריכה]

ניתן להגדיר פונקציה חד-כיוונית במובן חלש, שהא פונקציה הניתנת לחישוב בזמן פולינומי, והעונה לתנאי הבא:

  • לכל מכונת-טיורינג מטילת מטבעות ולכל קבוע , עבור קלטים ארוכים מספיק , מתקיים, [1].

ניתן להראות שקיומה של פונקציה חד-כיוונית במובן החלש מעיד על קיומה של פונקציה חד-כיוונית במובן החזק, כלומר, בעזרת פונקציה חד-כיוונית במובן חלש, ניתן לבנות פונקציה חד-כיוונית במובן החזק[דרוש מקור].

מועמדים לפונקציה חד-כיוונית[עריכת קוד מקור | עריכה]

קיומן של פונקציות חד-כיווניות מחייב שקיימות בעיות חישוביות אשר שייכות ל-NP ואינן שייכות ל-BPP (מחלקת הבעיות אשר ניתנות לפתרון בזמן ריצה פולינומי עם אלגוריתמים אקראיים), מאחר שלא ידוע האם (שאלה מעט יותר חלשה, ומפורסמת יותר, היא האם P=NP), לא ניתן להצביע על קיומן של פונקציות כאלה. יתר על כן, ייתכן ש-, ובכל זאת לא יהיו קיימות פונקציות חד כיווניות. (כיוון שנדרש מהן שהיפוכן קשה במקרה הממוצע ולא רק במקרה הקשה). דרך פרקטית להגדיר פונקציה חד-כיוונית היא פונקציה חד-כיוונית חישובית המבוססת על ההשערה שלא קיים אלגוריתם פולינומי המסוגל להפוך אותה ביעילות.

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

דוגמה אחרת היא בעיית תרמיל הגב שאינה קשורה ישירות לתורת המספרים שידועה כבעיה NP-קשה עליה מבוססת הצפנת תרמיל. נתונה סדרה של שלמים לא בהכרח בסדר עולה ונתון שלם כלשהו, בעיית התרמיל היא למצוא תת-סדרה של שסכומה הוא . החד כיווניות נובעת מהעובדה שבעוד שבחירת תת-סדרה וחישוב סכומה היא משימה קלה, הרי שבכיוון ההפוך בהינתן ערך כלשהו, מציאת תת-הסדרה שסכומה שווה לערך זה בדיוק, היא משימה קשה. יש לציין שאין זו הוכחה ש- וזה לא מעיד בהכרח שפונקציה חד-כיוונית קיימת, אלא שבעיית התרמיל לא ניתנת לפתרון בקרה הגרוע בזמן פולינומי, בעוד שפונקציה חד-כיוונית נדרשת שתהיה בלתי הפיכה "כמעט תמיד". הטענה שפונקציית תרמיל-הגב האמורה חד-כיוונית מסתמכת רק על כך שלא ידוע על אלגוריתם טוב הפותר את הבעיה בזמן פולינומי ולא על ההנחה שהבעיה הכללית היא NP-קשה.

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

שימושים[עריכת קוד מקור | עריכה]

הצפנת מפתח ציבורי[עריכת קוד מקור | עריכה]

הצפנה בשיטת מפתח ציבורי (Public Key Encryption), שמכונה גם הצפנה א-סימטרית, עושה שימוש בפונקציות חד-כיווניות מסוג מסוים, פונקציות מלכודת חד-כיווניות (Trapdoor one-way function). לפונקציות אלה התכונה שישנו מידע אשר ידוע רק לנמען המורשה של ההודעה (המפתח הפרטי) שבעזרתו קל לחשב את הפונקציה ההופכית, כלומר לבצע את פענוח ההודעה המוצפנת. מי שאין בידו המידע הזה ומנסה לפענח את ההודעה המוצפנת, עומדת לפניו משימה חישובית קשה מאוד. אלגוריתם RSA הנזכר לעיל עושה שימוש בפונקציה מסוג זה.

העברת סיסמה מוצפנת[עריכת קוד מקור | עריכה]

מקובל להשתמש בפונקציית גיבוב חד-כיוונית כדי להעביר סיסמה למחשב המאמת (השרת). דוגמה: השרת המאמת שולח משפט למחשב ברשת, זה האחרון לוקח את המשפט, מוסיף אליו את הסיסמה לאימות ומעביר אותם לפונקציית גיבוב חד-כיוונית. את הפלט (המהווה הסיסמה המוצפנת) הוא שולח לשרת. השרת מבצע את אותה הפעולה בדיוק. במידה ושני הפלטים זהים - יאשר השרת כי הסיסמה נכונה.

ראו גם[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Oded Goldreich (2001). Foundations of Cryptography: Volume 1, Basic Tools. Cambridge University Press. פרקים מהספר באתר המחבר
  • Jonathan Katz and Yehuda Lindell (2007). Introduction to Modern Cryptography.

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ שגיאת ציטוט: תג <ref> לא תקין; לא נכתב טקסט עבור הערות השוליים בשם הסתברות כל הקלטים