האבטחה של Livara: הגבול של ההצפנה.
Livara 0.2 · בלי לנפח את ההגנה
איך Livara מגן על תוכן הודעות, אילו מטא-נתונים נשארים גלויים ואילו גבולות מציבים השחזור ואבטחת המכשיר. הפרוטוקולים המותאמים LVR1 ו-LGS1 לא עברו ביקורת אבטחה עצמאית.
אבני הבניין הקריפטוגרפיות
זהות הצפנה חסרה עוצרת שליחה מוגנת. קבוצה חדשה אינה נוצרת כמוצפנת עד שכל החברים מוכנים, וקבוצה ישנה לא תואמת נשארת מסומנת מחוץ להצפנה מקצה לקצה במקום לקבל תווית חזקה יותר. הממסר עדיין לומד את פרטי המעטפה: מי, מתי, מה הגודל והאם הגיע.
01 · הגבול
האם השרת יכול לקרוא?
הטבלה מתארת מסירת הודעות. עיבוד נפרד בבינה מלאכותית מכוסה במדיניות הפרטיות ובפקדים של הלקוח שבו משתמשים.
הערה ניתוב, חברות, חותמות זמן, מצב מסירה וטקסט מוצפן נשמרים כדי שמכשירים יוכלו להסתנכרן.
הערה האחסון הזה מאפשר להשלים מידע אחרי חיבור מחדש. זו פשרה, וזה הצד שמשלמים עליו.
| מה זה | שיחה ישירה בין שניים | קבוצות פרטיות תואמות | ערוצים |
|---|---|---|---|
| טקסט ההודעה | מוצפן במכשיר שלך | מוצפן מקצה לקצה (LGS1) | ערוצי שידור ציבוריים |
| עריכות טקסט | מוצפן במכשיר שלך | מוצפן מקצה לקצה (LGS1) | ערוצי שידור ציבוריים |
| תמונות, וידאו, קבצים וכיתובים | מוצפן לפני ההעלאה | מוצפן לפני ההעלאה | ערוצי שידור ציבוריים |
| עם מי דיברת | מטא-נתוני ניתוב בלבד | מטא-נתוני ניתוב בלבד | ערוצי שידור ציבוריים |
| מתי דיברת | חותמות זמן של מסירה בלבד | חותמות זמן של מסירה בלבד | ערוצי שידור ציבוריים |
| הסיסמה שלך | לעולם אינה עוזבת את המכשיר | לעולם אינה עוזבת את המכשיר | לעולם אינה עוזבת את המכשיר |
| המפתחות הפרטיים שלך | לעולם אינם מועלים ללא הצפנה | לעולם אינם מועלים ללא הצפנה | לעולם אינם מועלים ללא הצפנה |
02 · שיחות ישירות
איך הודעה מקבלת את המפתח שלה.
LVR1 מתחיל מחומר קלאסי ועמיד למחשוב קוונטי, ואז ממשיך להניע שני מנגנוני התקדמות מפתחות. הודעות רגילות מקדמות שרשראות חד-כיווניות זולות; תקופות ML-KEM מחזוריות מרעננות את השורש העמיד למחשוב קוונטי בלי לשאת לחיצת יד בת שלושה קילובייט בכל שליחה.
LVR1 בפירוט
אבני הבניין והפרמטרים שלמטה מתארים את התכנון. שימוש ברכיבים מוכרים אינו מאמת באופן עצמאי את אבטחת הפרוטוקול המלא.
- שורש קלאסי
- P-256 ECDH, מפתחות מוקדמים חתומים
- שורש עמיד למחשוב קוונטי
- ML-KEM-768, תקופות שמפתחותיהן מתחדשים במחזוריות
- ביסוס
- היברידי בסגנון X3DH, עם מפתחות חד-פעמיים כשהם זמינים
- התקדמות מפתחות
- שרשראות שליחה וקבלה עצמאיות
- צופן התוכן
- AES-256-GCM על תוכן וכותרת
- החזקת מפתחות
- נוצרים במכשיר; גיבויי שחזור מוצפנים לפני ההעלאה
- קבצים מצורפים
- מפתח אקראי לכל קובץ, המועבר בתוך המפגש
זהות
מפתח פרטי P-256 וזרע ML-KEM-768 נוצרים במכשיר ולעולם אינם מועלים בגלוי.
אימות מפתחות מוקדמים
הלקוח בודק מפתחות מוקדמים חתומים של P-256 ושל ML-KEM-768; מפתחות חד-פעמיים מוסיפים רעננות כשהם זמינים.
ביסוס
X3DH היברידי משלב כמה הסכמות P-256 עם סודות ML-KEM לשורשים עצמאיים, קלאסי ועמיד למחשוב קוונטי.
התקדמות מפתחות
שרשראות שליחה וקבלה חד-כיווניות מתקדמות אחרי כל הודעה; עדכוני תקופות ML-KEM מחזוריים מרעננים את השורש העמיד למחשוב קוונטי.
הצפנה
מפתח הודעה משולב עם שורש PQ הנוכחי, ואז AES-256-GCM מצפין ומאמת את התוכן והכותרת.
יצירה
כל חבר יוצר במכשיר שלו שרשרת שולח ומפתח חתימה להודעות הקבוצתיות שלו.
הפצה
מפתחות השולחים מועברים לחברים האחרים בתוך מפגשי LVR1 זוגיים העמידים למחשוב קוונטי.
קידום
כל הודעה גוזרת מהשרשרת מפתח AES-256-GCM חד-פעמי ונושאת את חתימת השולח.
החלפה
כשחברים מצטרפים או עוזבים, נוצרים ומופצים מפתחות שולח חדשים.
03 · קבוצות פרטיות ב-0.2
טקסט מוצפן אחד, לכל חבר.
הצפנת אותו טקסט בנפרד לכל חבר בקבוצה גדולה גדלה עם כל חבר. במקום זאת LGS1 נותן לכל שולח שרשרת חתומה אחת: המפתח מועבר ב-LVR1 זוגי, ואז טקסט מוצפן אחד, שאי אפשר לקרוא, מגיע לכל הקבוצה — עם מפתחות ייחודיים לקבצים מצורפים, כיתובים ושמות קבצים המוצפנים בתוכו.
LGS1 בפירוט
- שרשראות שולח
- שרשרת חתומה אחת לכל שולח, הודעה אחת בכל מיקום
- הפצת מפתחות
- מפתחות שולח מועברים בתוך מפגשי LVR1 זוגיים
- מפתח לכל הודעה
- מפתח AES-256-GCM חד-פעמי, הנגזר לכל מיקום
- אימות
- זהות חתימה P-256 לכל שולח
- שינוי חברות
- מפתחות השולח הישנים אינם משמשים להודעות חדשות; החברים מחליפים מפתחות
- מכסה
- טקסט · עריכות · כיתובים · שמות קבצים · מפתחות לקבצים מצורפים
04 · החלק הלא נוח
הצפנה מגינה על התוכן. היא אינה מסתירה את רשת הקשרים.
Livara שומר ומעבד מטא-נתונים תפעוליים למסירה ולסנכרון. הטבלה מתארת מסירת הודעות מוגנות, לא עיבוד נפרד בבינה מלאכותית. לפני שימוש בבינה מלאכותית עם תוכן צ׳אט, יש לבדוק את הפקדים ומדיניות הפרטיות של הלקוח שבו משתמשים.
| השרת רואה | השרת שומר | לא ניתן לקריאה במסירת הודעות מוגנות |
|---|---|---|
| מי מתקשר עם מי | רשומות הודעות, כטקסט מוצפן | הטקסט הגלוי של ההודעה |
| חברות בקבוצות ושיחות | טקסט מוצפן של LVR1 ושל LGS1 | תוכן מדיה שפוענח |
| חותמות זמן וגודלי טקסט מוצפן | אישורי קבלה, תגובות ועריכות | כיתובים ושמות קבצים |
| מצב מסירה וניתוב | סמן סנכרון לכל חשבון | מפתחות לקבצים מצורפים |
| עצם החיבור שלך ל-Livara | אסימוני התראות ורשומות אבטחה | הסיסמה שלך — הוכחת SRP בלבד |
קוד להגנת מטא-נתונים LSS1 קיים, אך אינו מחובר לשליחת הודעות רגילה. אין לספור אותו כהגנה פעילה להודעות הנוכחיות.
05 · גילוי נאות
מה ש-Livara לא טוען.
הרשימה קיימת כדי שלא יהיה צורך להסיק את הדברים ממה שחסר במקום אחר. אם משהו יוצא ממנה, זה משום שהוא הושק — לא משום שהניסוח השתפר.
לא מובטח כיום
שישה פריטים, ישירות ממודל האיומים שפורסם.
- אנונימיות של מטא-נתונים
- הצפנה מקצה לקצה לערוצים — אלה זרמי שידור ציבוריים
- הצפנה מקצה לקצה כשהקלטה אופציונלית בשרת פעילה
- הגנה על מכשיר לא נעול או שנפרץ
- שחזור בלי ביטוי השחזור
- הסתרת החיבור שלך ל-Livara מספק הרשת
טענות שאיננו מוכנים לטעון
מנוסחות כפי שדף שיווק היה רוצה לומר, ואז מחוקות בקו.
- שתוכן ערוץ הוא פרטי. ערוצים הם זרמי שידור ציבוריים מעצם תכנונם.
- שהשרת אינו שומר את מטא-נתוני הניתוב הדרושים למסירה ולסנכרון בזמן אמת.
- שאפשר לשחזר אחרי אובדן המכשיר וביטוי השחזור יחד.
- שלעולם אין צורך לבדוק מספרי אבטחה. השוואתם היא הדרך לאמת מפתח פנים אל פנים.
06 · זהות
להיכנס, ואז שוב להיכנס.
SRP מוכיח את ידיעת הסיסמה בלי להעביר אותה
באימות SRP, המכשיר מוכיח ידיעת הסיסמה בלי לשדר אותה עצמה. השרת שומר ערך אימות. זה אינו מגן על מכשיר או לקוח שנפרץ.
גיבוי המפתחות מוצפן לפני ההעלאה
מפתחות ההסכמה והחתימה P-256 וזרע ML-KEM מוצפנים במכשיר במפתח שחזור אקראי בן 256 סיביות. פורמט v7 מאמת את חבילת האלגוריתמים, תקופת הזהות והדור. הוא משחזר זהות, לא היסטוריית צ׳אט.
טביעות אצבע מאפשרות לבדוק את הצד השני
יש להשוות טביעות אצבע של מפתחות ציבוריים עם האדם שאיתו משוחחים בערוץ מהימן אחר. אם הן שונות באופן בלתי צפוי, יש לאמת את השינוי לפני שיתוף מידע רגיש.
השרת עדיין מחליט מי רשאי לפעול
בדיקות חברות ותפקידים שולטות בשיחות, העלאות, אישורי קבלה, עריכות, מחיקות ופעולות בזמן אמת. זו סמכות שרת, לא קריפטוגרפיה — ולכן היא מופיעה בנפרד.
סיסמה לעולם אינה עוזבת את המכשיר
הוכחה מחושבת מקומית ומוחלפת עם השרת
שרת מחזיק ערך אימות, לא את הסיסמה שלך
תוצאה מאומת — והסוד מעולם לא עבר בקו
זהות שם משתמש. לא SIM, מפעיל סלולרי או מדינה.
אימות SRP נפרד מהצפנת הודעות. סיסמה לבדה אינה פותחת גיבוי זהות מוצפן; שחזורו דורש את ביטוי השחזור שלך. מכשיר או לקוח שנפרץ נשאר מחוץ להגנות האלה.
שאלות
חמש השאלות הנפוצות ביותר.
אילו שיחות Livara מוצפנות מקצה לקצה?
הודעות ישירות ושיחות בקבוצות פרטיות תואמות מוצפנות מקצה לקצה במכשיר שלך. שיחות ישירות משתמשות במנגנון התקדמות המפתחות LVR1 ההיברידי העמיד למחשוב קוונטי; קבוצות תואמות משתמשות במפתחות שולח LGS1 לטקסט, עריכות, תמונות, סרטונים, קבצים והודעות קוליות. קבוצות ישנות לא תואמות נשארות מסומנות מחוץ להצפנה מקצה לקצה.
אם נכנסים בטלפון חדש, מפתחות השיחה הישירה חוזרים?
לא מעצמם. גיבוי המפתחות המוצפן נפתח רק עם מפתח השחזור המיוצג בביטוי השחזור שלך. סיסמה נכונה אינה מספיקה — במכוון: אם סיסמה לבדה הייתה משחזרת את המפתחות, היא לבדה הייתה יכולה גם למסור אותם לאחר.
האם Livara מסתיר עם מי אני מדבר?
לא. המסירה מנתבת חבילות מוצפנות בעזרת השולח, היעד וחותמות הזמן, ומטא-נתוני הניתוב נשמרים כדי שהמכשירים שלך יסתנכרנו. התראות לנייד על הודעות מוצפנות אינן נושאות פרטי הודעה או שמות.
איך פועלת הצפנת קבוצות ומה היא מכסה?
כל חבר יוצר שרשרת שולח ומשתף את המפתח עם האחרים במפגשי LVR1 מוצפנים בזוגות. טקסט קבוצה, עריכות, מדיה, קבצים והודעות קוליות מוצפנים במכשיר השולח לפני שהם עוזבים אותו. בהצטרפות או בעזיבה של חברים מחליפים מפתחות.
איך מוגנות שיחות ישירות וקבוצתיות?
שיחות ישירות וקבוצתיות משתמשות בהצפנה מקצה לקצה לאודיו, וידאו ושיתוף מסך. הקלטה אופציונלית בשרת היא מצב נפרד: כאשר מצב REC הגלוי פועל, השיחה משתמשת בהצפנת תעבורה במקום בהצפנה מקצה לקצה.
לא צריך לקבל את הדף הזה על סמך אמון בלבד
עכשיו כדאי לבדוק.
אפשר להפעיל את ההדגמות במעבדת האימות, לקרוא את הסברי האבטחה או לפתוח את היישומון ולהשוות טביעת אצבע של מפתח עם איש הקשר בערוץ מהימן אחר.