מה אטסטציה מוכיחה, ומה לא

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

הבדיקה, לפי הסדר

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

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

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

מה מראה בדיקה שעברה

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

איפה היא נעצרת

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

סביבת העבודה כן מנסה לבדוק גם את המובלעת של המודל, ומציינת בקבלה של כל תשובה מה מצאה. כיום הבדיקה הזו לעיתים קרובות לא יכולה להסתיים בדפדפן. המאמת של Tinfoil לדפדפן קורא רק דוחות AMD SEV-SNP, והמובלעות של Kimi K3, GPT-OSS 120B ו־DeepSeek V4.1 Flash, וכן רוב המובלעות של Gemma 4 31B, רצות על Intel TDX, ולכן בקבלות שלהן כתוב שעדיין אי אפשר לבדוק אותן בדפדפן. חלק ממובלעות SEV-SNP, ובהן זו של GLM-5.3, מדווחות על גרסת מעבד שהמאמת עוד לא מקבל, ומוצגות כלא מאושרות. אף אחד מהמצבים האלה לא אומר שהמובלעת פגומה; המשמעות היא שהדפדפן לא הצליח להראות שהיא תקינה. הממצאים האלה נכונים ל־28 באוקטובר 2026.

שני דברים שבדיקה לא יכולה לכסות

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

בדקו בעצמכם

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