ביום רביעי פרסם צוות הכולל את טרבור פרין, שותף-יוצר של פרוטוקול Signal, וכן חוקרים מהרווארד ומ-Microsoft Research, גרסת תצוגה מקדימה של Encrypted Spaces. מדובר בספריית תשתית בקוד פתוח שמספקת למפתחים את אבני הבניין הקריפטוגרפיות ליצירת אפליקציות שיתוף פעולה שבהן השרת לעולם אינו נחשף לתוכן לא מוצפן .

כך פועל “מרחב מוצפן”

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

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

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

הוכחות ללא ידיעת התוכן: לסמוך, אבל לבדוק

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

מאפיין המכונה “roll-up” מאפשר לשרת להפיק הוכחה קומפקטית אחת לכך שמצב מרחב העבודה הנוכחי אכן משקף את כל היסטוריית השינויים — בלי לשלוח לכל מכשיר כל רשומה בנפרד . התוצאה היא מרחב שיתוף פעולה שניתן לבדוק את עקביותו, אף שהשרת עצמו אינו רואה את המידע שהוא מעביר.

מה המפתחים מקבלים בפועל?

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

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

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

מדוע ההשקה מגיעה בזמן משמעותי?

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

• הוויכוח על מעקב ו”דלתות אחוריות”: ממשלות מרחיבות בהדרגה תוכניות מעקב, והיוזמות לחייב חברות לאפשר גישה לתוכן מוצפן ממשיכות לעורר חשש. Encrypted Spaces מנסה לשנות את נקודת הכשל: אם השרת אינו מחזיק את התוכן המפוענח, הגישה אליו אמורה להיות בלתי אפשרית מבחינה מתמטית .
• הנזק הגובר מפריצות: פלטפורמות שיתוף פעולה הפכו למאגרי מידע עשירים ולכן גם ליעדים אטרקטיביים למתקפות כופר ולגניבת מידע. ארגונים בתחומים מפוקחים, כמו בריאות, פיננסים ומשפטים, נאלצו לא פעם לבחור בין פונקציונליות מתקדמת לבין מודל אבטחה שיכול לעמוד בפריצה לשרת .
• רוח גבית רגולטורית: האכיפה המחמירה יותר של כללי הגנת המידע באיחוד האירופי העלתה את פרטיות המידע לדיון ברמת ההנהלה. עבור מנהלי טכנולוגיה, הצפנה מקצה לקצה נתפסת יותר ויותר כדרישה מעשית — ולא כמגבלה שמחסלת את השימושיות .

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

ביום רביעי פרסם צוות הכולל את טרבור פרין, שותף-יוצר של פרוטוקול Signal, וכן חוקרים מהרווארד ומ-Microsoft Research, גרסת תצוגה מקדימה של Encrypted Spaces. מדובר בספריית תשתית בקוד פתוח שמספקת למפתחים את אבני הבניין הקריפטוגרפיות ליצירת אפליקציות שיתוף פעולה שבהן השרת לעולם אינו נחשף לתוכן לא מוצפן .

כך פועל “מרחב מוצפן”

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

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

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

הוכחות ללא ידיעת התוכן: לסמוך, אבל לבדוק

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

מאפיין המכונה “roll-up” מאפשר לשרת להפיק הוכחה קומפקטית אחת לכך שמצב מרחב העבודה הנוכחי אכן משקף את כל היסטוריית השינויים — בלי לשלוח לכל מכשיר כל רשומה בנפרד . התוצאה היא מרחב שיתוף פעולה שניתן לבדוק את עקביותו, אף שהשרת עצמו אינו רואה את המידע שהוא מעביר.

מה המפתחים מקבלים בפועל?

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

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

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

מדוע ההשקה מגיעה בזמן משמעותי?

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

• הוויכוח על מעקב ו”דלתות אחוריות”: ממשלות מרחיבות בהדרגה תוכניות מעקב, והיוזמות לחייב חברות לאפשר גישה לתוכן מוצפן ממשיכות לעורר חשש. Encrypted Spaces מנסה לשנות את נקודת הכשל: אם השרת אינו מחזיק את התוכן המפוענח, הגישה אליו אמורה להיות בלתי אפשרית מבחינה מתמטית .
• הנזק הגובר מפריצות: פלטפורמות שיתוף פעולה הפכו למאגרי מידע עשירים ולכן גם ליעדים אטרקטיביים למתקפות כופר ולגניבת מידע. ארגונים בתחומים מפוקחים, כמו בריאות, פיננסים ומשפטים, נאלצו לא פעם לבחור בין פונקציונליות מתקדמת לבין מודל אבטחה שיכול לעמוד בפריצה לשרת .
• רוח גבית רגולטורית: האכיפה המחמירה יותר של כללי הגנת המידע באיחוד האירופי העלתה את פרטיות המידע לדיון ברמת ההנהלה. עבור מנהלי טכנולוגיה, הצפנה מקצה לקצה נתפסת יותר ויותר כדרישה מעשית — ולא כמגבלה שמחסלת את השימושיות .

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