حادثة Coldcard: كيف حدث هذا؟

قبل أن تقرأ:

لم تتأثر Ledger بالتنبيه الذي نُشر مؤخراً بخصوص Coldcard Mk3.

أجهزة Ledger تستخدم مولِّد أرقام عشوائية صحيحة (TRNG) مبني مباشرة في شريحة العنصر الآمن لدينا، مما يولد 256 بتاً كاملة من مقياس عشوائية النظام (الانتروبي) لكل عبارة استرداد سرية مكونة من 24 كلمة. يُرجى الرجوع إلى هذه المقالة للحصول على مزيد من المعلومات.

نشرت كوين كايت (CoinKite) تنبيهاً بخصوص الأمان بشأن إصدارات معينة من البرنامج الثابت لـ Coldcard Mk3 – يمكنك قراءة إشعارهم هنا.

احصل على جهاز توقيع Ledger

حادثة Coldcard: أساس العشوائية

في 31 يوليو 2026، أبلغت Coldcard أن خللاً في البرنامج الثابت قد أضعف الطريقة التي أنشأت بها بعض الأجهزة عبارات البذور، مما أدى إلى خسائر كبيرة للمستخدمين. في أواخر عام 2022، اكتشف فريق Donjon (الدونجون) في Ledger ثغرة أمنية مماثلة في ملحق متصفح محفظة Trust Wallet.

جعل هذا الخلل كل محفظة تم إنشاؤها بواسطة الملحق قابلة للاستعادة من عنوانها العام. من الناحية العملية، يمكن للمهاجم اشتقاق المفاتيح الخاصة وسرقة الأموال دون أي تفاعل من المستخدم. كانت مساحة البحث صغيرة بما يكفي لاختراقها بالقوة الغاشمة.

أبلغ فريق Donjon (الدونجون) عن المشكلة بمسؤولية. قضت Trust Wallet حوالي خمسة أشهر في إصلاح الثغرة في البرنامج وإتاحة الوقت للمستخدمين لترحيل أموالهم قبل أن يتم الكشف عن الثغرة علناً. منعت هذه العملية ببساطة واحدة من أكبر عمليات اختراق المحافظ التي شهدها النظام البيئي على الإطلاق.

علم التشفير صعب. وتطبيقه بشكل آمن أصعب. والجزء الذي لا يكاد يفكر فيه أحد، توليد عشوائية عالية الجودة، هو الذي يتوقف عليه نجاح أو فشل الأمر بأكمله. ولقد جعلت حادثة Coldcard هذا الأسبوع ذلك واضحاً بأغلى ثمن ممكن.

في أواخر عام 2022، اكتشف فريق @DonjonLedger ثغرة أمنية مماثلة في ملحق متصفح Trust Wallet.

جعل هذا الخلل كل محفظة تم إنشاؤها بواسطة الملحق قابلة للاستعادة من عنوانها العام. عملياً، كان يمكن للمهاجم اشتقاق المفاتيح الخاصة وسرقة الأموال…

— تشارلز جيليميت (@P3b7_) 1 أغسطس، 2026

Coldcard: كيف يختلف المشهد اليوم

ما الذي تعطل. كل مفتاح خاص تمتلكه يُشتق من رقم واحد: البذرة. إذا كان هذا الرقم متوقعاً، فإن كل ما يتم اشتقاقه منه سيكون كذلك أيضاً. كان من المفترض أن يستخرج برنامج Coldcard الثابت تلك البذرة من جهاز مولّد الأرقام العشوائية (RNG) مخصص. لم يحدث ذلك. حاجز الحماية (guard) يتحقق مما إذا كان تم تعرييف ماكرو الإعداد (config macro)، وليس إذا كان تم تفعيله؛ ولذلك رجعت البرمجية بصمت مرة أخرى إلى مولّد برمجي مستخرج من الرقم التسلسلي والعداد للشريحة، وهي قيَّم يمكن للمهاجم إعادة بنائها.

كانت الأجهزة القديمة حتميةً فعلياً، بينما اقتصرت الأجهزة الحالية على سقفٍ يقارب 32 بت، أي ما يعادل نحو أربعة مليارات احتمال. انهارت مساحة عبارة بذور تم الإعلان عنها على أنها 128 بت إلى شيء يمكنك حصره. يُقدر الباحثون أنه تم سحب أكثر من 1,000 BTC من حوالي 1,200 محفظة، بسبب عيب موجود في الكود العام منذ مارس 2021. لم تكن هناك حاجة للمس الجهاز على الإطلاق.

يعمل مولّد الأرقام العشوائية (RNG) السيئ في صمت. لا تزال المخرجات تبدو عشوائية وتجتاز الفحص العابر. أنت تكتشف المشكلة عندما يكتشفها شخص آخر، على سلسلة الكتل (on-chain)، في تمام الساعة 21:56 في يوم الخميس. ولهذا السبب لا يمكن للعشوائية أن تكون مجرد وسيلة راحة برمجية ذات مسار احتياطي. يجب أن يتم تصميمها هندسياً، وقياسها، واعتمادها كوظيفة أمان من الدرجة الأولى.

كيف نفعل ذلك في Ledger. نحن نقوم بالبناء على العناصر الآمنة المعتمدة خصيصاً للوصول إلى أفضل بدائيات التشفير، بما في ذلك جهاز مولّد أرقام عشوائية (RNG) صحيح. إن مولِّد الأرقام العشوائية الصحيحة (TRNG) هو فيزياء، وليس معادلة: فهو يستفيد من الظواهر الفيزيائية الفوضوية على السيليكون لإنتاج مقياس عشوائية النظام (الانتروبي) أصلي، لذا لا توجد بذرة لتخمينها. يحتوي العنصر الآمن على أجهزة كشف تراقب الأعطال والتلاعب، وأجهزة استشعار بيئية، ودروعاً نشطة، وكشف الأعطال والجهد الكهربائي. على سبيل المثال، يمكن لدرجة الحرارة القصوى أن تؤدي إلى تدهور مصدر الضوضاء، لذا تم تصميم الأجهزة لالتقاط ذلك بدلاً من شحن مقياس عشوائية النظام (الانتروبي) الضعيف بهدوء. ولا يتم استخدام مقياس عشوائية النظام (الانتروبي) الخام مباشرةً أبداً: يتم تغذية هذا المصدر منخفض الإنتاجية إلى المعالجة اللاحقة للتشفير داخل نظام تشغيل Ledger OS. الفيزياء لمقياس عشوائية النظام (الانتروبي)، والتشفير لتنظيمها.

العشوائية هي الأساس

علم التشفير صعب. وتطبيقه بشكل آمن أصعب. والجزء الذي لا يكاد يفكر فيه أحد، توليد عشوائية عالية الجودة، هو الذي يتوقف عليه نجاح أو فشل الأمر بأكمله.

ولقد جعلت حادثة Coldcard هذا الأسبوع ذلك واضحاً بأغلى ثمن ممكن… pic.twitter.com/Sj55VtvPg1

— تشارلز جيليميت (@P3b7_) 1 أغسطس، 2026

الاعتمادات، وماذا تعني. الادعاءات سهلة. الاعتمادات هي أطراف ثالثة تحاول كسر ادعاءاتك. يتم تقييم مولِّد الأرقام العشوائية الصحيحة (TRNG) الخاص بنا بموجب AIS-31 ومعتمد بدرجة PTG.2. إن AIS-31 هي منهجية BSI الألمانية، المستخدمة ضمن مخطط المعايير المشتركة (Common Criteria)، والتي تحدد كيفية تقييم مولّد الأرقام العشوائية (RNG) المادي الحقيقي، بما في ذلك نموذج عشوائي لمصدر الضوضاء، وليس مجرد اختبارات على المخرجات. يحمل العنصر الآمن اعتماد Common Criteria بدرجة +EAL5+/EAL6. كما أن أجهزة Ledger معتمدة بموجب CSPN، وهو مخطط الاعتماد من المستوى الأول التابع لوكالة ANSSI، مع جودة توليد الأرقام العشوائية صراحةً ضمن النطاق. إن الفشل الدقيق الذي أصاب Coldcard، “توليد رقم عشوائي متحيز أو حتمي”، مُدرج باعتباره التهديد رقم 1 في أهدافنا للأمان التي تم نشرها، ومولِّد الأرقام العشوائية الصحيحة (TRNG) هو وظيفة الأمان التي تجيب عليه.

بشأن المصدر المغلق، بكل صراحة. هذا الجزء من نظام تشغيل Ledger مغلق المصدر. يأتي الوصول إلى تكنولوجيا العنصر الآمن هذه مصحوب بشرط صارم من جانب المورد يقضي بأن يظل التنفيذ على المستوى المنخفض مغلقاً. نحن نحب البرمجيات مفتوحة المصدر، ولكن بين أعلى مستوى من الأمان المعتمد وفلسفة المصدر المفتوح لهذه الطبقة المحددة، اخترنا الأمان، وما زلت أعتقد أن هذا كان القرار الصحيح.

المصدر المغلق لا يعني غير خاضع للتدقيق: إن الكود الخاص بنا يخضع لتقييم دوري من قِبل عدة جهات مستقلة، ويحصل على الاعتماد بشكل متكرر. يجب ألا يعتمد الأمان على الغموض، وهذا المبدأ لا يزال قائماً.

ولكن صحيح أيضاً أن المصدر المغلق يرفع تكلفة البحث عن الثغرات الأمنية بالنسبة للمهاجم. كلا الأمرين صحيحان في نفس الوقت. إن وجود ثغرة أمنية في كود عام لمدة خمس سنوات إلى أن استخدم خِصم، حسبما ورد، الذكاء الاصطناعي لاكتشافها، هو تذكير بأن ’’مفتوح’’ و ’’تمت مراجعته’’ ليستا نفس الكلمة.

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

الخِصم يفعل هذا بالفعل بسرعة الآلة. وكذلك نفعل نحن، قبل أن يفعلوا هم ذلك. المزيد عن نهجنا قريباً.

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

مع نماذج اللغات الكبيرة (LLMs) الحديثة، أصبحت إعادة اكتشاف الثغرات الأمنية، وفهم رقع الإصلاح (باتش)، وبناء مسارات الاستغلال أسهل بشكل كبير. إن الفجوة الزمنية بين ’’تم الإصلاح’’ و ’’تم تحويل الثغرة إلى سلاح’’ آخذة في الانكماش.

لا يزال الإفصاح المسؤول أمراً ضرورياً، ولكن إدارة الثغرات الأمنية يجب أن تتطور. إن رقع الإصلاح الأسرع، والجداول الزمنية الأقصر للإفصاح، واستراتيجيات الترحيل التي تفترض وجود مهاجمين متمكنين ومدعومين بالذكاء الاصطناعي، هي الآن جزء من نموذج الأمان وليست تحسينات اختيارية.

تشارلز جيليميت، مدير التكنولوجيا التنفيذي (CTO) في Ledger