کیوں زیرو-کنولج پروف ویریفیکیشن منطق کے بگز نے کرپٹو کو لاگت دی — ایک گہرا تحقیقی رپورٹ
2026/04/01 04:03:02
زیرو-کنولج پروفز جدید بلاک چینز میں استعمال ہونے والے سب سے جدید کرپٹوگرافک ٹولز میں سے ہیں، جو خفیہ رکھنے، سکیل ابیلٹی، اور مختصر ثبوت کی تصدیق کو ممکن بناتے ہیں۔ تاہم، اس نظام کے ریاضیاتی ضمانتوں کے باوجود، عملی دنیا کے منطقی غلطیاں اور تصدیق کی غلط ترتیبات بار بار پیداواری اجرا میں ظاہر ہو چکی ہیں، جس سے ب без فنانسی نقصانات براہ راست ہوئے ہیں۔ جبکہ اب تک کوئی ایک مستند حملہ زیرو-کنولج پروف منطق کی خرابی سے بالکل 120 ملین امریکی ڈالر کا نقصان نہیں کر چکا، متعدد تصدیق شدہ واقعات واضح طور پر ظاہر کرتے ہیں کہ ZK ویریفائر کے بگ اور متعلقہ امپلیمنٹیشن غلطیاں کرپٹو میں ملینڈالرز کا نقصان کر چکی ہیں، اور تحقیقی برادری کے نتائج یہ ظاہر کرتے ہیں کہ ZK منطق کی کمزوریوں کا مجموعی نظاماتی فنانسی خطرہ بالکل بھی ناچیز نہیں ہے۔
زیرو کنولج پرووفس کیا ہیں: سادہ الفاظ میں
زیرو-کنولج پروفز ایک کرپٹوگرافک پروٹوکول ہیں جو ایک طرف کو دوسری طرف کو ثابت کرنے کی اجازت دیتے ہیں کہ ایک بیان سچ ہے، بغیر یہ ظاہر کیے کہ یہ کیوں سچ ہے۔ معیاری بلاک چین آرکیٹیکچرز میں، اگر آپ چاہتے ہیں کہ کوئی جانے کہ ایک حساب کتاب درست طریقے سے ہوا ہے، تو آپ انہیں ڈیٹا اور مراحل دکھاتے ہیں۔ اس کے برعکس، زیرو-کنولج پروف سے بنیادی ڈیٹا دکھائے بغیر تصدیق ممکن ہوتی ہے۔
یہ خصوصیت بہت سے جدید بلاک چین سسٹمز، خاص طور پر ZK-rollups اور ویلیدیٹی پروفز کے لیے ضروری ہے، جو آف چین بڑی تعداد میں لین دین کو جمع کرتے ہیں اور پھر آن چین پر ایک مختصر ثبوت شائع کرتے ہیں کہ لین دین درست طریقے سے پروسیس ہو گئے۔
ریاضیاتی طور پر، ZK ثبوت مختصر پابندی سسٹمز، جیسے zkSNARKs یا zkSTARKs پر منحصر ہیں۔ ویریفائر، جو بلاک چین پر ایک اسمارٹ کنٹریکٹ یا پروگرام ہے، ایک کمپیکٹ ثبوت کی جانچ کرتا ہے۔ اگر ثبوت کامیاب ہو جائے، تو سسٹم ہر قدم کو دوبارہ انجام دئیے بغیر حساب کتاب کو درست مان لیتا ہے۔ یہی جادو ہے، اور یہی خطرہ بھی۔
اہم گارنٹی یہ ہے کہ غلط ثبوت کبھی بھی تصدیق نہیں ہونا چاہیے۔ لیکن جب تصدیق کا منطق خود غلط طریقے سے لاگو کیا جاتا ہے، تو جھوٹے یا خطرناک حساب کتاب کے لیے ثبوت کو قانونی قرار دے دیا جاتا ہے۔ یہی وہ جگہ ہے جہاں کمزوریاں پیدا ہوتی ہیں۔
ZK ثبوت کا وعدہ: اور پوشیدہ حملہ کا سطح
زیرو-کنولج پرووفس کو بلاک چین کی کئی حدود کو ایک ساتھ دور کرنے کے لیے سراہا جاتا ہے: قابلیتِ توسیع، خفیہ رکھنا، اور مختصر تصدیق۔ تاہم، ایک عام غلط فہمی یہ ہے کہ ZK پرووفس تمام خطرات کو ختم کر دیتے ہیں۔ وہ نہیں کرتے۔ وہ کرپٹوگرافک عدم محفوظی کی کچھ اقسام کو ختم کرتے ہیں، لیکن انفیلمنٹ میں منطقی غلطیوں، غائب پابندیوں والے سرکٹس، یا غلط ترتیب دیے گئے ویریفائرز کے خطرات کو ختم نہیں کرتے۔
عملیاتی غلطیاں اعلیٰ سطحی منطق کو کم سطحی کرپٹوگرافک پابندیوں میں ترجمہ کرنے کو متاثر کرتی ہیں۔ تحقیق ظاہر کرتی ہے کہ تقریباً
SNARK‑بنیادی نظاموں میں درج کیے گئے سرکٹ بگس کا 96 % ناکافی پابندیوں کی وجہ سے ہوتا ہے، جس کا مطلب ہے کہ پابندیوں کو تعریف کرنے کے طریقے میں مختصر راستے یا غلطیوں کی وجہ سے غلط ثبوت قبول کر لیے جاتے ہیں۔
یہ نظریہ مسائل نہیں ہیں۔ جب ZK ثبوت نظامز کو پیداواری ماحول میں، خاص طور پر DeFi یا بریجز میں لاگو کیا جاتا ہے، تو چھوٹی سی غلط ترتیب پورے سیکیورٹی ماڈل کو نقصان پہنچا سکتی ہے۔
مثلاً، ایک ویریفائر میں سن سیٹنگ پیرامیٹر یا Groth16 ثبوت سسٹم میں ڈپلیکیٹڈ مستقل، حملہ آور کو ایسے ثبوت جھوٹے بنانے کی اجازت دے سکتے ہیں جو کبھی بھی پاس نہیں ہونے چاہئیں۔ یہ اسمارٹ کنٹریکٹ ری اینٹرینسی ایکسپلوٹس یا فلیش لون ٹرکس نہیں ہیں، یہ کرپٹوگرافک ویریفکیشن منطق کے بگس ہیں۔
حقیقی واقعہ: FOOMCASH Groth16 تصدیق کی غلط ترتیب کا استعمال
2026 کے شروع میں FOOMCASH پروٹوکول کے ایکسپلوٹ کو زیرو کنولج پروف ویریفیکیشن منطق سے ب без تفصیل جوڑا گیا تھا۔ پروٹوکول Groth16 zkSNARK ویریفائر پر منحصر تھا، جو کریپٹو میں سب سے عام ثبوت نظاموں میں سے ایک ہے۔ جو غلطی ہوئی وہ حیران کن طور پر چھوٹی تھی: دو الیپٹک کریو کنسٹنٹس (گاما اور ڈیلٹا) جنہیں مستقل رکھنا چاہیے تھا، انہیں غلطی سے ایک ہی قیمت دے دی گئی۔
کرپٹوگرافک الفاظ میں، یہ غلطی ایک اہم الجبرائی الگوائی کو ختم کر دی جو سندگی کو یقینی بناتی تھی، جس کی وجہ سے حملہ آور وہ ثبوت بنانے میں کامیاب ہو گیا جو جانچنے والے کے لیے درست لگ رہے تھے، چاہے وہ درست نہ ہوں۔ نتیجہ؟ زیادہ سے زیادہ 2.26 ملین امریکی ڈالر پروٹوکول سے ختم کر دیے گئے، نہ کہ فلیش لون یا معاہدے کی کمزوری کی وجہ سے، بلکہ اس لیے کہ ZK ثبوت جانچنے والا جعلی ثبوت پر اعتماد کر رہا تھا۔
سیکیورٹی تجزیہ کاروں نے اسے “ایک منفرد کرپٹوگرافک غلط ترتیب” کے طور پر بیان کیا جس نے حملہ آور کو درست ثبوت جاری کرنے اور فنڈز کو آزادانہ طور پر خالی کرنے کی اجازت دی۔ اس استعمال میں صفر جانکاری ثبوت کے ریاضیاتی بنیادوں کو توڑنا شامل نہیں تھا، بلکہ اس نے تصدیق کلید کی ترتیب میں ایک خطا کا فائدہ اٹھایا۔
یا واقعہ تاریخی طور پر اہم ہے کیونکہ یہ دکھاتا ہے کہ ایک کرپٹوگرافک پیرامیٹر کی غلطی، جو اسمارٹ کنٹریکٹ کی خرابی نہیں، براہ راست حقیقی مالی نقصان کا سبب بن سکتی ہے۔ علاوہ ازیں، اسی قسم کی خرابی کو تھوڑی دیر قبل ایک اور مشابہ پروٹوکول (ویل) میں بھی استعمال کیا گیا تھا، جس سے ثابت ہوتا ہے کہ یہ خرابی کا طبقہ نادر نہیں بلکہ ٹیکنیکل اور سنگین ہے۔
اس قسم کے بگس کیوں برقرار رہتے ہیں: سرکٹس کو اسمارٹ کنٹریکٹس کی نسبت جانچنا مشکل ہوتا ہے
زیرو کنولو ویریفیکیشن منطق کے بگز کے باقاعدہ مسائل کا سبب یہ ہے کہ ZK سرکٹس کی آڈٹ کرنا اسمارٹ کنٹریکٹس کی آڈٹ کرنے کے مقابلے میں بنیادی طور پر زیادہ مشکل ہے۔ روایتی اسمارٹ کنٹریکٹ آڈٹرز بگز دریافت کرنے کے لیے اچھی طرح ترقی یافتہ ٹولز، فuzzerز، اور مستقل پیٹرنز استعمال کرتے ہیں۔ اسمارٹ کنٹریکٹ منطق، چاہے کتنا بھی پیچیدہ ہو، ابھی بھی Solidity جیسی قابل پڑھنے والی زبانوں میں لکھا گیا کوڈ ہے۔
زیرو کنفیڈنشیلیٹی ثبوت سرکٹس، جس کے برعکس، سرکم یا ہالو2 جیسی زبانوں میں ظاہر کی جاتی ہیں، جو اعلیٰ سطح کے منطق کو زیک ایس نارک/اسٹارک پروورز کے استعمال کے لیے محدود نظام میں تبدیل کرتی ہیں۔ یہ ترجمہ کا طبقہ انتہائی غلطیوں کا شکار ہے اور کرپٹوگرافک الجبرا سے ناواقف آڈٹرز کے لیے ادراک سے باہر ہے۔
مثلاً zkFuzz: Zero‑Knowledge Circuits کے لیے مؤثر فزینگ کا بنیادی اور فریم ورک جیسے اکیڈمک مقالات یہ ثابت کرتے ہیں کہ حتیٰ کہ جدید فزینگ ٹولز حقیقی ZK سرکٹس میں دہائیوں کی خرابیاں دریافت کر سکتے ہیں، جن میں کچھ بہت گہری چھپی ہوئی ہیں۔ حقیقی سرکٹس پر ٹیسٹنگ کے دوران، zkFuzz نے 66 خرابیاں دریافت کیں، جن میں 38 زیرو-ڈے کمزوریاں شامل ہیں، جن میں سے بہت سی اگر حل نہ کی گئیں تو غلط ثبوت قبول کرنے کا باعث بنتی ہیں۔
یہ تحقیق ظاہر کرتی ہے کہ روایتی کوڈ آڈٹ ٹولز ZK سرکٹ کی تصدیق کے لیے ناکافی ہیں۔ پیچیدگی اس لیے پیدا ہوتی ہے کہ ZK سرکٹس کو *تمام ممکنہ منطقی راستوں اور پابندیوں کو ب без ریاضیاتی شکل میں کوڈ کرنا ہوتا ہے*۔ اگر کوئی پابندی غائب ہو یا غلط طور پر تعین کی گئی ہو، چاہے وہ کتنی بھی نرم ہو، ثبوت نظام غلط طریقے سے کام کر سکتا ہے بغیر کسی خطا کے ظاہر کیے۔
صرف ایک بگ نہیں: پروٹوکولز کے خلاف زیرو-کنولج پروفز کو جانے ہوئے خامیاں ہیں
FOOMCASH کے ایکسپلوٹ کے علاوہ، تحقیق کاروں نے مختلف ماحولوں میں صفر جانکاری نظاموں میں منطقی خامیاں درج کی ہیں۔ مثال کے طور پر، سولانا پر ZK ElGamal Proof Program میں ایک ساؤنڈنس خامی کی شناخت کی گئی جس سے جعلی ثبوت فی ویلیڈیشن کو چھوٹ جانے کا امکان تھا، تاہم، اہم بات یہ ہے کہ باہر کسی بھی ایکسپلوٹ کی رپورٹ نہیں ہوئی۔
اکیڈمک جائزے بھی پولیگن کے zkRollup اور اسکرول جیسے پروٹوکولز میں فائنلائزیشن فیلیئر بگس کو اہمیت دیتے ہیں، جن کو ذمہ دارانہ اطلاع کے بعد بعد میں درست کر دیا گیا، جس سے ثابت ہوتا ہے کہ پروڈکشن زیرو-کنولج سسٹمز میں بڑے نیٹ ورکس میں بھی استعمال کے قابل منطقی خامیاں ہو سکتی ہیں۔
ان واقعات میں سے زیادہ تر کا اب تک بڑے شہرت یافتہ نقصان نہیں ہوا، لیکن منطقی خطا کا نمونہ جاری ہے اور کئی ڈیپلویمنٹس میں تصدیق کی گئی ہے۔ اس کے علاوہ تحقیق سے پتہ چلتا ہے کہ کم سے کم 96 فیصد سرکٹ کی کم پابندی والی خطاں موجود ہیں، جس سے یہ قابلِ قبول ہو جاتا ہے کہ ان خطرات کو مل کر کروڑوں امریکی ڈالر میں جمع کیا جا سکتا ہے، چاہے کوئی ایک ہیک بالکل $120M نہیں لگا ہو۔
کیوں یہ بگس اسمارٹ کنٹریکٹ کی خامیوں سے زیادہ خطرناک ہو سکتے ہیں
ایک اسمارٹ کنٹریکٹ کی خرابی، جتنا بھی سنگین ہو، عام طور پر ایک خاص پروٹوکول فنکشن یا خصوصیت کو متاثر کرتی ہے۔ صارفین اکثر ایکسپلوٹ ونڈو کے دوران اپنے فنڈز نکال سکتے ہیں، اور لاکھوں کے نقصان کے لیے حملہ آور کو ایک کنٹریکٹ سے پیش گوئی کے مطابق طریقے سے تعامل کرنا پڑتا ہے۔
زیرو-کنوزلیج پروف تصدیق کی خامیاں الگ ہوتی ہیں۔ وہ کاروباری منطق لیئر میں نہیں ہوتیں، بلکہ کرپٹوگرافک تصدیق لیئر میں ہوتی ہیں۔ اگر تصدیق کرنے والا غلط ہو، تو سسٹم جو بھی ثبوت دیکھے گا، وہ جعلی ہو سکتا ہے اور پھر بھی قبول کر لیا جائے گا۔ نتیجہ $5M کی چوری نہیں ہوتا، بلکہ یہ بڑے پیمانے پر غلط حالت کے تبدیل ہونے یا جعلی اثاثوں کے منتقل ہونے کو ممکن بناسکتا ہے۔
極ی تھیوریٹیکل سیناریوز میں، ایک ZK-rollup کے کور کوڈ میں ویریفائر منطق کی خامی حملہ آور کو کبھی وجود نہیں رکھنے والے اثاثوں کو مینٹ یا رقم نکلوانے کی اجازت دے سکتی ہے۔ اس کا مطلب ہے کہ نقصانات روایتی اسمارٹ کنٹریکٹ ایکسپلوٹس سے بہت زیادہ ہو سکتے ہیں، کیونکہ ثبوت خود بنیادی اعتماد کی تہ ہے۔
کرپٹو کی مجموعی کمزوری کا سیاق
ZK ثبوت کے منطق کی خامیوں کو DeFi حملوں کے وسیع تر منظر نامے کے حوالے سے سمجھنا اہم ہے۔ بلاک چین سیکیورٹی رپورٹس کے مطابق، صرف 2025 میں کرپٹو میں ہونے والے ہیکس کی وجہ سے اربوں ڈالر کی نقصان ہوا، جس میں کل نقصان تخمینہً 3.4 ارب ڈالر تک پہنچ گیا، حالانکہ زیادہ تر حملے صرف ZK منطق کی خامیوں پر مبنی نہیں تھے۔
تحقیق سے پتہ چلتا ہے کہ DeFi کے نقصانات اکثر اجازت دیے گئے کنٹریکٹ کی خرابیوں، اوراکل کی مانیپولیشن، برج کے استعمال، اور سوشل انجینئرنگ کی وجہ سے ہوتے ہیں، اور ZK کی خامیوں نے چھوٹے لیکن حقیقی نقصانات جیسے FOOMCASH کے نکالنے کا سبب بنے ہیں۔
چھوٹے ZK متعلقہ واقعات، دستاویز شدہ حملوں، حملے سے پہلے درست کیے گئے منطقی خطا، اور خراب سرکٹس کے بارے میں اکادمیک دریافتوں کو ملا کر دیکھا جائے تو، پتہ چلتا ہے کہ پچھلے کچھ سالوں میں مجموعی مالی اثر دہ گنا ملین تک پہنچ چکا ہے، یہاں تک کہ اگر کوئی بھی ہیک بالکل 120 ملین ڈالر کا نہیں ہوا ہو۔
ڈویلپرز اور آڈیٹرز کیسے جواب دے رہے ہیں
ان کمزوریوں کے جواب میں، صنعت سخت اوزار اور فارمل طریقہ کار کی طرف منتقل ہو رہی ہے۔ منصوبے فارمل ویریفیکیشن فریم ورکس، کرپٹوگرافک سرکٹس کے لیے مخصوص اسٹیٹک تجزیہ، اور zkFuzz جیسے مخصوص ZK منطق کے بگس کے لیے ڈیزائن کیے گئے خصوصی فزنگ اوزار پر سرمایہ کاری کر رہے ہیں۔
فرمل ویریفکیشن، جو ریاضیاتی طور پر ثابت کرتی ہے کہ دی گئی سرکٹ کے پابندیاں اس کے مقصودہ منطق سے ملتی جلتی ہیں، بڑی رقم کے ساتھ کام کرنے والے منصوبوں کے لیے معیاری بن رہی ہے۔ یہ روایتی دستی جانچ یا کوڈ ریویوز سے بہت آگے جاتا ہے کیونکہ یہ منطق کی ان اقسام کو ریاضیاتی طور پر ختم کرنے کا مقصد رکھتا ہے جو ریویوز میں نظر نہیں آتیں۔
کچھ پروٹوکولز متعدد مستقل ویریفائر ایمپلیمنٹیشنز کو بھی ملا دیتے ہیں تاکہ ثبوت کو ایک سے زیادہ ویریفیکیشن منطق کو پورا کرنا پڑے، جس سے ایک منطق کی خرابی پورے سسٹم کو متاثر کرنے سے روکی جا سکتی ہے۔
حملے سے نوآوری تک: ہر ZK ثبوت کی ناکامی کس طرح انتہائی بہتر سیکیورٹی ٹولز کو فروغ دے رہی ہے
ہر اہم زیرو نالج پروف (ZK) ایکسپلوٹ، جس میں FOOMCASH Groth16 ویریفکیشن کا غلط ترتیب شامل ہے، اور متعدد DeFi پروٹوکولز میں چھوٹی سی کرسٹ کی خرابیاں، بلاک چین سیکورٹی میں نوآوری کو فروغ دے چکے ہیں۔ جبکہ یہ واقعات ویریفائر منطق کی کمزوری کو ظاہر کرتے ہیں، وہ ڈویلپرز اور آڈیٹرز کے لیے اس بات کے لیے اہم ڈیٹا پوائنٹس فراہم کرتے ہیں کہ اس طرح کے ایکسپلوٹس دوبارہ پیش آنے سے پہلے پروٹوکولز کو مضبوط بنایا جائے۔ مثال کے طور پر، FOOMCASH ایکسپلوٹ نے کئی ٹیموں کو زیرو نالج پروف سرکٹس کے لیے خودکار ویریفکیشن کی آنلائزرز اور بہتر فزا فریم ورکس تیار کرنے پر مجبور کیا، جس سے حقیقی دنیا کی ناکامی اور نئے سیکورٹی ٹولز کے ظہور کے درمیان ب без رابطہ واضح ہوتا ہے۔
اس شعبے کے لیڈنگ منصوبوں، جن میں ZKSync، Scroll، اور Polygon کے zkRollups شamil ہیں، نے اپنے ترقیاتی دائرہ کار میں فارمل ویریفکیشن پائپ لائن کو ادھار لینا شروع کر دیا ہے۔ یہ ٹولز ریاضیاتی طور پر یقینی بناتے ہیں کہ ZK سرکٹ کے پابندیاں منصوبہ بند منطق سے ملتی جلتی ہیں، جس سے حملہ آور کو ایسا ثبوت بنانے کا خطرہ کم ہو جاتا ہے جسے نظام غلطی سے قبول کر لے۔
اسی دوران، زک فز جیسے جدید فز فریم ورکس کو ایسے ثبوت میں کناری کیسز کی شبیہ سازی کے لیے بہتر بنایا گیا ہے جو پہلے نہیں دریافت ہو سکے تھے، جس سے اکادمک اور پروڈکشن سرکٹس دونوں میں دہاڑوں پوشیدہ کمزوریاں دریافت ہوئیں۔
یہ نوآوریاں ظاہر کرتی ہیں کہ ہر حملہ ایک مثبت فیڈ بیک لوپ کا حصہ بن جاتا ہے: کمزوریوں کو نکال کر بلاک چین کمیونٹی زیادہ مضبوط پروٹوکولز کے ترقی کو تیز کرتی ہے۔ اب محفوظ ترقیاتی ٹیمیں ZK ثبوت کے اطلاق پر "جلد فیل ہو جاؤ، جلد سیکھو" کے طریقہ کار پر عمل کرتی ہیں، جس میں سرکٹس کی مستقل جانچ، ٹیسٹنگ اور بہتری کی جاتی ہے۔ حقیقت میں، آج کی ناکامیاں کل کے سیکورٹی بنیادوں کے طور پر کام کر رہی ہیں، جو وہ سبق جو ناکامی کا باعث بن سکتے تھے، انہیں پورے ایکو سسٹم کے لیے فائدہ مند مسلسل بہتریوں میں تبدیل کر رہی ہیں۔
نتیجہ ایک نمودار ہونے والا معیار ہے جہاں اعلیٰ قیمت والے زیرو نالج پروف ڈیپلویمنٹس نہ صرف زیادہ محفوظ ہوتے ہیں بلکہ پہلے ناگزیر منطقی غلطیوں کے نئے طبقات کے بھی خلاف زیادہ مزاحمت کرتے ہیں، جو یہ ثابت کرتا ہے کہ زیرو نالج پروف کے ایکو سسٹم میں نوآوری اور خطرہ کم کرنا اکثر ایک ساتھ بڑھتے ہیں۔
نتیجہ — وعدہ اور خطرہ
زیرو-کنولج پروفز آج بھی بلاک چین میں سب سے طاقتور اور تبدیل کرنے والی ٹیکنالوجیوں میں سے ایک ہیں۔ وہ بڑے پیمانے پر سکیل اور خفیہ رکھنے کی سہولت فراہم کرتے ہیں۔ لیکن DeFi ہیکس کی تاریخ ہمیں دکھاتی ہے کہ سب سے تباہ کن کمزوریاں عام طور پر واضح جگہوں پر نہیں ہوتیں۔ ایک چھوٹا سا منطقی خطا ایک ویریفکیشن سسٹم میں پورے پروٹوکول کو خاموشی سے کمزور کر سکتا ہے۔
ہاں کہ کوئی ایک ZK ثبوت کا استعمال اب تک بالکل 120 ملین ڈالر کے نقصان تک محدود نہیں ہوا، لیکن دہائیوں کے مستند منطقی خطا، استعمال شدہ واقعات اور اکادمیک دریافتوں نے مل کر یہ ظاہر کیا ہے کہ تصدیق منطق ایک حقیقی مالی خطرہ ہے۔ کرپٹو صنعت زیادہ سخت طریقوں کے ساتھ جواب دے رہی ہے، لیکن سبق واضح ہے: کرپٹوگرافی تب تک محفوظ ہے جب تک اس کا اطلاق بالکل محفوظ نہ ہو، اور یہ اب بھی بہت سے صفر جانکاری نظاموں کے لیے ایک عمل میں جاری ہے۔
اکثر پوچھے جانے والے سوالات — صفر جانکاری ثبوت کی تصدیق کے خطرات
سوال 1: کیا صفر جانکاری ثبوت خود بخود ناقص ہیں؟
نہیں۔ کرپٹوگرافک بنیادیں ریاضیاتی طور پر مضبوط ہیں، لیکن نفاذ اور ویریفائر منطق کی غلطیاں مضبوطی کو متاثر کر سکتی ہیں۔
سوال 2: کیا ZK ثبوت کی خامیوں کی وجہ سے ملینوں کے حقیقی نقصانات ہوئے ہیں؟
ہاں، مثال کے طور پر، FOOMCASH کے ایکسپلوٹ کی وجہ سے ایک ویریفائر منطق کی غلط ترتیب کی وجہ سے 2.26 ملین ڈالر کا نقصان ہوا۔
سوال 3: کیا ایک ZK ویریفائر کی خرابی اربوں ڈالر کے نقصان کا سبب بن سکتی ہے؟
نظری طور پر، ہاں، کیونکہ تصدیق کا منطق سسٹم کے اعتماد کے لیyer پر ہوتا ہے۔ تاہم، اب تک کوئی بھی مستند واقعہ $120 ملین کے نقصان تک نہیں پہنچا ہے۔ لیکن تحقیق سے پتہ چلتا ہے کہ جمعی نظاماتی خطرہ اہم ہے۔
سوال 4: ان خطا کیوں پکڑنا مشکل ہے؟
معیاری آڈٹ ٹولز کریپٹوگرافک سرکٹ منطق کے لیے مخصوص نہیں ہیں، جو ریاضیاتی طور پر پیچیدہ ہے اور فارمل ٹولز کے بغیر تصدیق کرنا مشکل ہے۔
ڈسکلیمر
یہ مواد صرف معلوماتی مقاصد کے لیے ہے اور یہ سرمایہ کاری کی تجویز نہیں ہے۔ کرپٹو کرنسی کے سرمایہ کاری میں خطرہ ہے۔ براہ راست تحقیق کریں (DYOR)۔
ڈس کلیمر: یہ صفحہ آپ کی سہولت کے لیے AI ٹیکنالوجی (GPT کے ذریعے) کا استعمال کرتے ہوئے ترجمہ کیا گیا ہے۔ سب سے درست معلومات کے لیے، اصل انگلش ورژن سے رجوع کریں۔