كارثة أمان محفظة Coldcard Bitcoin الصلبة، ما الذي حدث حقًا؟ أفضل تقرير بالذكاء الاصطناعي - Claude Opus 5 Max - حول ما حدث فعليًا مع @COLDCARDwallet. للتحقق، لكن يبدو الأمر محتملًا جدًا، وهذا يعني أن Trezor و Ledger يجب أن يكونا آمنين: "فشل Coldcard **لم يكن** بسبب شريحة TRNG معطوبة. بل كان عيبًا في تكوين البناء قام بتجاوز شريحة TRNG الصلبة بصمت. يُعيّن تكوين لوحة Coldcard `MICROPY_HW_ENABLE_RNG` إلى صفر لأن Coinkite تُزوّد بحزمة خاصة لواجهة RNG خاصة بها. لكن مكتبة libngu تحقق فقط ما إذا كان هذا الماكرو *مُعرّفًا*، وليس ما إذا كان *مُفعّلًا*، لذا نجح البناء وارتبط بصمت ببديل برنامج MicroPython — وهو مولّد "Yasmarang" غير كryptographic مُبَذَّر من UID الشريحة وسجلات SysTick وRTC.¹ لا شيء من هذه القيم سرية: UID هو بيانات مصنع جزئيًا مُعرَّضة كرقم تسلسلي USB، وقيم الموقِّت قابلة للتحديد.¹ النتائج حسب الإصدار:¹ - **Mk2/Mk3 على إصدار البرمجيات v4.0.0–v4.1.9** — لا يوجد أي إنتروبيا كryptographic على الإطلاق. مع معرفة UID وحالة الموقِّت وسجل المكالمات، فإن توليد البذرة *محدد تمامًا*. الحد الأقصى الواقعي عند إعادة التشغيل البارد: حوالي 2^16 إلى 2^40 مرشحات بدلًا من 2^256. - **Mk4/Q/Mk5** — يضيف التشغيل إنتروبيا من العنصر الآمن، لكنه يُشفّرها ويحتفظ فقط بأربعة بايتات، و`reseed()` يُعيد كتابة كلمة حالة واحدة فقط بطول 32 بت. الحد الأقصى: 2^32، بمتوسط ~2^31 محاولة. تفاصيلان يجعلان هذا درسًا مهمًا. تقوم libngu بعمل XOR بين البديل وتدفق Yasmarang *ثاني* مُبَذَّر من قيم ثابتة منشورة — XOR لدخلين قابلين للتكرار لا يزال قابلاً للتكرار.¹ وفحص الصحة يرفض فقط المخرجات المتطابقة المتجاورة، وهو ما يمرره مولد PRNG المحدد بسهولة.¹ لا يساعد SHA256d على النتيجة: التشفير لا يمكنه توسيع مجموعة المرشحات.¹ تم سحب حوالي 594 BTC (~38 مليون دولار) من حوالي 500 محفظة ذات توقيع واحد خلال نافذة زمنية مدتها 25 دقيقة، عبر 1,324 UTXO في نطاق ثلاث كتل.³ يغطي إشعار Coinkite الخاص إصدارات البرمجيات Mk3 من 4.0.1 إلى 5.0.3 ويصرح بأن Mk4/Q/Mk5 غير متأثرة وفق التحليل الأولي؛² لكن تقرير Block المستقل يختلف في هذه النقطة الأخيرة ويضع النماذج الحالية عند الحد 2^32.¹ اعتبر كلا التقريرين أوليين. شيئان يفاجئان الناس: التعرض يعتمد على إصدار البرمجيات الذي يعمل **عند إنشاء البذرة**، وليس تاريخ الشراء أو إصدار البرمجيات الحالي — الترقية لا تصلح بذرة موجودة.¹ وتصدير بذرة ضعيفة إلى محفظة مختلفة لا يصلحها أيضًا.¹ ## كيف تولّد المحافظ الكبرى الإنتروبيا **Ledger** — مصدر واحد، لكنه مصدر مُعتمَد بشدة. تقع TRNG داخل العنصر الآمن؛ يتم توليد الإنتروبيا هناك وتحويلها إلى كلمات BIP39.⁵ تصف مختبر أمان Ledger TRNGs الخاصة بالعنصر الآمن كتصاميم مذبذب حر تم التحقق منها من قبل مختبرات طرف ثالث إلى EAL5+ وAIS-31، واختبارها عبر درجات الحرارة والجهد والتردد مع دمج كشف العيوب.⁴ Nano X هو EAL5+؛ Nano S Plus وStax يستخدمان أجزاء EAL6+.⁶ التنازل صريح: تحصل على اعتماد لكن ليس على قابلية التحقق — النظام الأساسي مغلق المصدر ولا يوجد خلط إنتروبيا من المضيف يمكنك التحقق منه بشكل مستقل. **Trezor** — متعدد المصادر بتصميمه، وهذا هو الحل المعماري لحالة فشل Coldcard. يقوم Model One وModel T بعمل XOR بين إنتروبيا نظام التشغيل المضيف وTRNG الصلب STM32. تضيف Safe 3 وSafe 5 مصدرًا ثالثًا، وهو عنصر أمان Optiga. تضيف Safe 7 مصدرًا رابعًا، وهو شريحة TROPIC01.⁷ السبب هو أن المهاجم يحتاج إلى فشل كل مصدر في نفس الوقت.⁷ بشكل حاسم، يمكنك التحقق منه: يسمح لك `trezorctl` برؤية الإنتروبيا التي أرسلها المضيف وطلب الجهاز عرض إنتروبياه الداخلي، ثم إعادة بناء البذرة بنفسك والتحقق من تطابقها.⁸ أتوماتيكية Trezor Suite 25.2.2 (فبراير 2025) نسخة من هذا كـ "فحص الإنتروبيا"، وهي عملية في `ResetDevice` للبرمجيات.⁹ ¹⁰ **BitBox02** — خمسة مصادر: عشوائية التصنيع، كلمة مرور جهازك، جهاز الكمبيوتر المضيف، وحدة التحكم الدقيقة، والشريحة الآمنة، مدمجة بحيث يمكن لكل منها إضافة إنتروبيا فقط، ولا يمكنها أبدًا خفضها.¹¹ البرمجيات مفتوحة المصدر مع عمليات بناء قابلة لإعادة الإنتاج تم التحقق منها بشكل مستقل من قبل WalletScrutiny.¹² ## ما مدى أمان هذه المحافظ ضد الاختراق؟ الإجابة الصادقة هي أن شريحة TRNG نادرًا ما تكون هي التي تتعرض للهجوم. كل فشل حقيقي كبير في الإنتروبيا كان فشلًا في *التكامل* في البرمجيات: - خطأ Android `SecureRandom` في عام 2013 سرق المحافظ⁴ - Milksad (2023) — استخدم Libbitcoin Explorer Mersenne Twister مُبَذَّر من قيمة ساعة 32 بت؛ تم اختراق حوالي 2,600 محفظة، وتم تأكيد حوالي 900 ألف دولار⁷ - Coldcard (2026) — `#ifndef` كان يجب أن تكون `#if`¹ الهجوم على TRNG معتمد للعنصر الآمن يتطلب امتلاكًا فيزيائيًا ومعدات مختبرية ومهارة متخصصة. استغلال عيب الإنتروبيا يتطلب xpub أو عنوانًا — وهو عام ويعمل كمرجع تحقق مجاني، مما يسمح للمهاجم باختبار البذور المرشحة دون اتصال على نطاق واسع.¹ هذا التفاوت هو السبب في أن التصميم المعماري يتفوق على الاعتماد هنا. إذًا التصنيف العملي: 1. **خلط متعدد المصادر** حيث تسهم مكونات مستقلة كل منها. مصدر واحد معيب لا يمكنه إغراق البذرة. 2. **قابلية التحقق** — برمجيات مفتوحة المصدر ومبنية قابلة لإعادة الإنتاج، بالإضافة إلى طريقة لـ *أنت* للتحقق من أن الإنتروبيا التي قدمتها استُخدمت فعليًا. فحص الإنتروبيا الخاص بتrezor وبناء BitBox القابل لإعادة الإنتاج هما الأمثلة الملموسة. 3. **الاعتماد** — قيمة حقيقية ضد الهجمات الفيزيائية (EAL5+/6+, AIS-31)، لكنه يعتمد المكون، وليس البرمجيات التي تستدعيه. كان لدى Mk4 Coldcard عنصر آمن؛ لكن البرمجيات تخلصت من 28 بايت من أصل 32 بايت.¹ ## إذا كنت تريد إزالة الثقة تمامًا في مولد الإنتروبيانرد. كل رمية D6 تساهم بـ 2.585 بت، لذا فإن 50 رمية تعطي أمانًا بمستوى 128 بت، و99 رمية تعطي أمانًا بمستوى 256 بت.¹³ مسار النرد المخصص في Coldcard يُخزن تسلسل الرميات مباشرة باستخدام SHA256 ويتخطى مولد الجهاز بالكامل² ¹³ — لاحظ أن هذا يعمل فقط عبر `استيراد موجود > رميات النرد`، وليس عبر تدفق المحفظة الجديدة العادي.² تنشر BitBox02 إجراءً مكافئًا.¹¹ لا تُصوّر أبدًا رميات النرد أو تُدخلها في جهاز كمبيوتر متصل بالشبكة.² كلمة مرور BIP39 القوية هي العامل الآخر: فهي تضيف إنتروبيا خارج مولد العشوائية في الجهاز، وهو السبب الذي يجعل Coinkite تقول إن محافظ Mk3 المحمية بكلمة مرور تواجه مخاطر ضئيلة.² إنها تخفيف حقيقي، وليست بديلاً عن النقل. إذا قمت بإنشاء بذرة على Coldcard متأثر، فإن كلًا من Coinkite و Block يوصيان بنقل الأموال — ولاحظ أن مجموعة التوقيع المتعددة المكونة بالكامل من أجهزة عرضة لا توفر أي حماية.¹ ² --- **المصادر** 1. Block Engineering — *الاحتياطي التنبؤي لـ RNG وإعادة التحميل بـ 32 بت في برنامج Coldcard* — https://t.co/YrOOIe9vZq 2. مدونة Coinkite — *إشعار أمان Mk3* — https://t.co/ZSVtMGe7wr 3. CoinDesk — *ثغرة كبيرة في محفظة بيتكوين تُفرغ 594 بيتكوين في عملية سحب مدتها 25 دقيقة* — https://t.co/IoK6xqEUOi 4. Ledger Donjon — *نموذج التهديد: توليد الأرقام العشوائية* — https://t.co/L3pZxe9McO 5. أكاديمية Ledger — *ما هي الإنتروبيا في التشفير؟* — https://t.co/WckSL8rTFM 6. أكاديمية Ledger — *شريحة العنصر الآمن* — https://t.co/0e1bv1VnBr 7. قاعدة معرفة Trezor — *ما هي الإنتروبيا وكيف تقوم Trezor بإنشاء محفظتك؟* — https://t.co/BNQ0E9trcK 8. منتدى Trezor — *فحص الإنتروبيا على Trezor Model One* — https://t.co/y1sTJpp10u 9. Trezor — *تحديث Trezor Suite فبراير 2025* — https://t.co/HV77m2i5uk 10. برنامج Trezor — *core/CHANGELOG.md* — https://t.co/Zllvf7bw5F 11. مركز دعم BitBox — *هل يمكنني إنشاء محفظة باستخدام إنتروبيا خاصة بي؟* — https://t.co/TnGyVIDb2J 12. BitBox — *الأمان على كل مستوى* — https://t.co/Gon18TlnkH 13. وثائق COLDCARD — *التحقق من حسابات رميات النرد* — https://t.co/hATD4o7yI4