تحقیقی نوٹ، 3 ستمبر 2026۔ یہ مضمون مصدقہ حقائق، فراہم کنندہ کے بیانات، آن چین تخمینوں اور ہمارے اپنے تجزیے کے درمیان فرق واضح کرتا ہے۔ جب یہ مضمون تیار کیا گیا، Coinkite کی باضابطہ تکنیکی پس از واقعہ رپورٹ ابھی شائع نہیں ہوئی تھی۔ تفتیش کاروں کی جانب سے مزید لین دین منسوب کیے جانے کے ساتھ نقصانات کی مجموعی مقدار بدلتی رہی؛ لہٰذا ذیل کے اعداد حتمی حساب کے بجائے مخصوص تاریخوں کے عکسی تخمینے ہیں۔

جولائی 2026 میں ہزاروں ایسے پتوں سے Bitcoin غائب ہو گیا جن کے مالکان سمجھتے تھے کہ Coldcard ہارڈویئر والیٹس ان کی کلیدوں کی حفاظت کر رہے ہیں۔ پہلی اور اہم ترین تصحیح ہی سب سے زیادہ حقیقت آشکار کرتی ہے: آلات کو دور سے اپنے قبضے میں نہیں لیا گیا تھا۔ فرم ویئر کی ایک خرابی نے بعض والیٹس بناتے وقت استعمال ہونے والی بے ترتیبی کو کمزور کر دیا تھا۔ حملہ آور کہیں اور محدود شدہ کلیدی فضائے تلاش کھنگال سکتے تھے، ممکنہ نجی کلیدیں بازیافت کر سکتے تھے، اخذ کردہ پتوں کا عوامی Bitcoin بلاک چین سے موازنہ کر سکتے تھے، اور ہارڈویئر کو چھوئے بغیر مماثل رقوم خرچ کر سکتے تھے۔

کوئی تجوری جسمانی طور پر نہایت مضبوط ہو سکتی ہے، مگر اگر اس کے اندر رکھا گیا راز ابتدا ہی سے قابلِ پیش گوئی تھا تو وہ پھر بھی ناکام ہو سکتی ہے۔

اسی لیے یہ واقعہ محض ایک فراہم کنندہ سے کہیں بڑھ کر اہمیت رکھتا ہے۔ یہ ایک اطمینان بخش مگر غلط مختصر مفروضے کو چیلنج کرتا ہے: ہارڈویئر یعنی تحفظ، زیادہ اجزا یعنی زیادہ دفاع، اور خصوصیات کی طویل فہرست یعنی زیادہ یقین دہانی۔ ان میں سے کوئی بات خطراتی نمونہ نہیں۔ سکیورٹی پورے نظام—اینٹروپی، فرم ویئر، ہارڈویئر، بلڈ کے عمل، تقسیم، انٹرفیس، بیک اپس، آپریٹر کے طرزِ عمل اور جسمانی حفاظت—اور ایسے شواہد سے پیدا ہوتی ہے جو بیرونی افراد کو اس کے دعوے جانچنے دیں۔

Coldcard کے ساتھ کیا ہوا

Coinkite کی سرکاری ہدایت کے مطابق متاثرہ فرم ویئر سیڈ بنانے کا ناقص راستہ استعمال کرتا تھا۔ Mk2 یا Mk3 کے فرم ویئر 4.0.1 سے 4.1.9 تک پر بنائے گئے والیٹ سیڈ خطرے سے دوچار تھے، سوائے اس صورت کے کہ کافی مقدار میں نجی اور آزاد ڈائس اینٹروپی شامل کی گئی ہو یا ایک مضبوط اور منفرد BIP39 پاس فریز نے اضافی رکاوٹ قائم کی ہو۔ یہ ہدایت Mk4، Mk5 اور Q آلات پر ان کی اصلاح شدہ Standard یا Edge ریلیز سے پہلے بنائے گئے سیڈز کا بھی احاطہ کرتی ہے۔ ان بعد کے آلات کے لیے Coinkite نے مطلوبہ 128 بٹس کے بجائے تقریباً 72 بٹس اینٹروپی کی اطلاع دی۔

خرابی مارچ 2021 میں جاری کیے گئے فرم ویئر میں پیدا ہوئی اور برسوں تک پوشیدہ رہی۔ ہارڈویئر تحفظ نے اسے دیے گئے راز پر درست کام کیا؛ مسئلہ یہ تھا کہ راز بنانے کے عمل نے متوقع غیر یقینی فراہم نہیں کی۔ جب حملہ آور قابلِ عمل لاگت پر ممکنہ سیڈز کو گن کر آزما سکتا تھا تو عوامی بلاک چین نے رکنیت کی بے خطا جانچ فراہم کر دی: پتے اخذ کریں، قدر تلاش کریں، اور کسی بھی بازیافت شدہ کلید سے دستخط کریں۔ کسی فشنگ پیغام، USB سیشن، چوری شدہ پیکج یا جسمانی رسائی کی ضرورت نہیں تھی۔

کمزور اینٹروپی تباہ کن کیوں ہے

والیٹ سیڈ محض اس لیے محفوظ نہیں ہوتا کہ وہ کسی انسان کو بے ترتیب دکھائی دیتا ہے۔ وہ تب محفوظ ہوتا ہے جب کوئی حریف بنیادی امکانات میں قابلِ عمل طور پر امتیاز یا ان کی مکمل گنتی نہ کر سکے۔ اینٹروپی کا ہر بٹ فضائے تلاش کو دگنا کرتا ہے۔ 128 بٹس سے 72 بٹس پر آنا سیڈ کو صرف ”کچھ کمزور“ نہیں کرتا؛ یہ محنت کے 56 دگنے مراحل ختم کر دیتا ہے۔ اس سے بھی چھوٹی مؤثر فضائے تلاش، فلکیاتی حد تک ناممکن تلاش کو ایک انجینئرنگ منصوبے میں بدل دیتی ہے۔

بازیافتی الفاظ قواعدی اعتبار سے درست رہتے ہیں۔ پتے معمول کے دکھائی دیتے ہیں۔ ہارڈویئر معمول کے مطابق دستخط کرتا ہے۔ بیک اپ درست طور پر بحال ہوتے ہیں۔ یہ ایک خاموش ناکامی ہے: ہر نظر آنے والا عمل کامیاب ہو سکتا ہے، حالاں کہ سکیورٹی کی بنیادی شرط پہلے ہی منہدم ہو چکی ہوتی ہے۔ اسی لیے بے ترتیب اعداد بنانے کے نظام کو وائرنگ کے گرد تعینی ٹیسٹ، اینٹروپی کے ماخذ کے گرد حقیقی آلے پر پیمائشی نگرانی، اور ایسے ریلیز شواہد درکار ہیں جو زیرِ جائزہ ماخذ کو تقسیم شدہ فرم ویئر سے جوڑیں۔

چوری مرحلہ وار لہروں میں ہوئی

30 جولائی کو پہلی رپورٹ شدہ سویپ نے تقریباً 25 منٹ میں لگ بھگ 500 پتوں سے قریب 594 BTC منتقل کیے۔ بعد کی نسبت کاری نے واقعے کا دائرہ وسیع کر دیا۔ 5 اگست کو شائع ہونے والے TRM Labs کے جائزے نے اس وقت کے حساب سے چار لہروں میں 5,200 سے زیادہ پتوں سے قریب 1,816 BTC—یعنی تقریباً USD 116 ملین—کی جاری مجموعی مقدار بیان کی۔ دوسرے تفتیش کاروں نے تصدیق کے مختلف قواعد استعمال کیے اور بعد میں قدرے مختلف مجموعے رپورٹ کیے۔ اس لیے ان اعداد کو پیمانے کے ثبوت کے طور پر پڑھنا چاہیے، کسی طے شدہ حتمی کھاتے کے طور پر نہیں۔

Coinkite کا موجودہ سکیورٹی اسٹیٹس صفحہ واضح طور پر کہتا ہے کہ باضابطہ پس از واقعہ رپورٹ پر کام جاری ہے اور یہ دعویٰ نہیں کرتا کہ ہر رپورٹ شدہ نقصان کو انفرادی طور پر منسوب کر دیا گیا ہے۔ یہ غیر یقینی واقعے کو معمولی سمجھنے کی وجہ نہیں؛ بلکہ تصدیق شدہ طریقۂ کار، مشاہدہ شدہ لین دین، تجزیاتی نسبت کاری اور حتمی فارنزک نتیجے کے درمیان فرق قائم رکھنے کی وجہ ہے۔

فرم ویئر اپ ڈیٹ کرنے سے پرانا سیڈ درست نہیں ہوتا

یہ وہ عملی حقیقت ہے جسے متاثرہ صارفین نظر انداز نہیں کر سکتے۔ اصلاح شدہ فرم ویئر مستقبل میں سیڈ بنانے کا عمل درست کرتا ہے؛ وہ پہلے سے موجود سیڈ میں ماضی سے اینٹروپی شامل نہیں کر سکتا۔ اسی سیڈ سے نئے ہارڈویئر پر بحال کیا گیا والیٹ بدستور اسی کمزور راز کے زیرِ اختیار رہتا ہے۔ دھاتی غلاف بدلنے، موبائل ایپ نصب کرنے یا الفاظ کو کسی دوسرے برانڈ پر منتقل کرنے سے کلید نہیں بدلتی۔ رقوم کو ایسے پتوں پر منتقل کرنا لازم ہے جو نئے بنائے گئے اور آزادانہ طور پر محفوظ سیڈ سے اخذ ہوں۔

3 ستمبر 2026 کو کی گئی تصدیق کے مطابق Coldcard کے اسٹیٹس صفحے نے Mk4/Mk5 Standard 5.6.1 اور Q Standard 1.5.1Q کو تجویز کردہ Standard ریلیز قرار دیا تھا۔ کم از کم اصلاح شدہ ورژن یہ تھے: Mk2/Mk3 کے لیے 4.2.0 یا بعد کا؛ Mk4/Mk5 Standard کے لیے 5.6.0 یا بعد کا؛ Q Standard کے لیے 1.5.0Q یا بعد کا؛ Mk4/Mk5 Edge کے لیے 6.6.0X یا بعد کا؛ اور Q Edge کے لیے 6.6.0QX یا بعد کا۔ ریلیز ٹریک اہم ہیں: عددی لحاظ سے بڑا Edge ورژن لازماً کسی اصلاح شدہ Standard ریلیز کے مساوی نہیں ہوتا۔

اگر ممکن ہے کہ آپ متاثر ہوئے ہوں

  1. غلاف پر انحصار چھوڑ دیں۔ ماڈل، ریلیز ٹریک، سیڈ بناتے وقت استعمال ہونے والا فرم ویئر، اور یہ طے کریں کہ آیا آزاد ڈائس سے متعلق سرکاری استثنا واضح طور پر لاگو ہوتا ہے۔ اگر یقین نہ ہو تو سیڈ کو متاثرہ سمجھیں۔

  2. صرف سرکاری ہدایات استعمال کریں۔ Coldcard کی ہدایت اور سکیورٹی اسٹیٹس صفحہ براہِ راست کھولیں، دستخط شدہ فرم ویئر اور شائع شدہ ہیشز کی تصدیق کریں، اور بلاطلب ”منتقلی کی مدد“ مسترد کریں۔ کسی جائز مددگار کو آپ کے ریکوری فریز کی ضرورت نہیں ہوتی۔

  3. اصلاح شدہ ماحول میں بالکل نیا سیڈ بنائیں۔ پرانے فریز کے الفاظ میں ترمیم، ان کی ترتیب نو یا ان میں اضافہ نہ کریں۔ نئے والیٹ کو نئی اینٹروپی درکار ہے۔ قابلِ ذکر بیلنس کے لیے کسی آزاد نفاذ یا درست طور پر وضع کردہ ملٹی سگنیچر پالیسی پر غور کریں تاکہ کسی ایک فراہم کنندہ کا سیڈ راستہ اعتماد کی واحد جڑ نہ ہو۔

  4. رقم ڈالنے سے پہلے بازیافت کی تصدیق کریں۔ بیک اپ کو نجی طور پر محفوظ کریں، ایک قابو یافتہ طریقۂ کار میں اسے بحال کریں، اور متوقع عوامی فنگرپرنٹ یا وصولی کے پتے کی تصدیق کریں۔ جس بیک اپ کو کبھی آزمایا نہ گیا ہو وہ محض ایک مفروضہ ہے۔

  5. پہلے معمولی آزمائشی رقم، پھر باقی رقم منتقل کریں۔ مکمل بیلنس منتقل کرنے سے پہلے منزل اور تصدیق کی جانچ کریں۔ عجلت میں فی البدیہہ اقدامات سے بچیں، مگر پُرسکون طریقۂ کار کو بے نقاب سیڈ کی منتقلی مؤخر کرنے کی اجازت نہ سمجھیں۔

  6. پرانے سیڈ کو سبک دوش کریں۔ فرم ویئر اپ ڈیٹ اور بعد میں شامل کیا گیا مضبوط پاس فریز اسے درست نہیں کرتے۔ ٹیکس یا قانونی مقاصد کے لیے ضروری ریکارڈ رکھیں، مگر راز کی غیر ضروری نقول محفوظ نہ کریں۔

Coinkite کے مطابق متاثرہ Add Dice Rolls طریقۂ کار میں کم از کم 50 منصفانہ، آزاد اور نجی ڈائس رولز نے صرف ڈائس ہی سے کم از کم 128 بٹس فراہم کیے؛ 99 یا زیادہ رولز نے تقریباً 256 بٹس فراہم کیے۔ عین شرائط اہم ہیں۔ اگر سلسلہ ریکارڈ کیا گیا تھا، کسی نے دیکھا تھا، اس میں جانب داری تھی، وہ غیر آزاد تھا یا اس کے بارے میں غیر یقینی ہے تو محض گنتی سے تحفظ اخذ نہ کریں۔ پہلے سے موجود مضبوط BIP39 پاس فریز ایک رکاوٹ بڑھا سکتا ہے، مگر Coinkite پھر بھی منتقلی کا مشورہ دیتا ہے اور پاس فریز کو سیڈ کی مرمت قرار نہیں دیتا۔

آلہ ہیک نہیں ہوا تھا—اور یہی زیادہ گہری تنبیہ ہے

ہر نقصان کو ”ہارڈویئر والیٹ ہیک“ کہنا ناکامی کی کئی مختلف اقسام کو ایک سنسنی خیز فقرے میں سمیٹ دیتا ہے۔ اس سے وہ کنٹرول چھپ جاتے ہیں جو مددگار ہو سکتے تھے۔ Coldcard واقعے میں حملہ آور نے کسی متاثرہ شخص کے قبضے میں موجود کیس، کی پیڈ، USB کنٹرولز یا سکیور ایلیمنٹ کو شکست نہیں دی۔ اس نے آلے کو بائی پاس کیا کیونکہ بنیادی راز کو گن کر تلاش کیا جا سکتا تھا۔

سکیورٹی کی حد صرف اسی چیز کی حفاظت کرتی ہے جو اس سے گزرتی ہے۔ اگر سکیور ایلیمنٹ میں داخل ہونے والی کلید کمزور ہو، اگر بدنیتی پر مبنی فرم ویئر دستخطوں کے ذریعے اسے خارج کرے، اگر اسکرین حملہ آور کے قابو والی منزل دکھائے، یا اگر کسی شخص کو منتقلی کی اجازت دینے پر مجبور کیا جائے تو مختص ہارڈویئر کی موجودگی اس حملے کا جواب نہیں بنتی۔

ہارڈویئر والیٹ کے تمام نقصانات ایک جیسے نہیں ہوتے

کئی دستاویزی واقعات اور تحقیقی مظاہرے بتاتے ہیں کہ اس زمرے میں دقیق امتیاز کیوں ضروری ہے۔ یہ ثابت نہیں کرتے کہ ہارڈویئر والیٹس بے کار ہیں۔ یہ دکھاتے ہیں کہ ہارڈویئر خطرے کو چپس، فرم ویئر، سپلائی چینز، میزبان سافٹ ویئر، دستخطی پروٹوکولز، بیک اپس اور انسانی طریقۂ کار کے ایک مختلف نظام میں منتقل کرتا ہے۔

1. فالٹ انجیکشن اور سیڈ کا جسمانی اخراج

2020 میں، Kraken Security Labs نے افشا کیا کہ Trezor One اور Model T آلات کے خلاف وولٹیج گلچنگ کی تکنیک استعمال کی جا سکتی ہے۔ Kraken نے رپورٹ کیا کہ تقریباً 15 منٹ کی جسمانی رسائی سے رمز بند سیڈ مواد نکالنا ممکن ہو سکتا ہے، جس کے بعد مختصر PIN کو بروٹ فورس کیا جا سکتا ہے۔ اس کا عملی تدارک ایسا مضبوط BIP39 پاس فریز تھا جو آلے پر محفوظ نہ ہو۔ Kraken نے KeepKey کے خلاف بھی اسی نوع کے حملے کو دستاویزی شکل دی۔

یہ Coldcard سے مختلف خطرہ ہے۔ اس کے لیے ہدف آلے کا قبضہ اور تجربہ گاہی طرز کا فالٹ انجیکشن درکار ہے۔ یہ واضح کرتا ہے کہ چھیڑ چھاڑ کے خلاف مزاحمت منتخب مائیکروکنٹرولر اور ذخیرہ کاری کے ڈیزائن پر منحصر ہے، اور PIN لازماً زیادہ اینٹروپی والا رمز بندی راز نہیں ہوتا۔

2. اصلی ہارڈویئر دستخط کنندہ کے گرد سمجھوتہ شدہ سافٹ ویئر

دسمبر 2023 میں، Ledger Connect Kit کے سپلائی چین واقعے نے ان dApps میں بدنیتی پر مبنی کوڈ داخل کر دیا جو سمجھوتہ شدہ پیکج لوڈ کرتے تھے۔ Ledger کے مطابق، کوڈ نے EVM صارفین کو ایسے لین دین پر دستخط کرنے کے فریب میں مبتلا کیا جو ان کی رقوم نکال لیتے تھے۔ ہارڈویئر آلات نے ازخود اپنے سیڈ ظاہر نہیں کیے؛ ان کے گرد موجود نظام نے جائز دستخط کنندگان کے سامنے بدنیتی پر مبنی ارادہ پیش کیا۔

ناکامی کی یہی قسم بتاتی ہے کہ ”کلید کبھی آلے سے باہر نہیں گئی“ ضروری تو ہے مگر کافی نہیں۔ جب صارف، میزبان یا ڈسپلے قابلِ اعتماد طور پر نہ سمجھ سکے کہ کس چیز پر دستخط ہو رہے ہیں تو محفوظ کلید بھی پوری وفاداری سے غلط لین دین کی اجازت دے سکتی ہے۔ لین دین کی واضح تعبیر، قابلِ اعتماد ڈسپلے، محدود اجازتیں، انحصارات پر کنٹرول اور بلائنڈ سائننگ کے خلاف مزاحمت تحویلی سکیورٹی کا حصہ ہیں۔

3. بدنیتی پر مبنی فرم ویئر جو معمول کے دستخطوں سے راز خارج کرے

Block کے محققین نے ایک عملی تحقیقی حملہ شائع کیا ہے جس میں سمجھوتہ شدہ والیٹ فرم ویئر خفیہ طور پر بظاہر معمول کے دستخطوں میں راز سے متعلق مواد کو رمز بند کرتا ہے۔ ان کا خطراتی نمونہ سپلائی چین میں رخنے، اندرونی فرد کی کارروائی، بلڈ سسٹم سے سمجھوتے یا دستخطی کلید سے سمجھوتے جیسے راستوں سے فرم ویئر کے سمجھوتے کو فرض کرتا ہے۔ اگر دستخط شدہ لین دین ہی اخراج کا ذریعہ بن جائے تو ایئر گیپ مدد نہیں دیتا۔

یہاں قابلِ تکرار بلڈز، متعدد آزاد بلڈرز، مقید انحصارات، سکیور بوٹ اور ملٹی سگنیچر تنوع بامعنی ہوتے ہیں۔ یہ ایک زنجیر کی مخصوص کڑیوں سے نمٹتے ہیں۔ یہ ڈیزائن، ماخذ یا آپریٹر کی جادوئی طور پر تصدیق نہیں کرتے۔

4. بیک اپ کا افشا، پتے کی تبدیلی اور جبر

بہت سی حقیقی چوریاں کبھی سلیکان کا استحصال نہیں کرتیں۔ حملہ آور سیڈ بیک اپ چراتے یا ان کی تصویر لیتے ہیں، وصولی کا پتہ بدلتے ہیں، معاون عملے کی نقالی کرتے ہیں، خریداری یا ترسیل کے عمل سے سمجھوتہ کرتے ہیں، کمزور PIN کے ساتھ آلہ حاصل کرتے ہیں، یا مالک کو تعاون پر مجبور کرتے ہیں۔ ریکوری فریز اپنے ڈیزائن کے باعث قابلِ نقل بنیادی سند رہتا ہے: جسے یہ مل جائے وہ اصل آلہ کہیں بھی ہو، والیٹ کو کسی اور جگہ بحال کر سکتا ہے۔

زیادہ پیچیدگی سکیورٹی کو بدتر کیوں بنا سکتی ہے

پیچیدگی کبھی کبھی جائز ہوتی ہے۔ الگ ڈسپلے لین دین کے جائزے کو زیادہ قابلِ اعتماد بنا سکتا ہے۔ سکیور ایلیمنٹ جسمانی اخراج کی لاگت بڑھا سکتا ہے۔ ملٹی سگنیچر کسی ایک کلید کو واحد نقطۂ ناکامی بننے سے روک سکتا ہے۔ مگر ہر اضافی طریقہ انٹرفیس، حالتیں، اپ ڈیٹ راستے، انحصارات، بازیافتی طریقۂ کار اور مفروضے بھی پیدا کرتا ہے۔ درست سوال یہ نہیں کہ ”کیا یہ پیچیدہ ہے؟“ بلکہ یہ ہے کہ ”ہر جزو کس خطرے کو قابو کرتا ہے، اور کون سے نئے ناکامی کے طریقے متعارف کراتا ہے؟“

Saltzer اور Schroeder کا کلاسیکی اصول، طریقۂ کار کی کفایت، کہتا ہے کہ حفاظتی ڈیزائن حتی الامکان سادہ اور مختصر ہونے چاہییں تاکہ معائنہ اور فہم قابلِ عمل رہیں۔ جدید نظامی سکیورٹی سے متعلق NIST کی رہنمائی بھی حملے کی سطح گھٹانے اور بڑے، تجزیہ کرنے میں دشوار کثیر الوظائف اجزا کو معماری کے مسائل تصور کرتی ہے۔ سادگی کنٹرولز کی عدم موجودگی نہیں؛ یہ ایسے کنٹرول شامل کرنے سے انکار ہے جن کے رویے کی وضاحت، جانچ اور درست عمل کاری ممکن نہ ہو۔

  • زیادہ کوڈ زیادہ ممکنہ نقائص پیدا کرتا ہے۔ اس سے مکمل جائزہ زیادہ مہنگا اور باہمی تعاملات پر استدلال زیادہ دشوار بھی ہو جاتا ہے۔

  • زیادہ موڈز تشکیل کے خطرے کو بڑھاتے ہیں۔ Standard بمقابلہ Edge فرم ویئر، سیڈ کے متعدد طریقۂ کار، پاس فریز والیٹس، USB اور ایئر گیپڈ راستے، اور بیک اپ کی مختلف صورتیں تنہائی میں محفوظ ہو سکتی ہیں مگر باہم مل کر الجھن پیدا کر سکتی ہیں۔

  • زیادہ انٹرفیس مفہوم کی منتقلی میں خطا کا خطرہ بڑھاتے ہیں۔ ہارڈویئر اسکرین، میزبان ایپ، QR فارمیٹ، microSD طریقۂ کار، براؤزر کنیکٹر اور نیٹ ورک بیک اینڈ کو عین اس بات پر متفق ہونا چاہیے کہ صارف کس چیز کی اجازت دے رہا ہے۔

  • زیادہ رسمی مراحل تعمیل گھٹا سکتے ہیں۔ اگر محفوظ راستہ دشوار ہو تو لوگ تصدیق چھوڑ دیتے ہیں، اپ ڈیٹس ملتوی کرتے ہیں، بیک اپ دوبارہ استعمال کرتے ہیں، یا ہنگامی ہدایات کو سمجھے بغیر ان پر عمل کرتے ہیں۔

  • زیادہ اعتماد نقصان بڑھا سکتا ہے۔ ”کولڈ“، ”ایئر گیپڈ“ یا ”ناقابلِ ہیک“ کے طور پر پیش کی جانے والی مصنوعات صارف کو ایک سیڈ کے پیچھے زیادہ قدر یکجا کرنے پر آمادہ کر سکتی ہیں۔ یہ ارتکاز ایک پوشیدہ نقص کو تباہ کن نتیجے میں بدل دیتا ہے۔

دفاع کی متعدد تہیں تب قدر رکھتی ہیں جب وہ آزاد ہوں۔ ایک ہی نفاذ، ایک ہی اینٹروپی ماخذ، ایک ہی فراہم کنندہ یا ایک ہی بازیافتی راز کی تکرار آزاد دفاع نہیں۔

اوپن سورس، آڈٹس، قابلِ تکرار بلڈز اور AI جائزہ مترادف نہیں

Coldcard کا ریکارڈ غیر معمولی طور پر سبق آموز ہے، کیونکہ اس کا فرم ویئر عوامی تھا اور قابلِ تکرار بلڈ کی دستاویزات موجود تھیں، پھر بھی کمزور راستہ برسوں تک ریلیزز میں رہا۔ اس سے شفافیت بے فائدہ ثابت نہیں ہوتی۔ یہ دکھاتا ہے کہ شواہد کی دستیابی اور درست خاصیت کا واقعی معائنہ دو الگ چیزیں ہیں۔

  • اوپن سورس کا مطلب ہے کہ بیرونی افراد نفاذ کا معائنہ کر سکتے ہیں۔ اس سے یہ ثابت نہیں ہوتا کہ کسی نے سکیورٹی کے ہر اہم راستے کا جائزہ لیا، یا یہ کہ عوامی سورس ٹری ہی سے نصب شدہ بائنری تیار ہوئی۔

  • ایک آزاد آڈٹ محدود دائرے کی سرگرمی ہے۔ اس کی قدر نام زد جائزہ کار، عین کمٹ یا ورژن، خطراتی نمونے، آزمودہ خصوصیات، مستثنیات، نتائج اور اصلاحی شواہد پر منحصر ہے۔ دائرۂ کار کے بغیر ”آڈٹ شدہ“ محض ایک نعرہ ہے۔

  • ایک قابلِ تکرار بلڈ آزاد بلڈرز کو شائع شدہ طریقہ اپنانے اور نتائج کا موازنہ کرنے دیتا ہے۔ مماثلت ماخذ کو ریلیز آرٹی فیکٹ سے جوڑ سکتی ہے؛ یہ ماخذ کے درست ہونے کو ثابت نہیں کرتی۔

  • App Store جائزہ اور کوڈ سائننگ تقسیم اور پلیٹ فارم کے کنٹرول قائم کرتے ہیں۔ بذاتِ خود یہ ثابت نہیں کرتے کہ App Store کی بائنری عوامی ریپوزٹری کے ساتھ بٹ بہ بٹ مساوی ہے۔

  • AI کی معاونت سے کیا گیا جائزہ بڑے کوڈ بیسز میں تلاش، حریفانہ مفروضوں کی تشکیل، مستقل خواص کا موازنہ اور انسانی تجزیے کی رفتار بڑھا سکتا ہے۔ کوئی ماڈل سیاق کھو بھی سکتا ہے، غلط مقدمہ قبول کر سکتا ہے، یا بظاہر معقول مگر غلط نتیجہ پیش کر سکتا ہے۔ AI جائزہ ایک اور زاویۂ نگاہ ہے، کوئی تصدیقی اتھارٹی نہیں۔

Coldcard کا موجودہ اسٹیٹس صفحہ دائرۂ کار بیان کرنے کی اچھی مثال پیش کرتا ہے: یہ حقیقی آلے پر RNG کی ہدف بند پیمائشی نگرانی، ماخذ کے جائزوں، ہاٹ فکس کے جائزے، اور قابلِ تکرار بلڈ کے ساتھ ڈائس راستے کی ٹریس کا نام لیتا ہے؛ پھر واضح طور پر کہتا ہے کہ یہ جانچیں ہر فرم ویئر بائنری کا مکمل آڈٹ نہیں اور نقائص کی عدم موجودگی کی ضمانت نہیں دیتیں۔ یہ جملہ کسی غیر مشروط تمغے سے زیادہ قیمتی ہے۔

Aperture دیانت داری سے کیا دعویٰ کر سکتا ہے

Aperture ایک مختلف تحویلی معماری کے گرد بنایا گیا ہے: مختص ہارڈویئر دستخط کنندہ کے بجائے iPhone اور iPad کی ایسی ایپ جس کا ماخذ دستیاب ہے۔ عوامی ریپوزٹری MIT لائسنس کے تحت موبائل کلائنٹ اور بلڈ کی ہدایات سامنے رکھتی ہے۔ شائع شدہ سکیورٹی ماڈل کے مطابق والیٹ کے راز ایپ کے دائرے والے iOS Keychain میں صرف اسی آلے کے لیے تحفظ کے ساتھ محفوظ ہوتے ہیں، جب کہ مقامی ڈیٹابیس ریکوری فریز یا نجی کلیدوں کے بجائے مبہم حوالہ جات رکھتا ہے۔ لین دین آلے ہی پر تشکیل پاتے اور دستخط ہوتے ہیں، اس سے پہلے کہ دستخط شدہ ڈیٹا نیٹ ورک انفراسٹرکچر کو بھیجا جائے۔

Apple کی پلیٹ فارم سکیورٹی دستاویزات لازمی کوڈ سائننگ، شناخت شدہ ڈویلپرز، خودکار اور انسانی App Store جائزے، سینڈ باکسنگ اور رن ٹائم دستخط کے نفاذ کو بیان کرتی ہیں۔ اس کی Keychain دستاویزات ہر آئٹم کے الگ تحفظ اور Keychain کی کلیدی کارروائی میں Secure Enclave کی شمولیت بیان کرتی ہیں۔ یہ حقیقی پلیٹ فارم کنٹرولز ہیں۔ یہ اس بات کا دعویٰ نہیں کہ Aperture کی بلاک چین نجی کلیدیں خود Secure Enclave کلیدیں ہیں، اور Aperture ایسا دعویٰ نہیں کرتا۔

Aperture جان بوجھ کر مصنوعات کا دائرہ بھی محدود رکھتا ہے۔ یہ کوئی تحویلی اکاؤنٹ یا کمپنی کے پاس رکھی بازیافتی نقل نہیں چلاتا، اور اس کا بنیادی ڈیزائن والیٹ کو خرید و فروخت کی ڈیسک، سواپ انجن یا عمومی اِن والیٹ براؤزر بنانے سے گریز کرتا ہے۔ ورژن 2.40.12 نے اس وقت انتہائی تکرار، غلبے اور قابلِ پیش گوئی چکروں کے لیے طبعی بے ترتیبی کی صحت جانچیں شامل کیں جب صارفین ڈائس، سکّے کے اچھال یا ہندسوں سے اینٹروپی بناتے ہیں۔ یہ جانچیں واضح ناکامی کے نمونے پکڑ سکتی ہیں؛ یہ ثابت نہیں کر سکتیں کہ کوئی طبعی عمل منصفانہ یا نجی تھا۔

کیا Aperture ہارڈویئر والیٹ سے زیادہ محفوظ ہو سکتا ہے؟

بعض خطراتی نمونوں کے لیے، ہاں۔ ایک عالمگیر دعوے کے طور پر، نہیں۔ فون والیٹ مختص آلے کے تیاری اور ترسیل کے راستے سے بچ سکتا ہے، ایسی اشیا کی تعداد گھٹا سکتا ہے جو بظاہر قیمتی تحویل کا اشارہ دیتی ہیں، تیز دستخط شدہ اپ ڈیٹس اور پختہ سینڈ باکسنگ والا پلیٹ فارم استعمال کر سکتا ہے، اور قابلِ معائنہ نفاذ کو ایسے مانوس انٹرفیس میں رکھ سکتا ہے جسے صارفین کے درست طور پر چلانے کا امکان زیادہ ہو۔ خصوصیات کا مختصر دائرہ براؤزر، سواپ، منظوری اور مختلف آلات کے درمیان مفہوم منتقل کرنے کے خطرات کی پوری اقسام بھی ختم کر سکتا ہے۔

دوسرے خطراتی نمونوں کے لیے، درست طور پر تیار کیا گیا الگ دستخط کنندہ ایک اہم حد ہے۔ اگر فون کے آپریٹنگ سسٹم یا والیٹ پراسیس سے سمجھوتہ ہو جائے تو جسمانی علیحدگی اور آزادانہ طور پر قابلِ اعتماد ڈسپلے نیٹ ورک سے منسلک میزبان کو کلید حاصل کرنے یا غلط استعمال کرنے سے روک سکتے ہیں۔ ادارہ جاتی یا زندگی بدل دینے والی قدر کے لیے زیادہ مضبوط معماری آزاد نفاذات، آزاد اینٹروپی، الگ مقامات اور دستاویزی بازیافت استعمال کرنے والی احتیاط سے آزمودہ ملٹی سگنیچر پالیسی ہو سکتی ہے—ایک فون اور ایک ہارڈویئر ڈبے کے درمیان مقابلہ نہیں۔

اس لیے لفظ ”ہارڈویئر“ کو کبھی تجزیے کا اختتام نہیں بننا چاہیے۔ iPhone بھی ہارڈویئر ہے۔ متعلقہ فرق یہ ہیں کہ کون سا کوڈ چلتا ہے، اسے کیسے بنایا اور تقسیم کیا گیا، راز کہاں دستیاب ہوتے ہیں، صارف کس چیز کی تصدیق کر سکتا ہے، لین دین کیسے دکھائے جاتے ہیں، اپ ڈیٹس کیسے ہوتی ہیں، اور کون سی واحد ناکامیاں رقوم منتقل کر سکتی ہیں۔

شواہد کی حد Aperture کے لیے بھی اہم ہے

Aperture کی ویب سائٹ اس وقت کہتی ہے کہ ایپ کا آزادانہ آڈٹ ہوا ہے اور اسے قابلِ تکرار انداز میں بلڈ کیا جاتا ہے۔ اس کی عوامی آڈٹ رجسٹری کو جائزہ کاروں کے نام، عین دائرۂ کار، تاریخوں، زیرِ جائزہ ورژنز، رپورٹس، نتائج، اصلاحات، ہیشز اور قابلِ تکراریت کے مواد کے لیے حتمی مستند مقام قرار دیا گیا ہے۔ اشاعت کے وقت اس رجسٹری پر یہ ٹھوس آرٹی فیکٹس ابھی دکھائی نہیں دیتے تھے۔ عوامی GitHub ریپوزٹری میں بھی ایسے ریلیز آرٹی فیکٹس موجود نہیں تھے جن کے مقابل App Store بائنری کی مماثلت آزادانہ طور پر دوبارہ ثابت کی جا سکتی۔

لہٰذا یہ مضمون یہ دعویٰ نہیں کرتا کہ ”App Store بائنری کی ہر سطر کا محفوظ ہونا ثابت ہو چکا ہے“، کہ کئی کمپنیوں نے ہر رویے کی تصدیق کی ہے، یا یہ کہ AI نے پوری ایپلی کیشن کی توثیق کر دی ہے۔ ایسے بیانات دستیاب عوامی شواہد سے تجاوز کریں گے۔ تکنیکی طور پر درست امتیاز یہ ہے کہ سورس کوڈ GitHub پر شائع ہے، جب کہ Apple ایک دستخط شدہ، مرتب شدہ بائنری App Store کے ذریعے تقسیم کرتا ہے۔ دونوں کو جوڑنے کے لیے عوامی بلڈ نسخہ، ناقابلِ تغیر سورس ریویژن، انحصارات کا لاک، محفوظ کیا گیا App Store آرٹی فیکٹ، Apple سائننگ کے اثرات کو معمول پر لانے کا طریقہ، مماثلت کا نتیجہ اور آزادانہ تصدیقی بیان درکار ہیں۔

تصدیق سب سے مضبوط تب ہوتی ہے جب دعوے کے ساتھ اتنے شواہد ہوں کہ کوئی شکی اجنبی اسے دوبارہ ثابت کر سکے۔ Aperture کو بھی اسی معیار پر اتنی ہی سختی سے پرکھا جانا چاہیے جتنی کسی ہارڈویئر والیٹ فراہم کنندہ کو۔

جامعاتی معیار کے تصدیقی مجموعے میں کیا ہونا چاہیے

محققین، آڈیٹرز، صحافیوں اور ادارہ جاتی جائزہ کاروں کے لیے والیٹ سکیورٹی کا معتبر دعویٰ تمغوں کی دیوار کے بجائے شواہد کی ایسی زنجیر ہونا چاہیے جس میں راستہ تلاش کیا جا سکے۔ کم از کم یہ چیزیں طلب کریں:

  1. ایک دقیق خطراتی نمونہ۔ دور سے سمجھوتے، جسمانی اخراج، بدنیتی پر مبنی اپ ڈیٹس، بلڈ سسٹم سے سمجھوتے، کمزور اینٹروپی، لین دین کی تبدیلی، بیک اپ کی چوری، جبر اور دستیابی کو الگ الگ نام دیں۔

  2. ناقابلِ تغیر زیرِ جائزہ ریویژن۔ اس کمٹ، انحصارات کے گراف، کمپائلر اور SDK ورژنز، بلڈ فلیگز، استحقاقات اور تشکیل کی نشاندہی کریں جو دائرۂ کار میں تھے۔

  3. نام زد آزاد رپورٹ۔ جائزہ کار، طریقۂ کار، تاریخیں، مستثنیات، شدت کے معیارات، نتائج اور ہر اصلاح کو مکمل قرار دینے کے لیے استعمال شدہ شواہد شائع کریں۔

  4. ماخذ سے بائنری تک قابلِ تکراریت۔ عین عوامی ریلیز سے منسلک مکمل نسخہ اور آزاد بلڈ نتائج فراہم کریں۔ کسی بھی غیر تعینی یا سائننگ سے پیدا شدہ فرق کی وضاحت کریں۔

  5. اینٹروپی راستے کے شواہد۔ حقیقی ہارڈویئر پر ماخذ آزمائیں، ناکامی کے رویے کی تصدیق کریں، خاموش متبادل راستہ مسترد کریں، اور ریلیز بلڈ کے استعمال کردہ عین راستے کو ٹریس کریں۔ صرف شماریاتی آؤٹ پٹ ٹیسٹ یہ ثابت نہیں کر سکتے کہ جنریٹر درست طور پر جوڑا گیا تھا۔

  6. حریفانہ لین دین کے ٹیسٹ۔ وصول کنندہ کی تبدیلی، فیس میں رد و بدل، معاندانہ میٹا ڈیٹا، بلائنڈ سائننگ کی حدود، منقطع شدہ براڈکاسٹس، اور ہر ڈسپلے و دستخط کنندہ کے درمیان پارسر کے اختلاف کو آزمائیں۔

  7. بازیافت اور اپ ڈیٹ کی مشقیں۔ ہدایات کو حقیقت پسندانہ وقت کے دباؤ میں آزمائیں، جس میں نامکمل معلومات، پرانے ورژن، منتقلی، گم شدہ آلات، اور یہ امکان شامل ہوں کہ اپ ڈیٹ موجودہ رازوں کی مرمت نہیں کر سکتی۔

  8. مسلسل اور متنوع جائزہ۔ تعینی ٹیسٹس، جامد تجزیہ، انسانی ماہرین، فزنگ، حقیقی آلے پر جانچ اور AI کی معاونت والے جائزے کو تکمیلی طریقوں کے طور پر استعمال کریں۔ درج کریں کہ ہر طریقے نے کیا ثابت کیا اور کیا ثابت نہیں کیا۔

خطرہ اسکرین سے باہر نکل سکتا ہے

خود تحویلی کسی متولی کو ہٹا سکتی ہے، مگر یہ کسی انسان کو اجازت کی آخری حد بھی بنا سکتی ہے۔ جو چور رمز نگاری نہیں توڑ سکتا، وہ اس کے بجائے مالک، خاندان، گھر، کام کی جگہ یا عوامی شناخت کو نشانہ بنا سکتا ہے۔ مختص ہارڈویئر بعض اوقات اس ہدف بندی کو آسان بنا سکتا ہے، کیونکہ وہ نمایاں طور پر ظاہر کرتا ہے کہ کوئی شخص تحویل کو سنجیدگی سے لیتا ہے یا ایسا جسمانی شے بناتا ہے جس کے ملنے کی حملہ آور توقع کرتا ہے۔ اگر بیلنس دکھائی دیں تو فون بھی اثاثے ظاہر کر سکتا ہے۔ دونوں میں سے کوئی ہیئت جبر کا حل نہیں۔

2024 کے ایک ہم مرتبہ جائزہ شدہ مطالعے، ”رنچ حملوں کی تحقیق: کرپٹو کرنسی صارفین کو نشانہ بنانے والے جسمانی حملے“، نے انٹرویوز، فورمز اور 146 خبری مضامین کا تجزیہ کیا۔ اس کے فلٹر شدہ خبری ڈیٹا سیٹ میں جسمانی حملوں کے 105 واقعات تھے، جن میں رپورٹ شدہ غالب عمل کے طور پر 24 اغوا اور 6 قتل شامل تھے۔ مصنفین نے کم رپورٹنگ پر زور دیا اور پایا کہ تجربہ کار سکیورٹی ماہرین بھی محفوظ نہیں تھے۔ یہ اعداد مطالعے کے ڈیٹا سیٹ کو بیان کرتے ہیں، دنیا بھر میں واقعات کی شرح کو نہیں، اور نہ ہی یہ ثبوت ہیں کہ کسی مخصوص والیٹ کی قسم نے ہر جرم کو جنم دیا۔

خطرہ محض نظریاتی نہیں۔ 2024 میں، امریکی محکمۂ انصاف نے ایک سازش میں سزاؤں کا ذکر کیا جس میں نگرانی، گھروں پر دھاوے، اغوا، تشدد اور دھمکیوں کے ذریعے متاثرین کو کرپٹو کرنسی اکاؤنٹس خالی کرنے پر مجبور کیا گیا۔ سبق گھبرانا یا جائز مدد سے چھپنا نہیں؛ بلکہ عملی رازداری اور ذاتی حفاظت کو والیٹ ڈیزائن کا حصہ سمجھنا ہے۔

انسانی جان و سلامتی اثاثوں کی بازیافت سے مقدم ہے

  • بیلنس یا ذخیرہ کاری کی تفصیلات کی تشہیر نہ کریں۔ عوامی پتے، اسکرین شاٹس، کانفرنس کی گفتگو، سماجی پوسٹس، ترسیلی ریکارڈ اور پھینکی گئی پیکجنگ شناخت، مقام اور سمجھی جانے والی دولت کو باہم جوڑ سکتے ہیں۔

  • روزمرہ کی رقوم کو ذخائر سے الگ رکھیں۔ خرچ کرنے والا والیٹ مکمل طویل مدتی پوزیشن ظاہر یا کنٹرول نہ کرے۔ ہر اثاثے اور بازیافتی راستے کو ایک فوراً قابلِ رسائی راز کے پیچھے یکجا کرنے سے بچیں۔

  • قابلِ ذکر قدر کے لیے آزاد اجازت کاری استعمال کریں۔ درست طور پر تیار کردہ ملٹی سگنیچر ایک چوری شدہ آلے یا ایک جبراً قابو کیے گئے مقام کو کافی ہونے سے روک سکتا ہے، مگر صرف تب جب کلیدیں، نفاذات اور بازیافتی مواد حقیقتاً الگ ہوں۔

  • انٹرفیس جو کچھ ظاہر کرتا ہے اس کی حفاظت کریں۔ ایپ لاک اور ایپ سوئچر کی رازداری کے کنٹرول استعمال کریں، عوامی مقام پر مکمل بیلنس دکھانے سے بچیں، اور غیر متعلقہ اثاثے ظاہر کیے بغیر وصول کنندگان کی تصدیق کریں۔

  • اہل مقامی ماہرین کے ساتھ منصوبہ بندی کریں۔ زیادہ خطرے سے دوچار افراد اور اداروں کو ایسے ماہرین کے ساتھ قانونی جسمانی سکیورٹی، سفر، واقعہ جاتی ردِ عمل، ترکہ اور خاندانی حفاظت کے طریقۂ کار وضع کرنے چاہییں جو ان کے قانونی دائرے اور ذاتی حالات کو سمجھتے ہوں۔

  • والیٹ کے لیے کبھی جان خطرے میں نہ ڈالیں۔ کوئی ریکوری فریز، آلہ، لین دین یا رقم جسمانی چوٹ کے لائق نہیں۔ فوری خطرے میں انسانی حفاظت کو اولیت دیں، اور جب ایسا کرنا محفوظ ہو تو مقامی ہنگامی خدمات سے رابطہ کریں۔

سبق شواہد ہیں، گروہی وفاداری نہیں

Coldcard کی ناکامی یہ ثابت نہیں کرتی کہ ہر موجودہ Coldcard غیر محفوظ، ہر ہارڈویئر والیٹ محض دکھاوا، یا ہر فون والیٹ برتر ہے۔ Coinkite نے اصلاح شدہ ریلیزز، منتقلی کی رہنمائی، ہدف بند آزاد توثیق، اور ان جانچوں سے ثابت ہونے والی باتوں کی واضح حدود شائع کی ہیں۔ ذمہ دارانہ تجزیے کو واقعے کی سنگینی اور اصلاحی ریکارڈ دونوں تسلیم کرنے چاہییں۔

اسی طرح Aperture کو محض کسی دوسری معماری پر تنقید کرنے سے اعتماد وراثت میں نہیں ملنا چاہیے۔ اس کا عوامی ماخذ، محدود تحویلی ماڈل، Apple پلیٹ فارم کنٹرولز، مقامی دستخط اور قابلِ جائزہ ہونا بامعنی ہیں۔ یہ اس وقت مزید مضبوط ہوتے ہیں جب کوئی نام زد تیسرا فریق دائرۂ کار اور نتائج شائع کرے، جب محققین ناقابلِ تغیر ماخذ سے تقسیم شدہ بائنری دوبارہ بنا سکیں، اور جب AI کی معاونت والا جائزہ تعینی ٹیسٹس اور جواب دہ انسانی فیصلے کے ساتھ ہو۔

پائیدار نتیجہ زیادہ سادہ ہے: سکیورٹی ڈبے کے مادے کا نام نہیں؛ یہ راز کا معیار، پورے نظام کا رویہ، اس کے دفاع کی آزادی، انٹرفیس کی وضاحت، اور ہر اہم دعوے کی تصدیق کے لیے دستیاب شواہد ہیں۔ پیچیدگی ضروری ہو سکتی ہے، مگر اسے ہر قابو یافتہ خطرے کے مقابل اپنی جگہ کا جواز الگ سے ثابت کرنا چاہیے۔

Aperture کی ان رہنماؤں سے مطالعہ جاری رکھیں: طبعی بے ترتیبی سے اینٹروپی بنانا، BIP39 پاس فریز، خود تحویلی کا سکیورٹی ماڈل، اور ایپ پاس کوڈ اور رازداری کے کنٹرول۔

بنیادی اور تکنیکی ماخذ

Aperture کا Coldcard، Coinkite، Trezor، Kraken، Ledger، Block یا حوالہ دیے گئے محققین سے کوئی الحاق نہیں، نہ ہی اسے ان کی توثیق حاصل ہے۔ مصنوعات اور کمپنیوں کے نام ان کے متعلقہ مالکان کی ملکیت ہیں۔ یہ مضمون سکیورٹی کی تعلیم کے لیے ہے، انفرادی مالی، قانونی یا ہنگامی مشورہ نہیں۔ اپنا ریکوری فریز، نجی کلید، والیٹ پاس فریز، ایپ پاس کوڈ یا بیک اپ پاس ورڈ کبھی کسی ویب سائٹ، معاون اہلکار، محقق یا AI اسسٹنٹ کو نہ دیں۔