غلط ثبوت کے خطرے کے بعد SP1 کی خامی دور کر دی گئی
Succinct نے اپنے SP1 زیرو نالج پروف سسٹم میں اعلیٰ شدت کی ایک قابلِ اعتماد کارکردگی سے متعلق کمزوری کا انکشاف کیا۔ اس خامی سے ورژن 6.0.0 سے 6.8.0 تک کے مقامی Rust ویریفائرز متاثر ہوئے، اور اس کے باعث مین نیٹ Prover Network غلط ایگزیکیوشنز کے پروف قبول کر سکتا تھا۔ SP1 کی یہ کمزوری اس وجہ سے پیدا ہوئی کہ ویریفائرز ڈیٹا لیبلز تو چیک کرتے تھے، لیکن یہ تصدیق نہیں کرتے تھے کہ محفوظ عناصر کی تعداد دعویٰ کردہ ابعاد کے مطابق ہے۔ مقررہ شکل والے Groth16 اور Plonk چیکس، نیز آن چین Solidity ویریفائرز، متاثر نہیں ہوئے۔ Succinct نے 24 ستمبر کو ورژن 6.8.1 جاری کیا، جس میں ڈی سیریلائزیشن کے دوران لمبائی کی جانچ شامل کی گئی، اور اسے مین نیٹ پر تعینات کیا۔ اس مسئلے کی رپورٹ Vitalis Salis نے Immunefi کے ذریعے کی۔ مقامی Rust ویریفائرز چلانے اور غیر معتبر پروورز سے پروف قبول کرنے والے صارفین کو 6.8.1 پر اپ گریڈ کرنا چاہیے۔
Neutral
اس کمزوری سے سیکیورٹی کا ایک قابلِ ذکر خطرہ پیدا ہوا: اگر اس کا فائدہ اٹھایا جاتا تو متاثرہ SP1 مقامی Rust ویریفائرز غلط ایگزیکیوشن پروفز قبول کر سکتے تھے، جس سے ان پر انحصار کرنے والی ایپلی کیشنز کی سلامتی ممکنہ طور پر متاثر ہوتی۔ تاہم، رپورٹ کے مطابق Succinct نے ایک اصلاح جاری کرکے نافذ کر دی ہے، جبکہ مقررہ شکل والے Groth16 اور Plonk چیکس اور آن چین Solidity ویریفائرز متاثر نہیں ہوئے۔ اس سے جاری اور وسیع مارکیٹ خطرے کے امکان کے شواہد محدود ہوتے ہیں۔ اس کا سب سے ممکنہ براہِ راست اثر متاثرہ Rust ویریفائرز چلانے والے صارفین کے لیے مخصوص عملی کام ہے، نہ کہ کرپٹو قیمتوں پر فوری دباؤ۔ مختصر مدت میں ٹریڈرز SP1 سے متعلق منصوبوں، ویریفکیشن کی سرگرمی اور استحصال یا نقصان سے متعلق کسی بھی انکشاف پر زیادہ توجہ دے سکتے ہیں۔ طویل مدت میں یہ واقعہ پروف سسٹم کے نفاذ پر جانچ پڑتال کو مزید سخت کر سکتا ہے اور آڈٹس، ورژن اپ گریڈز اور دفاع کی متعدد سطحوں پر مشتمل چیکس کی طلب بڑھا سکتا ہے۔ اسی نوعیت کی بنیادی ڈھانچے کی کمزوریاں اس وقت قیمتوں میں تیز اتار چڑھاؤ پیدا کر سکتی ہیں جب فنڈز ضائع ہوں یا پورے نیٹ ورک کی خدمات متاثر ہوں؛ یہاں استحصال یا دیرپا خلل کے ثبوت نہ ہونے کی وجہ سے مارکیٹ کا غیر جانب دار جائزہ زیادہ مناسب ہے۔