تصادمات التجزئة والاستغلالات

بقلم Ange Albertini و Marc Stevens.

FAQ (TL;DR)

س: هل من الممكن جعل ملف يحصل على تجزئة اعتباطية MD2/MD4/MD5/MD6/SHA1/SHA2/SHA3، أو على نفس تجزئة ملف آخر؟
ج: لا.

س: هل يمكن إنشاء ملفين مختلفين لهما نفس التجزئة؟
ج: مع MD5، في بضع ثوانٍ على حاسوب عادي. مع SHA1، الأمر ممكن لكنه غير عملي للمستخدمين النهائيين (التعقيد: 2^61.2 السعر: $11k).

س: هل يمكن جعل ملفين مختلفين يحصلان على نفس التجزئة بإلحاق بيانات؟
ج: مع MD5، في بضع ساعات على حاسوب عادي. مع SHA1، الأمر ممكن لكنه غير عملي للمستخدمين النهائيين (التعقيد: 2^63.4 السعر: $45K).

س: هل سيظل الملفان صالحَين؟
ج: بشكل عام، نعم، لأن معظم تنسيقات الملفات تتحمل البيانات المُلحقة. ومن ناحية أخرى، من المرجح أن تكون توقيعات الملفات مكسورة.

س: هل يمكن إنشاء ملفين مختلفين بمحتويات اعتباطية ولهما نفس التجزئة؟
ج: نعم، يمكن أن يكون ذلك فوريًا بالاعتماد على هياكل ملفات خاصة:

ترويسة تنسيق خاصة (أو زوج منها) بحيل تعمل كمبدّل بين محتويين (بعض التنسيقات لن تسمح بمثل هذه الحيل).
تصادمات محسوبة مسبقًا بناءً على الترويسة (الترويسات) المحددة.
محتويان من تنسيقات محددة، وكلاهما حاضر بعد التصادم (يُضافان بعد الحساب).

س: ما التنسيقات التي يمكنني فيها الحصول على زوج ملفات متصادم فورًا في MD5؟
ج: JPG، PNG، GIF، GZIP، Portable Executable، MP4، ، ، ، ، ، . فقط قم بتشغيل السكربت المحدد.

أمثلة: [PoC||GTFO 0x18](https://github.com/angea/pocorgtfo#0x18) تستخدم بادئات SHA1 المحسوبة، وتعيد استخدام الصورة مباشرة من مصدر PDFLaTeX (انظر [المقال 18:10](https://archive.org/stream/pocorgtfo18#page/n62/mode/1up))، ولكنها تتحقق أيضًا من قيمة البادئات عبر JavaScript في صفحة HTML (الملف متعدد الصيغ، ZIP وHTML وPDF). ## تصادمات البادئة المختارة تسمح بتصادم أي محتوى. | 𝓐 | ≠ | 𝔅 | | :----: |:-:| :----: | | تصادم *A* | ≠ | تصادم *B* | 1. خذ بادئتين عشوائيتين 2. احشُ الأقصر ليكون بطول الأطول. كلاهما يُحشى حتى الكتلة التالية - ناقص 12 بايت - ستُضاف هذه الـ 12 بايت من البيانات العشوائية على الجانبين لتوزيع بحث عيد الميلاد 3. سيتم حساب كتل شبه التصادم X وإلحاقها. كلما قلّت الكتل، طال الحساب. مثال: [400 kHours لكتلة واحدة](https://www.win.tue.nl/hashclash/SingleBlock/). 72 hours.cores لتسع كتل مع [HashClash](https://github.com/cr-marcstevens/hashclash). تصادمات البادئة المختارة قوية جدًا، لكنها قد تستغرق وقتًا طويلًا حتى لزوج واحد من الملفات. ### [HashClash](https://github.com/cr-marcstevens/hashclash) (MD5) النسخة النهائية في [2009](https://www.win.tue.nl/hashclash/ChosenPrefixCollisions/). أمثلة: لنصادم `yes` و `no`. استغرق الأمر ثلاث ساعات على 24 نواة.``` 'yes' prefix: 000: 79 65 73 0A-3D 62 84 11-01 75 D3 4D-EB 80 93 DE yes◙=bä◄☺u╙MδÇô▐ - Prefix, padding 010: 31 C1 D9 30-45 FB BE 1E-71 F0 0A 63-75 A8 30 AA 1┴┘0E√╛▲q≡◙cu¿0¬ 020: 98 17 CA E3-A2 6B 8E 3D-44 A9 8F F2-0E 67 96 48 ÿ↨╩πókÄ=D⌐Å≥♫gûH 030: 97 25 A6 FB-00 00 00 00-49 08 09 33-F0 62 C4 E8 ù%ª√ I◘○3≡b─Φ 040: D5 F1 54 CD-CA A1 42 90-7F 9D 3D 9A-67 C4 1B 0F ╒±T═╩íBÉ⌂¥=Üg─←☼ - Collision blocks start 050: 04 9F 19 E8-92 C3 AA 19-43 31 1A DB-DA 96 01 54 ♦ƒ↓ΦÆ├¬↓C1→█┌û☺T 060: 85 B5 9A 88-D8 A5 0E FB-CD 66 9A DA-4F 20 8A AA à╡Üê╪Ñ♫√═fÜ┌O è¬ 070: BA E3 9C F0-78 31 8F D1-14 5F 3E B9-0F 9F 3E 19 ║π£≡x1Å╤¶_>╣☼ƒ>↓ 080: 09 9C BB A9-45 89 BA A8-03 E6 C0 31-A0 54 D6 26 ○£╗⌐Eë║¿♥µ└1áT╓& 090: 3F 80 4C 06-0F C7 D9 19-09 D3 DA 14-FD CB 39 84 ?ÇL♠☼╟┘↓○╙┌¶²╦9ä 0A0: 1F 0D 77 5F-55 AA 7A 07-4C 24 8B 13-0A 54 A2 BC ▼♪w_U¬z•L$ï‼◙Tó╝ 0B0: C5 12 7D 4F-E0 5E F2 23-C5 07 61 E4-80 91 B2 13 ┼↕}Oα^≥#┼•aΣÇæ▓‼ 0C0: E7 79 07 2A-CF 1B 66 39-8C F0 8E 7E-75 25 22 1D τy•*╧←f9î≡Ä~u%"↔ 0D0: A7 3B 49 4A-32 A4 3A 07-61 26 64 EA-6B 83 A2 8D º;IJ2ñ:•a&dΩkâóì 0E0: BE A3 FF BE-4E 71 AE 18-E2 D0 86 4F-20 00 30 26 ╛ú ╛Nq«↑Γ╨åO 0& 0F0: 0A 71 DE 1F-40 B4 F4 8F-9C 50 5C 78-DD CD 72 89 ◙q▐▼@┤⌠Å£P\x▌═rë 100: BA D1 BF F9-96 80 E3 06-96 F3 B9 7C-77 2D EB 25 ║╤┐∙ûÇπ♠û≤╣|w-δ% 110: 1E 56 70 D7-14 1F 55 4D-EC 11 58 59-92 45 E1 33 ▲Vp╫¶▼UM∞◄XYÆEß3 120: 3E 0E A1 6E-FF D9 90 AD-F6 A0 AD 0E-C6 D6 88 12 >♫ín ┘É¡÷á¡♫╞╓ê↕ 130: B8 74 F2 9E-DD 53 F7 88-19 73 85 39-AA 9B E0 8D ╕t≥₧▌S≈ê↓sà9¬¢αì \ 140: 82 BF 9C 5E-58 42 1E 3B-94 CF 5B 54-73 5F A8 4A é┐£^XB▲;ö╧[Ts_¿J 150: FD 5B 64 CF-59 D1 96 74-14 B3 0C AF-11 1C F9 47 ²[d╧Y╤ût¶│♀»◄∟∙G ................ 160: C5 7A 2C F7-D5 24 F5 EB-BE 54 3E 12-B0 24 67 3F ┼z,≈╒$⌡δ╛T>↕░$g? ................ 170: 01 DD 95 76-8D 0D 58 FB-50 23 70 3A-BD ED BE AC ☺▌òvì♪X√P#p:╜φ╛¼ ...............X ................ 180: B8 32 DB AE-E8 DC 3A 83-7A C8 D5 0F-08 90 1D 99 ╕2█«Φ▄:âz╚╒☼◘É↔Ö 190: 2D 7D 17 34-4E A8 21 98-61 1A 65 DA-FC 9B A4 BA -}↨4N¿!ÿa→e┌ⁿ¢ñ║ ................ 1A0: E1 42 2B 86-0C 94 2A F6-D6 A4 81 B5-2B 0B E9 37 ßB+å♀ö*÷╓ñü╡+♂Θ7 ................ 1B0: 44 D2 E4 23-14 7C 16 B8-84 90 8B E0-A1 A7 BD 27 D╥Σ#¶|▬╕äÉïαíº╜' ..............X. ................ 1C0: C7 7E E6 17-1A 93 C5 EE-59 70 91 26-4E 9D C7 7C ╟~µ↨→ô┼εYpæ&N¥╟| 1D0: 1D 3D AB F1-B4 F4 F1 D9-86 48 75 77-6E FE 98 84 ↔=½±┤⌠±┘åHuwn■ÿä ................ 1E0: EF 3C 1C C7-16 5A 1F 83-60 EC 5C FE-CA 17 0C 74 ∩<∟╟▬Z▼â`∞\■╩↨♀t ................ 1F0: EB 8E 9D F6-90 A3 CD 08-65 D5 5A 4C-2E C6 BE 54 δÄ¥÷Éú═◘e╒ZL.╞╛T ...............X ................ 'no' prefix: ................ 000: 6E 6F 0A E5-5F D0 83 01-9B 4D 55 06-61 AB 88 11 no◙σ_╨â☺¢MU♠a½ê◄ ................ 010: 8A FA 4D 34-B3 75 59 46-56 97 EF 6C-4A 07 90 CC è·M4│uYFVù∩lJ•É╠ ............X... 020: FE 19 D7 CF-6F 92 03 9C-91 AA A5 DA-56 92 C1 04 ■↓╫╧oÆ♥£æ¬Ñ┌VÆ┴♦ ................ 030: E6 4C 08 A3-00 00 00 00-8D B6 4E 47-FF AF 7A 3C µL◘ú ì╢NG »z< ................ 040: D5 F1 54 CD-CA A1 42 90-7F 9D 3D 9A-67 C4 1B 0F ╒±T═╩íBÉ⌂¥=Üg─←☼ ................ 050: 04 9F 19 E8-92 C3 AA 19-43 31 1A DB-DA 96 01 54 ♦ƒ↓ΦÆ├¬↓C1→█┌û☺T ............X... 060: 85 B5 9A 88-D8 A5 0E FB-CD 66 9A DA-4F 20 8A A9 à╡Üê╪Ñ♫√═fÜ┌O è⌐ ................ 070: BA E3 9C F0-78 31 8F D1-14 5F 3E B9-0F 9F 3E 19 ║π£≡x1Å╤¶_>╣☼ƒ>↓ ................ 080: 09 9C BB A9-45 89 BA A8-03 E6 C0 31-A0 54 D6 26 ○£╗⌐Eë║¿♥µ└1áT╓& ................ 090: 3F 80 4C 06-0F C7 D9 19-09 D3 DA 14-FD CB 39 84 ?ÇL♠☼╟┘↓○╙┌¶²╦9ä .............X.. 0A0: 1F 0D 77 5F-55 AA 7A 07-4C 24 8B 13-0A 54 B2 BC ▼♪w_U¬z•L$ï‼◙T▓╝ ................ 0B0: C5 12 7D 4F-E0 5E F2 23-C5 07 61 E4-80 91 B2 13 ┼↕}Oα^≥#┼•aΣÇæ▓‼ ................ 0C0: E7 79 07 2A-CF 1B 66 39-8C F0 8E 7E-75 25 22 1D τy•*╧←f9î≡Ä~u%"↔ ................ 0D0: A7 3B 49 4A-32 A4 3A 07-61 26 64 EA-6B 83 A2 8D º;IJ2ñ:•a&dΩkâóì ...............X 0E0: BE A3 FF BE-4E 71 AE 18-E2 D0 86 4F-20 00 30 22 ╛ú ╛Nq«↑Γ╨åO 0" ................ 0F0: 0A 71 DE 1F-40 B4 F4 8F-9C 50 5C 78-DD CD 72 89 ◙q▐▼@┤⌠Å£P\x▌═rë / 100: BA D1 BF F9-96 80 E3 06-96 F3 B9 7C-77 2D EB 25 ║╤┐∙ûÇπ♠û≤╣|w-δ% 110: 1E 56 70 D7-14 1F 55 4D-EC 11 58 59-92 45 E1 33 ▲Vp╫¶▼UM∞◄XYÆEß3 120: 3E 0E A1 6E-FF D9 90 AD-F6 A0 AD 0E-CA D6 88 12 >♫ín ┘É¡÷á¡♫╩╓ê↕ 130: B8 74 F2 9E-DD 53 F7 88-19 73 85 39-AA 9B E0 8D ╕t≥₧▌S≈ê↓sà9¬¢αì 140: 82 BF 9C 5E-58 42 1E 3B-94 CF 5B 54-73 5F A8 4A é┐£^XB▲;ö╧[Ts_¿J 150: FD 5B 64 CF-59 D1 96 74-14 B3 0C AF-11 1C F9 47 ²[d╧Y╤ût¶│♀»◄∟∙G 160: C5 7A 2C F7-D5 24 F5 EB-BE 54 3E 12-70 24 67 3F ┼z,≈╒$⌡δ╛T>↕p$g? 170: 01 DD 95 76-8D 0D 58 FB-50 23 70 3A-BD ED BE AC ☺▌òvì♪X√P#p:╜φ╛¼ 180: B8 32 DB AE-E8 DC 3A 83-7A C8 D5 0F-08 90 1D 99 ╕2█«Φ▄:âz╚╒☼◘É↔Ö 190: 2D 7D 17 34-4E A8 21 98-61 1A 65 DA-FC 9B A4 BA -}↨4N¿!ÿa→e┌ⁿ¢ñ║ 1A0: E1 42 2B 86-0C 94 2A F6-D6 A4 81 B5-2B 2B E9 37 ßB+å♀ö*÷╓ñü╡++Θ7 1B0: 44 D2 E4 23-14 7C 16 B8-84 90 8B E0-A1 A7 BD 27 D╥Σ#¶|▬╕äÉïαíº╜' 1C0: C7 7E E6 17-1A 93 C5 EE-59 70 91 26-4E 9D C7 7C ╟~µ↨→ô┼εYpæ&N¥╟| 1D0: 1D 3D AB F1-B4 F4 F1 D9-86 48 75 77-6E FE 98 84 ↔=½±┤⌠±┘åHuwn■ÿä 1E0: EF 3C 1C C7-16 5A 1F 83-60 EC 5C FE-CA 17 0C 54 ∩<∟╟▬Z▼â`∞\■╩↨♀T 1F0: EB 8E 9D F6-90 A3 CD 08-65 D5 5A 4C-2E C6 BE 54 δÄ¥÷Éú═◘e╒ZL.╞╛T

ولكن حتى إذا كان Shattered أسهل بكثير في الاستغلال من FastColl، فإن قيود الاختلافات في كتل التصادم غير ذات صلة بما أن Shambles هو تصادم بادئة مختارة. ## ملخص الهجمات التجزئة | الاسم | التاريخ | المدة | نوع البادئة | التحكم قرب الاختلاف ---- | --------- | ---- | -------- | ----------- | ----------------- MD5 | FastColl | 2009 | 2s | متطابقة | لا شيء | UniColl | 2012 | 7-40min | متطابقة | 4-10 بايت | HashClash | 2009 | 72h | مختارة | لا ينطبق | | | | | SHA1 | Shattered | 2013 | 6500yr | متطابقة | بادئة ولاحقة | Shambles | 2020 | ? | مختارة | لا ينطبق # الاستغلالات تعتبر تصادمات البادئة المتطابقة عادةً محدودة (للغاية)، لكن البادئة المختارة تستغرق وقتًا طويلاً. نهج آخر هو صياغة بادئات قابلة لإعادة الاستخدام إما عبر هجوم البادئة المتطابقة مثل UniColl - أو البادئة المختارة للتغلب على بعض القيود - ولكن إعادة استخدام زوج البادئات مع حمولتين مثل هجوم البادئة المتطابقة الكلاسيكي. بمجرد حساب زوج البادئات، يصبح تصادم محتويين فوريًا: الأمر مجرد معالجة بيانات الملف (وفقًا لتنسيقات ملفات محددة) بحيث تناسب مواصفات تنسيقات الملفات ومتطلبات البادئة المحسوبة مسبقًا. ## الاستراتيجية القياسية التصادمات الكلاسيكية لملفين صالحين من نفس نوع الملف. ### JPG القيود النظرية والحلول البديلة: - من الناحية النظرية، يجب أن يأتي مقطع *Application* مباشرة بعد علامة *Start of Image*. من الناحية العملية، هذا ليس ضروريًا، لذا يمكن أن يكون تصادمنا عامًا: القيد الوحيد هو حجم أصغر صورة. - طول التعليق يُخزن في بايتين، لذا فإن الكمية التي يمكنه تخزينها محدودة بـ 65536 بايت (تقريبًا حجم صورة 400x400) - بدلاً من القفز فوق ملف JPG كامل، يمكن تقسيم هذا الملف إلى مقاطعه وإضافة ترامبولينات قفز بين المقاطع *تعليقات فوق كل مقاطع الصورة* *كيفية عمل ترامبولين التعليقات* - في حين أن معظم بنية JPG تتكون من مقاطع جميعها محدودة الحجم بـ 65536 بايت، تُخزن البيانات المضغوطة الفعلية في *مقطع الترميز الإنتروبي (Entropy Coded Segment)* الذي لا يحترم حدوده: حجمه غير معروف مسبقًا ويزيد عن هذا الحد. إنه ينمو مع حجم الصورة، مما يجعل معظم حجم الملف في صورة خط الأساس (غير تدريجية). لجعل الصورة بأكملها تناسب أجزاء بحجم 64kb، الطريقة السهلة هي أولًا محاولة حفظ الصورة بالتنسيق التدريجي (وهو ما يمكن لأي برنامج فعله، ويقسم ECS عادةً إلى ما يصل إلى ستة مسحات). الطريقة الأكثر تقدمًا هي استخدام *JPEGTran* مع معلمة سطر الأوامر 'wizard' `--scans` وتحديد مسحات مخصصة. لا توجد قيود أخرى بخلاف مقاطع المسح، لذا فإن تصادم MD5 لأي ملفي JPG عشوائيين هو *فوري*، ولا يتطلب تصادم بادئة مختارة، فقط UniColl. مع [البرنامج النصي](https://github.com/corkami/collisions/blob/master/scripts/jpg.py):``` 21:07:35.65>jpg.py Ange.jpg Marc.jpg 21:07:35.75>

النتيجة: *صورة RGB بمقاس 1944x2508 كملف JPG بجودة 100% مع 20 مسحًا* ### PNG القيود النظرية والحلول البديلة: - يستخدم PNG دالة CRC32 في نهاية أجزائه، لكنها تُتجاهل عمليًا. يمكن أن تكون صحيحة لكن ذلك غير مطلوب. - بيانات الصورة الوصفية (الأبعاد، الفضاء اللوني...) مخزنة في جزء `IHDR`، والذي يجب نظريًا أن يكون مباشرة بعد التوقيع (أي قبل أي تعليق محتمل)، لذا فهذا يعني أننا نستطيع فقط حساب التصادمات مسبقًا للصور ذات البيانات الوصفية نفسها. ومع ذلك، يمكن أن يكون هذا الجزء فعليًا بعد كتلة تعليق (في الغالبية العظمى من القارئات، باستثناء قارئات Apple)، لذا يمكننا وضع بيانات التصادم قبل الترويسة، مما يتيح تصادم أي زوج من صور PNG مع حساب مسبق واحد. بما أن طول جزء PNG محدد بأربعة بايتات، فلا حاجة لتعديل بنية أي من الملفين: يمكننا القفز فوق صورة كاملة دفعة واحدة. يمكننا إدراج أي عدد نريده من الأجزاء المهملة، لذا يمكننا إضافة جزء للمحاذاة، ثم جزء سيتغير طوله بواسطة UniColl. فيصبح الطول `00` `75` و `01` `75`. إذن التصادم MD5 لصورتي PNG عشوائيتين يكون *فوريًا*، دون أي شرط مسبق (لا حساب، فقط بعض التغييرات البسيطة في الملفات)، ولا يتطلب تصادم بادئة مختارة، فقط UniColl. مع [البرنامج النصي](https://github.com/corkami/collisions/blob/master/scripts/png.py):``` 19:27:04.79>png.py nintendo.png sega.png 19:27:04.87>

أمثلة: [poeMD5 A](https://github.com/corkami/collisions/blob/master/examples/poeMD5_A.pdf) ⟷ [poeMD5 B](https://github.com/corkami/collisions/blob/master/examples/poeMD5_B.pdf) *إبداع فني تشفيري حقيقي :)* (ملاحظة: لقد أفسدت التوافق مع Adobe، لكن هذا خطأي وليس خطأ UniColl) **بنية تصادم المستندات** سواء استخدمت UniColl كتعليق سطري أو بادئة مختارة داخل كائن دفق وهمي، فإنّ الاستراتيجية متشابهة: أعد ترتيب أرقام الكائنات، ثم اجعل كائن Root يشير إلى كائنات مختلفة، لذا وعلى عكس Shattered، يعني هذا تصادمًا فوريًا لأي زوج عشوائي من ملفات PDF، على مستوى المستند. خدعة مفيدة هي أنّ مخرجات [`mutool clean`](https://mupdf.com/docs/manual-mutool-clean.html) يمكن التنبؤ بها بشكل موثوق، لذا يمكن استخدامها لتطبيع ملفات PDF كمدخلات، وإصلاح ملف PDF المدمج لديك مع الحفاظ على الأجزاء المهمة من الملف دون تعديل. إنّ MuTool لا يتجاهل المفاتيح/القيم الزائفة - إلا إذا طُلب منه ذلك، ويُبقيها بالترتيب نفسه، لذا فإنّ استخدام إدخالات قاموس وهمية مثل `/MD5_is /REALLY_dead_now__` مثالي لمحاذاة الأمور بشكل يمكن التنبؤ به دون الحاجة إلى نوع آخر من التعليقات. ومع ذلك، فإنّه لا يُبقي التعليقات في القواميس (لذلك لا توجد خدعة تعليق سطري) طريقة سهلة للقيام بعملية إعادة ترتيب الكائنات دون عناء هي ببساطة دمج ملفي PDF معًا عبر `mutool merge` ثم تقسيم كائن `/Pages` إلى قسمين. لإفساح مجال لهذا الكائن، ما عليك سوى دمج ملف PDF وهمي في مقدمة المستندين. اختياريًا، أنشئ مرجعًا وهميًا إلى المصفوفة المعلّقة لمنع جامع القمامة من حذف المجموعة الثانية من الصفحات. **مثال**: مع هذا [البرنامج النصي](https://github.com/corkami/collisions/blob/master/scripts/pdf.py)، يستغرق الأمر [أقل من ثانية](https://github.com/corkami/collisions/blob/master/examples/pdf.log) لتصادم الورقتين البحثيتين العامتين بتنسيق PDF مثل Spectre وMeltdown: أمثلة: [spectre.pdf](https://github.com/corkami/collisions/blob/master/examples/collision1.pdf) ⟷ [meltdown.pdf](https://github.com/corkami/collisions/blob/master/examples/collision2.pdf) امتداد محتمل: سلسلة كتل UniColl للحفاظ أيضًا على أزواج من [الكائنات غير الحرجة](https://www.adobe.com/content/dam/acom/en/devnet/pdf/pdfs/PDF32000_2008.pdf#page=81) المختلفة التي يمكن الإشارة إليها في كائن Root - مثل `Outlines` و`Names` و`AcroForm` والإجراءات الإضافية (`AA`) - في ملفات المصدر الأصلية. **في PDFLaTeX** تعمل التقنيات السابقة مع مجرد زوج من ملفات PDF، لكن من الممكن أيضًا القيام بذلك مباشرةً من مصادر TeX عبر [عوامل PDFTeX المحددة](http://texdoc.net/texmf-dist/doc/pdftex/manual/pdftex-a.pdf). يمكنك تعريف الكائنات مباشرةً - بما في ذلك المفاتيح والقيم الوهمية للمحاذاة - وتعريف كائنات فارغة لحجز بعض فتحات الكائنات، وذلك بإدراج ما يلي في بداية ملفات مصدر TeX الخاصة بك:``` latex % set PDF version low to prevent stream XREF \pdfminorversion=3 \begingroup % disable compression to keep alignments \pdfcompresslevel=0\relax \immediate \pdfobj{<< /Type /Catalog % cool alignment padding /MD5_is /REALLY_dead_now__ % the first reference number should be on offset 0x49, % so the '2' object number will be changed to '3' by UniColl /Pages 2 0 R % now padding so that the collision blocks (ends at 0xC0) are covered /0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF % with an extra character to be replaced by a return char /0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0 >>} % the original catalog of the shifted doc \immediate\pdfobj{<</Type/Pages/Count 1/Kids[8 0 R]>>} % the original catalog of the host doc \immediate\pdfobj{<</Type/Pages/Count 1/Kids[33 0 R]>>} % now we need to reserve PDF Objects so that there is no overlap \newcount\objcount % the host size (+3 for spare object slots) - 1 % putting a higher margin will just work, and XREF can have huge gaps \objcount=25 \loop \message{\the\objcount} \advance \objcount -1 \immediate\pdfobj{<<>>} % just an empty object \ifnum \objcount>0 \repeat \endgroup

#### التصادمات [zInsider](https://github.com/corkami/collisions/blob/master/scripts/zinsider.py) هو سكربت لإنشاء تصادمات MD5 فورًا لأزواج من المستندات العشوائية باستخدام صيغ ZIP+XML التالية: - Office Open XML: docx / pptx / xlsx - Open Container Format: epub - Open Packaging Conventions: - 3D manufacturing format: 3mf - XML Paper Specification: xps / oxps لإنشاء بادئات التصادم الخاصة بك، [إليك سكربت](https://github.com/corkami/collisions/blob/master/scripts/makezip.py) لتوليد زوج جذر من zip. بعد حساب التصادمات، استخدم [هذا السكربت الآخر](https://github.com/corkami/collisions/blob/master/scripts/extendzip.py) لدمج زوج الجذور هذا مع لاحقة مشتركة. بعض نماذج إثبات المفهوم للتصادم: - Office Open XML: Excel ([1](https://github.com/corkami/collisions/blob/master/examples/free/md5-1.xls) - [2](https://github.com/corkami/collisions/blob/master/examples/free/md5-2.xls))، Powerpoint ([1](https://github.com/corkami/collisions/blob/master/examples/free/md5-1.pptx) - [2](https://github.com/corkami/collisions/blob/master/examples/free/md5-2.pptx))، Word ([1](https://github.com/corkami/collisions/blob/master/examples/free/md5-1.docx) - [2](https://github.com/corkami/collisions/blob/master/examples/free/md5-2.docx)). - Open Container Format: Epub ([1](https://github.com/corkami/collisions/blob/master/examples/collision-1.epub) - [2](https://github.com/corkami/collisions/blob/master/examples/collision-2.epub)). - Open Packaging Conventions: 3MF ([1](https://github.com/corkami/collisions/blob/master/examples/collision-1.3mf) - [2](https://github.com/corkami/collisions/blob/master/examples/collision-2.3mf))، XPS ([1](https://github.com/corkami/collisions/blob/master/examples/collision-1.xps) - [2](https://github.com/corkami/collisions/blob/master/examples/collision-2.xps)). بعض الصيغ ذات الملفات المتعددة القائمة على Zip لا يمكن استغلالها بشكل عام: - Quake PK3: أرشيف zip من الملفات دون جذر محدد. - Open Document Format: يجب أن يذكر ملف `META-INF/manifest.xml` كل ملف آخر، لذا لا يمكن أن يكون عامًا. - APK, JAR, XPI: يجب أن يذكر ملف `META-INF/MANIFEST.mf` أيضًا كل ملف آخر مع تجزئاته. الشكر لـ [Philippe Lagadec](https://twitter.com/decalage2) على مساعدته في صيغ ملفات Office! ### أخرى - Wasm، عبر قسم مخصص: [سكربت](https://github.com/corkami/collisions/blob/master/scripts/wasm.py)، أمثلة: [md5-1.wasm](https://github.com/corkami/collisions/blob/master/examples/free/md5-1.wasm) ⟷ [md5-2.wasm](https://github.com/corkami/collisions/blob/master/examples/free/md5-2.wasm) ## استراتيجيات غير شائعة التصادمات عادةً ما تتعلق بملفين صالحين من النوع نفسه. ### MultiColls: سلسلة تصادمات متعددة لا شيء يمنع تسلسل عدة كتل تصادم، والحصول على أكثر من محتويين بنفس قيمة التجزئة. مثال على ذلك *hashquines* - التي تُظهر قيمة MD5 الخاصة بها. يحتوي ملف [PoCGTFO 14](https://github.com/angea/pocorgtfo#0x14) على 609 تصادمات FastColl، للقيام بذلك عبر نوعي ملفات داخل الملف نفسه. #### Hashquines Hashquines هي ملفات تُظهر قيمة التجزئة الخاصة بها. وهي مغطاة [هنا](https://github.com/corkami/collisions/blob/master/hashquines). ### الصلاحية استراتيجية مختلفة تتمثل في إبطال نوع الملف لتجاوز الفحص كملف تالف. مجرد الكتابة فوق التوقيع السحري سيكون كافيًا. إلحاق كلا الملفين (صالحًا أو غير صالح) بصيغة لا تحتاج إلى أن تكون عند الإزاحة 0 (أرشيف، مثل ZIP/RAR/...) سيكشف نوع ملف آخر. هذا يتيح تصادمات polyglot دون استخدام تصادم ببادئة مختارة: 1. استخدم UniColl لتمكين أو تعطيل توقيع سحري، مثل PNG: 2. ألحق أرشيف ZIP رغم أن كلا الملفين تقنيًا أرشيف ZIP صالح، إلا أن معظم المحللات تُرجع أول نوع ملف يتم العثور عليه وتبدأ المسح عند الإزاحة 0، لذا سترى نوع ملف مختلفًا. أمثلة: ⟷ [غير صالحة](https://github.com/corkami/collisions/blob/master/examples/png-invalid.png) ### PolyColls: تصادمات لأنواع ملفات مختلفة من الممكن أيضًا أن يكون طرفا التصادم من نوعين مختلفين لتقليل الشبهات: سيناريو الهجوم: 1. أرسل `holiday.jpg` 2. احصل على إدراجه في القائمة البيضاء 3. أرسل `evil.exe`، الذي يملك نفس MD5. في هذه الحالات، يكون تصادم البادئة المختارة مطلوبًا إذا كان كلا النوعين بحاجة إلى البدء عند الإزاحة 0. بعض الأمثلة على تخطيطات polycoll: ![pdf-jpg polyglot collision](https://assets.kitploit.com/production/public/readmes/47471/3dcd55e877a4ce9c933bf1478d0a71ede85e129b9e746414d754ffabceabe463.png) *PDF/JPG polycoll* ![pe-png polyglot collision](https://assets.kitploit.com/production/public/readmes/47471/63df55a15e7ca33153f352f13ba273604df6b1ae3e1e8838b601fea39de801e0.png) *PE/PNG polycoll* #### PE - JPG بما أن ترويسة PE أصغر عادةً من 0x500 بايت، فهي مناسبة تمامًا لتعليق JPG: 1. ابدأ بترويسات DOS/JPG 2. قفزة تعليق JPEG فوق ترويسة PE 3. ضع صورة JPG كاملة 4. ضع مواصفات PE كاملة مرة أخرى، التصادم [فوري](https://github.com/corkami/collisions/blob/master/scripts/jpgpe.py) أمثلة: [fastcoll.exe](https://github.com/corkami/collisions/blob/master/examples/jpg-pe.exe) ⟷ [Marc.jpg](https://github.com/corkami/collisions/blob/master/examples/jpg-pe.jpg) #### PDF - PE دمج PDF مع ملف وهمي باستخدام `mutool` طريقة عامة جيدة لإعادة ترتيب الكائنات ثم جعل أول كائنين قابلين للتجاهل (صفحة وهمية ومحتوى)، وهو مناسب تمامًا لاستضافة كائن `stream` بطول غير معروف كـ `1 0`، وطوله مُشار إليه لاحقًا (بعد كتل التصادم) في الكائن الثاني. المشكلة الوحيدة هي أن `mutool` سيضمّن الطول دائمًا - ويزيل مرجع الطول، لذا يجب إعادة إدراجه في PDF بدلاً من القيمة، لكن معظم المراجع `2 0 R` ستكون أصغر من الأطوال المرمزة. لحسن الحظ يمكن إصلاح ذلك دون تغيير أي إزاحة كائن، فلا حاجة لتعديل XREF. إليك [سكربت](https://github.com/corkami/collisions/blob/master/scripts/pdfpe.py) مثلاً للتصادم الفوري بين عارض PDF ([Sumatra](https://www.sumatrapdfreader.org/free-pdf-reader.html) خفيف ومستقل) ومستند PDF: أمثلة: [Poster.pdf](https://github.com/corkami/collisions/blob/master/examples/pepdf.pdf) ⟷ [Sumatra.exe](https://github.com/corkami/collisions/blob/master/examples/pepdf.exe) ![عارض PDF يعرض PDF (يعرض نفسه PDF) بنفس MD5](https://assets.kitploit.com/production/public/readmes/47471/4356d710fc4b60297ee05999be64f596198e9d4a02c826666818eb8ae117310f.png) *عارض PDF يعرض PDF (يعرض نفسه PDF) بنفس MD5* #### PDF - PNG وبالمثل، من الممكن التصادم مثلاً بين ملفات PDF وPNG عشوائية دون قيود على أي من الجانبين. هذا فوري وقابل لإعادة الاستخدام وعام. أمثلة: [Hello.pdf](https://github.com/corkami/collisions/blob/master/examples/png-pdf.pdf) ⟷ [1x1.png](https://github.com/corkami/collisions/blob/master/examples/png-pdf.png) ### PileUps (تصادم متعدد) التصادمات التشفيرية ليست محصورة بملفين! كما ثبت في تجربة [Nostradamus](https://www.win.tue.nl/hashclash/Nostradamus/) عام 2008، فإن تسلسل التصادمات يجعل من الممكن التصادم لأكثر من ملفين. التصادمات الأولى يمكن أن تكون متطابقة أو ببادئة مختارة، واللاحقة يجب أن تكون ببادئة مختارة. يمكنك تسميتها multi-collisions، أنا أفضّل *pileups* - فهي أقصر :) #### PE - PNG - MP4 - PDF بدمج كل المعرفة المكتسبة سابقًا، استخدمت 3 تصادمات ببادئة مختارة لصياغة 4 بادئات مختلفة لأنواع ملفات مختلفة: مستند (PDF)، فيديو (MP4)، قابل للتنفيذ (PE) وصورة (PNG). ![مخطط pileup من PE/PNG/MP4/PDF](https://assets.kitploit.com/production/public/readmes/47471/f7c45f284bad51f431a2993cf4797f679c85671c028cf1862f1c07604740360a.png) *مخطط pileup من PE/PNG/MP4/PDF* هذا السكربت عام وفوري: ![مخطط pileup من PE/PNG/MP4/PDF](https://assets.kitploit.com/production/public/readmes/47471/3ec7caeb459eab294c6b9876a8a82e136502c3d11c599804fd7925fc2d819276.png) أمثلة: [commodore.pdf](https://github.com/corkami/collisions/blob/master/examples/pileup.pdf) ⟷ [diagram.png](https://github.com/corkami/collisions/blob/master/examples/pileup.png) ⟷ [kidmo.mp4](https://github.com/corkami/collisions/blob/master/examples/pileup.mp4) ⟷ [sumatra18.exe](https://github.com/corkami/collisions/blob/master/examples/pileup.exe) بما أنك قد توزّع ملفًا واحدًا فقط ويستحيل تخمين قيم البادئات الأخرى منه، فإن الحل هو تضمين جميع بادئات التصادم في كود JavaScript وإدراجها في نماذج PoC الخاصة بك، لتحويل ملفاتك إلى [HTML polyglots](https://github.com/corkami/collisions/blob/master/examples/polyglot.html) لمشاركة الملفات المتصادمة ذات الصلة بسهولة. إن [العدد 19](https://github.com/angea/pocorgtfo#0x19) من 'PoC or GTFO' هو مثل هذا pileup **و** polyglot، يجمع مستندًا من 80 صفحة مولّدًا بـ PDFLaTeX، وعارض PDF لنظام Windows، ومخطط PNG، وفيديو MP4 قصير 'للتصادم' من [KidMoGraph](https://www.kidmograph.com/) مع حمولة HTML لتوليد الملفات الأخرى من إصدار PDF (وأرشيف ZIP أيضًا): شكرًا لرافال هيرش على مساعدته الدائمة في JavaScript. ## حالات الاستخدام من الأفضل التخلي عن MD5 تمامًا، لأن فحص الملفات الداخلي يستغرق وقتًا طويلاً وينطوي على مخاطر كبيرة! ### فلنصادمها جميعًا! استخدام آخر للتصادمات الفورية والقابلة لإعادة الاستخدام والعامة هو إخفاء أي ملف من نوع معين - لنقل PNG - خلف ملفات وهمية (أو نفس الملف في كل مرة) - وهو في الواقع مجرد تسلسله مع نفس البادئة بعد إزالة التوقيع - ويمكنك حتى فعل ذلك على مستوى المكتبات! من منظور تحليل صارم، ستُظهر جميع ملفاتك نفس المحتوى، وستظهر الصور الخبيثة كملف له نفس MD5 الذي جُمع سابقًا. لنأخذ ملفين: ⟷ ونصادمهما مع نفس ملف PNG. يعرضان الآن نفس الصورة الوهمية، وهما متطابقان تمامًا حتى الصورة الثانية على مستوى الملف! ⟷ حمولتهما الخبيثة مخفية خلف ملف يتشارك نفس MD5 على التوالي. ### إدانة الملفات حالة استخدام أخرى للتصادمات هي إخفاء شيء مُدان داخل شيء بريء لكن مرغوب: إذا كان الشيء الوحيد لجمع الأدلة هو مقارنة التجزئات الضعيفة، فلا يمكنك إنكار عدم امتلاكك للملف الآخر (الذي يُظهر محتوى مُدانًا لكنه يخفي محتوى بريئًا). تركز البرامج عادةً على التحليل (السريع)، وليس على تحليل الملفات التفصيلي. *صورة تُظهر معاينات مختلفة ضمن تبويبات مختلفة من EnCase Forensic* ## حالات الفشل ليست كل الصيغ يمكن أن تحتوي على بادئات عامة قابلة لإعادة الاستخدام: إذا تعذر إدراج نوع من حاملات البيانات بين التوقيع السحري والترويسات القياسية الحرجة والخاصة بكل ملف، فإن التصادمات العامة غير ممكنة. بالطبع، قد يظل بإمكان المرء تحويل الملفات القديمة إلى ملف جديد، وحتى استخدام كود للتفرع إلى حمولتين مختلفتين، لكن الأمر أقرب إلى نقل الحمولات منه إلى تصادم بنية الملف. ### ELF ترويسة ELF مطلوبة عند الإزاحة 0 وتحتوي على معلومات حرجة مثل 32b/64b، وترتيب البايتات وABI منذ البداية، لذا يستحيل وجود بادئة عامة ثم كتل تصادم قبل معايير حرجة خاصة بالملف الأصلي. ### Mach-O لا تبدأ ملفات Mach-O حتى بنفس التوقيع السحري لـ 32b (`feedface`) و64b (`feedfacf`). بعد ذلك مباشرة، يوجد عدد الأوامر وحجمها (مثل تعريف المقطع، symtab، الإصدار، ...). مثل ELF، التصادمات القابلة لإعادة الاستخدام غير ممكنة. ### Java Class مباشرة بعد التوقيع السحري توجد الإصدارات (التي قد تكون مزعجة) لكن عدد التجمع الثابت (constant pool) الذي يخص كل ملف بشكل كبير، لذا لا توجد تصادمات عامة لجميع الملفات. ومع ذلك، لا يزال العديد من الملفات تشترك في إصدار واحد، ويمكننا حشو أقصر تجمع ثابت ليصل إلى العدد الأطول. أولاً، أدخل *حرفية UTF8* لمحاذاة المعلومات، ثم صرّح بأخرى مع استغلال طولها عبر UniColl (الطول مخزن على 16 بايت بترتيب big endian). ومع ذلك، سيتطلب ذلك معالجة الكود لأن جميع فهارس التجمع ستتغير. التصادمات الفورية القابلة لإعادة الاستخدام لـ MD5 في Java Class يجب أن تكون ممكنة، لكنها تتطلب تحليل الكود وتعديله. ### TAR **الخلاصة** لا يوجد تصادم قابل لإعادة الاستخدام لملفات TAR، ولا استراتيجية أخرى غير البادئة المختارة. أرشيفات الشريط (Tape Archives) هي سلسلة من ترويسة ومحتويات ملف مترابطة، جميعها بمحاذاة 512 بايت. لا يوجد بنية مركزية للملف بأكمله. لذا لا توجد ترويسة عامة أو تعليق من أي نوع يمكن استغلاله. قد تكون الحيلة هي بدء ملف وهمي بطول متغير، لكن الطول دائمًا عند نفس الإزاحة، وهذا غير متوافق مع UniColl، ما يعني أن تصادمات البادئة المختارة فقط هي المفيدة هنا. ## ملخص الاستغلالات الصيغة | عام؟ | FastColl | UniColl | Shattered | HashClash / Shambles -------- | -------- | :------: | :-----: | --------- | :-------: PDF | Y | | x | | x JPG | Y (1) | | x | x (2) | x GZ | Y | | x | | x PNG | Y/N (3) | | x | | x MP4 | Y (4) | | x | x (5) | x PE | Y | | | | x ZIP-based (6) | Y | | | | x | | | | | GIF | N | x | | | x ZIP | N | | x (7) | | x | | | | | ELF | N | | | | x TAR | N | | | | x Mach-O | N | | | | x Class | N | | | | x 1. لدى JPG بعض القيود على البيانات التي يمكن تحسينها إلى حد ما عبر معالجة ترميز المسح الضوئي (scans encoding). 2. PDF مع JPG هو [التنفيذ الأولي](http://shattered.io) لهجوم Shattered، لكنه مجرد خدعة JPG خالصة داخل مستند PDF. 3. PNG: يتطلب Safari/Preview أن تكون كتلة `IHDR` في الخانة الأولى قبل أي كتلة تصادم. القيام بذلك يمنع وجود بادئة عامة، وفي هذه الحالة يقتصر التصادم على أبعاد وفضاء ألوان وBPP وتشابك محددة. 4. صيغ Atom/Box مثل MP4 قد تعمل بنفس البادئة لصيغ فرعية مختلفة. بعض الصيغ الفرعية مثل JPEG2000 أو HEIF تتطلب تهيئة إضافية، لكن استراتيجية الاستغلال نفسها - فقط التصادم غير ممكن بين الصيغ الفرعية، بل فقط مع زوج بادئة لصيغة فرعية محددة. 5. Atom/Box متوافقة مع Shattered عند استخدام أطوال 64bit. 6. بعض الصيغ القائمة على Zip يمكن استغلالها بشكل عام. 7. من أجل توافق أفضل، يحتاج ZIP إلى اثنين من UniColl لأرشيف كامل، وهذه التصادمات تعتمد على محتويات كلا الملفين. ## ملفات الاختبار [هنا](https://github.com/corkami/collisions/blob/master/examples/free/README.md) أزواج اختبار متصادمة مجانية (خالية من حقوق النشر وخالية من المعلومات الشخصية). # الكشف هناك طرق مختلفة لكشف تصادمات التجزئة في الملفات. 1. ملفان: إذا كان لديك ملفان أو أكثر بمحتويات مختلفة ونفس التجزئة، فقط قارن بينهما! ومع ذلك، إذا كان لديك ملف واحد فقط، فقد يكون من الصعب معرفة ما إذا كان الملف يحتوي على تصادم تجزئة. 2. بنية الملف: حلّل الملف عند حدود الكتل، وإذا لاحظت كتلًا عالية الإنتروبيا وربما بادئة/لاحقة متطابقة، فقد تتمكن من معرفة أي تصادم يُستخدم، لكن الأمر معرض للخطأ بشدة. في حالة تصادم ببادئة مختارة، قد يكون من المستحيل اكتشافه لأن كلا الملفين قد يكونان مختلفين في معظمهما إلى جانب معظم كتل التصادم. 3. حساب التجزئة: استخدم تنفيذًا (بلغة [C](https://github.com/cr-marcstevens/hashclash/tree/collisiondetection/src/collisiondetection) أو [Go](https://github.com/therealmik/detectcoll)) لـ DetectColl من مارك ستيفنز (انظر ورقة [Counter-cryptanalysis](https://marc-stevens.nl/research/papers/C13-S.pdf) الخاصة به). يتطلب ملفًا واحدًا فقط لكنه يتطلب أن يكون التصادم في حالة عمل (البادئة الدقيقة وكتل التصادم المقابلة لها)، وهو بطيء. يقدم DetectColl معلومات تقنية عن التصادم نفسه، ويعرض `*coll*` بجانب التجزئة المتصادمة. ## مثال مع شهادة برنامج Flame الخبيث:``` $ detectcoll flame.der Found collision in block 11: dm: dm4=80000000 dm11=ffff8000 dm14=80000000 ihv1=1ba33aac3a7f9ed70aec349b40390e85 ihv2=9ba33aac3c7f60ee8cebf69bc2391085 *coll* c38a66643af816f8438b375b5f42ccbb flame.der ba2499ba3dda9ef818f854b75a2bd1cd9f2b7bed flame.der

يمكنك ملاحظة أن الأخيرة ليست قريبة إلى هذا الحد من السابقات: يعود السبب إلى أن السابقات ينتمين إلى نفس ملف الصورة الخاص بـ hashquines، بينما الأخيرة للغلاف البديل. # المراجع أوراق بحثية (حول استغلال تنسيقات الملفات): - 2004 - [MD5 قد يُعتبر ضارًا يومًا ما](https://eprint.iacr.org/2004/357.pdf) - Dan Kaminsky - [هجمات عملية على التوقيعات الرقمية باستخدام ملخص رسالة MD5](https://eprint.iacr.org/2004/356.pdf) - Ondredj Mikle - 2005: - [ملاحظة حول القيمة العملية لتصادمات التجزئة الفردية لتنسيقات الملفات الخاصة](https://github.com/corkami/collisions/blob/master/papers/Illies_NIST_05.pdf) - Max Gebhardt, Georg Illies, Werner Schindler - 2014: - [التجزئة الخبيثة: نسخة إيف من SHA-1](https://malicioussha1.github.io/) - Ange Albertini, Jean-Philippe Aumasson, Maria Eichlseder, Florian Mendel, Martin Schläffer - 2017: - [أول تصادم لـ SHA-1 الكامل](http://shattered.io) - Marc Stevens, Elie Bursztein, Pierre Karpman, Ange Albertini, Yarik Markov - [بوستسكريبت يعرض MD5 الخاص به](https://archive.org/stream/pocorgtfo14#page/n45/mode/1up) بقلم Gregor "Greg" Kopf - [ملف PDF يعرض MD5 الخاص به](https://archive.org/stream/pocorgtfo14#page/n49/mode/1up) بقلم Mako - [ملف GIF يعرض MD5 الخاص به!](https://archive.org/stream/pocorgtfo14#page/n52/mode/1up) بقلم Kristoffer "spq" Janke - [ملف PDF هو ROM لجهاز NES يطبع تجزئة MD5 الخاصة به!](https://archive.org/stream/pocorgtfo14#page/n55/mode/1up) بقلم Evan Sultanik, Evan Teran - 2018: - [إنشاء ملفات PDF متصادمة SHA-1 بسهولة باستخدام PDFLaTeX.](https://archive.org/stream/pocorgtfo18#page/n62/mode/1up) بقلم Ange Albertini - 2020: - [SHA-1 في حالة فوضى](https://eprint.iacr.org/2020/014.pdf) بقلم Gaëtan Leurent, Thomas Peyrin العروض التقديمية: - 2017 استغلال تصادمات التجزئة في Black Alps: - [الشرائح](https://speakerdeck.com/ange/exploiting-hash-collisions) [](https://speakerdeck.com/ange/exploiting-hash-collisions) - [الفيديو](https://www.youtube.com/watch?v=Y-oJWEYKVLA) [![فيديو استغلال تصادمات التجزئة على يوتيوب](https://assets.kitploit.com/production/public/readmes/47471/c995bb115228391b655125ee5806530149829d3a62b8754485071f5db9512e67.jpg)](https://www.youtube.com/watch?v=Y-oJWEYKVLA) - 2019 KILL MD5 في Pass the Salt: - [الشرائح](https://speakerdeck.com/ange/kill-md5) [](https://speakerdeck.com/ange/kill-md5) - [الفيديو](https://passthesalt.ubicast.tv/videos/kill-md5-demystifying-hash-collisions/) [![فيديو Kill MD5](https://assets.kitploit.com/production/public/readmes/47471/4d7d0e2935f37e9ae363ad7bebe2abb3697978e7b3c1aa57851c54727b7ac49f.jpg)](https://passthesalt.ubicast.tv/videos/kill-md5-demystifying-hash-collisions/) Workshop (CollTris): - [الشرائح](https://speakerdeck.com/ange/colltris) [](https://speakerdeck.com/ange/colltris) - [الفيديو](https://www.youtube.com/watch?v=BcwrMnGVyBI) [](https://www.youtube.com/watch?v=BcwrMnGVyBI) - [المواد](https://github.com/corkami/collisions/blob/master/workshop/README.md) - الجلسات - 2019/07/02 150p, Pass The Salt - 2019/07/24 199p, Google - 2019/08/19 208p, Google - 2019/10/23 222p, Hack.lu - 2019/11/07 225p, Black Alps - 2019/12/03 229p, Google مهام CTF: - [Prudentialv2](https://ctftime.org/task/3453)، من *Boston Key Party CTF 2017*. - [HREFIN](https://ctftime.org/task/6965)، من *Google CTF 2018*. - [Looking glass](https://ctftime.org/task/9271) من *Dragon Sector Teaser CTF 2019*.  من التحديات الشائعة لمهام CTF هذه هو ألا تمنح ميزة أو عائقًا كبيرًا جدًا بناءً على مقدار القدرة الحاسوبية المتاحة لكل لاعب. # شكر وتقدير كل هذا كان ممكنًا بفضل [Marc Stevens](https://marc-stevens.nl/research/)، ليس فقط لإسهاماته في علم التشفير، ولكن أيضًا لمساعدته واقتراحاته الدائمة! شكرًا أيضًا لـ Philippe Teuwen على ملاحظاته الواسعة حول تنسيقات الملفات بشكل عام. # الخلاصة **اقضوا على MD5!** ما لم تتحققوا بنشاط من التشوهات أو كتل التصادم في الملفات، لا تستخدموا MD5! إنها ليست تجزئة تشفيرية، إنها دالة لعبة!

collisions

الأكثر شعبية

جدول المحتويات

مقدمة

الحالة

البادئة المتطابقة

FastColl (MD5)

Shambles (SHA-1)

عمليات مسح مخصصة

عدم التوافق

GIF

GZIP

LZ4 / Zstandard

Portable Executable

MP4 وغيرها

JPEG2000

PDF

JPG في PDF

ZIP

الصيغ المعتمدة على Zip

التجزئة الآمنة

التصادمات المتعددة

البادئة	=	البادئة
التصادم A	≠	التصادم B
اللاحقة	=	اللاحقة