Go ספינות עם סדרה שלמה של חבילות הצפנה בספרייה הסטנדרטית כדי לעזור למפתחים לבנות יישומים מאובטחים. כדי להשלים ביקורת של קבוצת היסוד של חבילות אשר גם מאושרים כחלק של הבדיקה הביאה למסקנה אחת בעלת חשיבות נמוכה, בעבר ובלתי נתמכת פרטים נוספים: ניתן למצוא את הטקסט המלא של הדוח . מסלול Bits מודול FIPS 140-3 Go+BoringCrypto אינטגרציה כאן תחום האו"ם כולל יישומי חילופי מפתח (ECDH ו- post-quantum ML-KEM), חתימה דיגיטלית (ECDSA, RSA, ו- Ed25519), הצפנה (AES-GCM, AES-CBC, ו- AES-CTR), חיתוך (SHA-1, SHA-2, ו- SHA-3), תוצרת מפתח (HKDF ו- PBKDF2), ואימות (HMAC), כמו גם גנרטור מספרים אקראיים. יישומים ברמה נמוכה של ערכים שלמים גדולים ואליפטיים, עם ליבות האיסוף הרגישים שלהם, נכללו. אנו גאים בהיסטוריה של אבטחה של חבילות הצפנה של Go, והתוצאה של בדיקה זו, אשר היא רק אחת מהדרכים רבות שבהן אנו מרוויחים ביטחון לגבי הדיוק של החבילות. כך, למשל, אנו מעדיפים אבטחה על פני ביצועים. עם מגוון של טכניקות שונות.אנחנו עושים נקודה של ניצול API מאובטח אפילו עבור חבילות פנימיות, וכמובן אנחנו יכולים לסמוך על תכונות השפה Go כדי למנוע בעיות ניהול הזיכרון. עקרונות קריפטוגרפיה בודקים אותם היטב תגית: low severity finding הבעיה הפוטנציאלית היחידה, TOB-GOCL-3, היא כלומר, היה לו השפעה קטנה וקשה להפעיל בעיה זו נפתרה ב- Go 1.24. קשיחות נמוכה תגיות קשורות תגיות קשורות תגיות קשורות תגיות קשורות תגיות קשורות תגיות קשורות תגיות קשורות ( • ניהול הזיכרון בניהול , אשר אינו מופעל כברירת מחדל ואינו נתמך לשימוש מחוץ ל- Google. נדון בהמשך למטה עקבו אחרי BoringCrypto GoExperiment 5 תוצאות מידע הממצאים הנותרים הם משמעות הדבר היא שהם אינם מהווים סיכון מיידי אך רלוונטיים למדיניות האבטחה הטובה ביותר. מידע ממצאי TOB-GOCL-1, TOB-GOCL-2 ו- TOB-GOCL-6 מתייחסים לערוצים זמניים אפשריים בפעולות קריפטוגרפיות שונות. מתוך שלושת הממצאים הללו, רק TOB-GOCL-2 משפיע על פעולות שהיו צפויות להיות קבועות בזמן עקב הפעלת ערכים סודיים, אך זה משפיע רק על היעדים של Power ISA (GOARCH ppc64 ו- ppc64le). TOB-GOCL-4 מדגיש את הסיכון לשימוש לרעה ב-API פנימי, אם הוא ישמש מחדש מעבר למקרה השימוש הנוכחי שלו. ערוצים זמניים הממצאים TOB-GOCL-1, TOB-GOCL-2 ו- TOB-GOCL-6 מתייחסים לערוצים זמניים קטנים יותר.TOB-GOCL-1 ו- TOB-GOCL-6 קשורים לתפקידים שאיננו משתמשים בהם עבור ערכים רגישים, אך עשויים לשמש עבור ערכים כאלה בעתיד, ו- TOB-GOCL-2 קשור ליישום ההרכבה של P-256 ECDSA על Power ISA. : ההמרה מאבטים אלמנטים שדה אינה קבועה בזמן (TOB-GOCL-1) crypto/ecdh,crypto/ecdsa יישום פנימי של קווי האליפטי של NIST סיפק שיטה להמיר אלמנטים שדה בין ייצוג פנימי וחיצוני אשר פעלו בזמן משתנה. כל השימוש בשיטה זו פעל על כניסות ציבוריות שאינן נחשבות לסודיות (ערכים ציבוריים של ECDH, ומפתחות ציבוריות של ECDSA), ולכן קבענו שזה לא היה בעיה של אבטחה. , על מנת למנוע שימוש בטעות בשיטה זו בעתיד עם ערכים סודיים, וכדי שלא נצטרך לחשוב אם זה בעיה או לא. להפוך את השיטה זמן קבוע בכל מקרה P-256 הכחשה תנאי אינה זמן קבוע במערך כוח ISA (TOB-GOCL-2, CVE-2025-22866) crypto/ecdsa מעבר ל , Go תומך גם במספר פלטפורמות נוספות, כולל כמה ארכיטקטורות פחות נפוצות.במהלך סקירת יישומי ההרכבה שלנו של פרימיטיביות קריפטוגרפיות שונות הבסיסיות, הצוות של Trail of Bits מצא בעיה אחת המשפיעה על יישום ECDSA על ארכיטקטורות ppc64 ו- ppc64le. פלטפורמות First Class Go הודות לשימוש בהוראת פירוק תנאי ביישום הכחשת התנאי של P-256 נקודות, הפונקציה פעלה בזמן משתנה, ולא בזמן קבוע, כצפוי. עם דפוס שאנחנו כבר משתמשים במקום אחר כדי לבחור בתנאים את התוצאה הנכונה בזמן קבוע. להחליף את הוראת הענף התנאי כדי להעניק עדיפות לקוד שמגיע לרוב המשתמשים שלנו, ובגלל הידע המיוחד הנדרש כדי למקד ISAs ספציפיים, אנו בדרך כלל מסתמכים על תרומות הקהילה כדי לשמור על הרכבה עבור פלטפורמות שאינן ברמה הראשונה. Scalar.SetCanonicalBytes הוא לא זמן קבוע (TOB-GOCL-6) crypto/ed25519 החבילה הפנימית של edwards25519 סיפקה שיטה להמיר בין ייצוג פנימי וחיצוני של סקלרים הפועלים בזמן משתנה. שיטה זו שימשה רק על כניסות חתימה ל- ed25519.Verify, אשר אינן נחשבות לסודיות, ולכן קבענו שזו לא בעיה של אבטחה. , על מנת למנוע שימוש בטעות בשיטה זו בעתיד עם ערכים סודיים, ומכיוון שאנחנו מודעים לכך שאנשים מגלים את הקוד הזה מחוץ לספריה הסטנדרטית, ואולי משתמשים בו עם ערכים סודיים. להפוך את השיטה זמן קבוע בכל מקרה ניהול זיכרון CGO מציאת TOB-GOCL-3 מתייחסת לבעיה של ניהול זיכרון באינטגרציה של Go+BoringCrypto. סיום מותאם אישית עשוי לשחרר זיכרון בתחילת שיחת פונקציה C באמצעות זיכרון זה (TOB-GOCL-3) crypto/ecdh במהלך הביקורת, היו מספר שאלות בנוגע לאינטגרציה Go+BoringCrypto המבוססת על cgo שלנו, המספקת מצב הצפנה תואם FIPS 140-2 לשימוש פנימי ב- Google. צוות Trail of Bits מצא פגיעה אחת מכיוון שהצוות של Go אינו תומך בשימוש בקוד זה מחוץ ל-Google, בחרנו לא להוציא רשומה של מסד נתונים של פגיעות CVE או Go עבור בעיה זו, אבל אנחנו . באג רלוונטי לאבטחה תגיות קשורות Go 1.24 סוג זה של מלכודת הוא אחד הסיבות רבות שאנחנו החליטו לעזוב את Go+BoringCrypto אינטגרציה. היא משתמשת בחבילות הצפנת Go טהורות רגילות, ומאפשרת לנו להימנע מסמינטיקת cgo מורכבת לטובת מודל הזיכרון המסורתי של Go. תגית: FIPS 140-3 השלמות היישום הממצאים TOB-GOCL-4 ו- TOB-GOCL-5 מתייחסים ליישום מוגבל של שתי ספציפיות, ו . תגיותNIST SP 800-90A RFC 8018 CTR_DRBG API מציג סיכונים מרובים של שימוש לרעה (TOB-GOCL-4) crypto/internal/fips140/drbg כחלק מן כפי שאנו מציגים, היינו זקוקים ליישום של NIST CTR_DRBG (יוצר ביט אקראי דטרמיסטי מבוסס AES-CTR) כדי לספק אקראי תואם. תגית: FIPS 140-3 מכיוון שאנחנו זקוקים רק למספר קטן של הפונקציונליות של NIST SP 800-90A Rev. 1 CTR_DRBG למטרות שלנו, לא היינו מיישמים את המפרט המלא, ובמיוחד חוסר הפונקציונליות של הפונקציונליות של הפריבציה ואת שורות ההתאמה אישית. מאחר שההפעלה שלנו מוגבלת בקפדנות למקרה השימוש הספציפי שאנחנו צריכים, ומכיוון שההפעלה אינה מיוצאת באופן ציבורי, קבענו כי זה היה מקובל וראוי לצמצם את המורכבות של ההפעלה. זה מפרט את המגבלות האלה. הוספת אזהרה לתיעוד PBKDF2 אינו מחייב מגבלות אורך הפצה (TOB-GOCL-5) crypto/pbkdf2 ב Go 1.24, התחלנו את תהליך העברת חבילות מ הסתיימה דפוס מבולבל שבו חבילות הצפנה ראשונות, באיכות גבוהה ויציבות של Go נשמרו מחוץ לספרייה הסטנדרטית ללא סיבה ספציפית. golang.org / x / קריפטו כחלק מהתהליך הזה, עברנו את חבילה לתוך הספרייה הסטנדרטית, כקריפטו/pbkdf2.במהלך סקירת חבילה זו, צוות Trail of Bits הבחין כי לא ביצענו את הגבול על גודל המפתחות המשויכות המוגדרים ב . golang.org/x/קריפטו/pbkdf2 RFC 8018 הגבול הוא כאשר משתמשים ב- SHA-256, מעבר לגבול ייקח מפתח של יותר מ-137GB. אנחנו לא מצפים שאף אחד ישתמש ב- PBKDF2 כדי ליצור מפתח גדול כל כך, במיוחד משום ש- PBKDF2 פועל את התהליכים בכל בלוק, אבל למען הדיוק, אנחנו . (2^32 - 1) * <hash length> כעת יש להחיל את הגבול כפי שהוגדר על-ידי הסטנדרט מה הבא התוצאות של בדיקה זו מאשרים את המאמץ שהצוות של Go השקיע בפיתוח ספריות קריפטוגרפיה איכותיות וקלות לשימוש, והן צריכות לספק אמון למשתמשים שלנו שמסתמכים עליהם כדי לבנות תוכנה מאובטחת ובטוחה. אנחנו לא שוכבים על הלורדים שלנו, עם זאת: התורמים של Go ממשיכים לפתח ולשפר את ספריות ההצפנה שאנו מספקים למשתמשים. Go 1.24 כולל כעת מצב FIPS 140-3 כתוב ב- Go טהור, אשר מתבצע כרגע בדיקות CMVP. זה יספק מצב תואם FIPS 140-3 נתמך עבור כל המשתמשים של Go, להחליף את אינטגרציה Go+BoringCrypto שאינה נתמכת כרגע. אנו גם עובדים על יישום של קריפטוגרפיה פוסט-קוונטית מודרנית, והציגה יישום ML-KEM-768 ו- ML-KEM-1024 ב- Go 1.24 , והוספת תמיכה לחבילת crypto/tls עבור חילופי המפתח היברידי X25519MLKEM768 . חבילת Crypto/mlkem לבסוף, אנו מתכננים להציג APIs קריפטוגרפיות ברמה גבוהה, הקלים ביותר לשימוש, שנועדו להפחית את המכשול לבחירה ולהשתמש באלגוריתם באיכות גבוהה במקרים בסיסיים של שימוש.אנו מתכננים להתחיל עם הצעת API פשוטה של חיתוך סיסמאות, אשר מסירה את הצורך למשתמשים להחליט על איזה מתוך המוני האלגורימים האפשריים הם צריכים לסמוך, עם מנגנונים כדי לעבור אוטומטית אל אלגוריתם חדש יותר כמו השינויים המודרניים. רונלד שואמר ופיליפפו ואלסורדה מאמר זה זמין באתר The Go Blog תחת רישיון CC BY 4.0 DEED. הבלוג Go הבלוג Go צילום: Batyrkhan Shalgimbekov באתר Unsplash באטירכאן שאלג'ימבקוב Unsplash

Try and Download Go 

Read My Stories

האודיו הזה מופק בשפת המקור של הסיפור!

חבילות קריפטוגרפיה של Go נבדקו: התוצאות

About Author

הערות

תלו תגים

מאמר זה הוצג ב

Related Stories

The TechBeat: Everything You Need to Know to Implement Generative AI for Your Enterprise (3/12/2024)

The TechBeat: Investigating Internet Freedom: Unseen Aspects of Our Online Existence (1/20/2024)

The TechBeat: Investigating Internet Freedom: Unseen Aspects of Our Online Existence (1/22/2024)

The TechBeat: Python's Testing Playbook: Building Bulletproof Code (1/18/2024)

The TechBeat: Everything You Need to Know to Implement Generative AI for Your Enterprise (3/12/2024)

The TechBeat: Investigating Internet Freedom: Unseen Aspects of Our Online Existence (1/20/2024)

The TechBeat: Investigating Internet Freedom: Unseen Aspects of Our Online Existence (1/22/2024)

The TechBeat: Python's Testing Playbook: Building Bulletproof Code (1/18/2024)

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps