פרוטוקול Arpokrat פרטיות באמצעות ארכיטקטורה.

בנוי על גבי SimpleX

Arpokrat Messenger לא ממציאה קריפטוגרפיה סודית משלה — היא בנויה על גבי SimpleX, רשת ההודעות הראשונה ללא מזהי משתמש.

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

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

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

אתם מפתח, לא חשבון

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

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

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

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

שרתים שנבנו לא לדעת כלום

שרתים מסורתיים הם “חכמים” — הם יודעים מי אתם ומנתבים לפי מסד נתונים. הממסרים של Arpokrat הם ההפך המכוון.

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

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

הצפנה עם אופק קוונטי

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

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

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

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

למה זה חשוב: Harvest Now, Decrypt Later

ההשקעה בפוסט-קוונטיות עונה על איום קונקרטי וקיים כיום — לא היפותטי.

יריב בעל משאבים רבים יכול להקליט תעבורה מוצפנת כבר היום ופשוט לאחסן אותה, בהמתנה ליום שבו מחשוב קוונטי יוכל לפרוץ את ההצפנה. כל דבר שנקלט היום עשוי להיות מפוענח שנים לאחר מכן. חוקרי אבטחה מכנים זאת “Harvest Now, Decrypt Later”.

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

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