ZKsync نے اپنا نیا زیرو-نالج پرووور Airbender Prime لانچ کیا ہے، جس نے صرف ایک GPU کی مدد سے 7,200 ایتھریم بلاکس کو 10 سیکنڈ سے بھی کم وقت میں ثابت کر دکھایا۔ ایتھریم کے شریک بانی Vitalik Buterin نے اسے ایک فیصلہ کن سنگِ میل قرار دیتے ہوئے کہا کہ اب zkEVM کی ترقی کا مرکز رفتار کے بجائے سیکیورٹی ہونا چاہیے۔
دراصل ہوا کیا؟
Wu Blockchain کے مطابق ZKsync نے 17 اکتوبر 2026 کو Airbender Prime کا اعلان کیا۔ ٹیسٹنگ کے دوران ایک ہی NVIDIA RTX PRO 6000 Blackwell GPU نے ایتھریم مین نیٹ کے مسلسل 7,200 بلاکس کے لیے پروفز تیار کیں۔ 99 فیصد بلاکس کے پروفز 10 سیکنڈ سے کم وقت میں مکمل ہوئے، جبکہ ہر بلاک، وٹنس تیاری کے وقت سمیت، 12 سیکنڈ کے اندر مکمل ہوا۔ یہ پرووور اوپن RISC-V اسٹینڈرڈ پر چلتا ہے اور ہیش پر مبنی STARK پروف ٹیکنالوجی استعمال کرتا ہے جو پوسٹ-کوانٹم سیکیورٹی کے لیے بنائی گئی ہے۔ اس کے ساتھ ایک علیحدہ ویریفائر بھی دیا گیا ہے تاکہ آزادانہ طور پر تصدیق کی جا سکے۔ Vitalik Buterin نے Airbender ٹیم کو مبارکباد دیتے ہوئے کہا کہ zkEVM پروف رفتار کی دوڑ اب فیصلہ کن نتائج تک پہنچ چکی ہے، اور اب مکمل توجہ سیکیورٹی پر دینی ہوگی۔
یہاں تک کیسے پہنچے؟
زیرو-نالج پروفز کسی رول اپ کو ایتھریم ٹرانزیکشن کی درستگی ثابت کرنے دیتے ہیں بغیر ہر کمپیوٹیشن دوبارہ چلائے، جس سے لاگت اور فائنلٹی کا وقت دونوں کم ہوتے ہیں۔ برسوں سے zkEVM ٹیمیں بنیادی طور پر پروف اسپیڈ پر مقابلہ کرتی رہی ہیں، کیونکہ سست پروفنگ سے نکاسی میں تاخیر اور لاگت میں اضافہ ہوتا تھا۔ Airbender Prime کے نتائج، یعنی ایک عام GPU پر 99 فیصد بلاکس کا 10 سیکنڈ سے کم میں ثابت ہونا، ایتھریم کے مساوی پرووور کے لیے اب تک کے تیز ترین پبلک بینچ مارکس میں شمار ہوتے ہیں۔ Buterin نے فارمل ویریفیکیشن کے لیے تین ادھورے کام گنوائے: یہ تصدیق کرنا کہ پروف سسٹم کی arithmetic بالکل ایتھریم کے پروٹوکول اصولوں سے میل کھاتی ہے، بلاک گیس استعمال سے جڑی سخت لاگت کی حدیں طے کرنا، اور یہ یقینی بنانا کہ زیرو-نالج سسٹم خود مکمل طور پر قابلِ بھروسہ ہے۔ اس سے zkEVM کی دوڑ کارکردگی کے مقابلے سے ہٹ کر ایک سیکیورٹی آڈٹ کا مسئلہ بن گئی ہے۔
یہ آپ کے لیے کیوں اہم ہے؟
ZKsync کے لیے تیز تر پروفنگ کا مطلب ہو سکتا ہے کم فیس اور تیز فائنلٹی، ان صارفین کے لیے جو اس کے رول اپ پر بریجنگ یا ٹریڈنگ کرتے ہیں۔ دیگر zkEVM ٹیموں کے لیے Buterin کے بیان نے ایک نیا معیار قائم کر دیا ہے: محض رفتار اب کافی نہیں، فارمل سیکیورٹی گارنٹی ہی فیصلہ کن ہوگی۔ ایتھریم اسکیلنگ پر کام کرنے والے ڈویلپرز اب بینچ مارک دوڑ کے بجائے آڈٹس اور درستگی کے ریاضیاتی ثبوت کو ترجیح دے سکتے ہیں۔ zk-رول اپس پر اثاثے رکھنے والے صارفین کو دیکھنا چاہیے کہ آیا حریف پراجیکٹس فارمل ویریفیکیشن کی طرف وسائل منتقل کرتے ہیں، کیونکہ اس سے کچھ روڈ میپس سست ہو سکتے ہیں مگر پرووور میں کسی خرابی سے فنڈز ضائع ہونے کا خطرہ کم ہوگا۔ آخرکار فائدہ صارفین کا ہی ہے، ایک ایسی چین سے جو تیز بھی ہو اور محفوظ بھی۔
بڑا سوال
اگر پروف اسپیڈ اب فیصلہ کن عنصر نہیں رہی، تو مقابلہ کرنے والے zkEVMs کو کون سا نیا معیار الگ کرے گا؟ فارمل ویریفیکیشن یہ تصدیق کر سکتی ہے کہ کوئی سسٹم اپنی مخصوصات سے میل کھاتا ہے، مگر یہ ضمانت نہیں دے سکتی کہ وہ مخصوصات ہر حقیقی حملے کا احاطہ کرتی ہیں۔ یہ فیصلہ کون کرے گا کہ کوئی پرووور اربوں ڈالر کے اثاثوں کی حفاظت کے لیے کافی حد تک محفوظ ثابت ہو چکا ہے؟
آگے کیا دیکھنا ہے؟
ZKsync نے ابھی تک Airbender Prime کے مین نیٹ انضمام کی کوئی تاریخ شائع نہیں کی۔ آنے والے ہفتوں میں دیکھنا ہوگا کہ ایتھریم کے بنیادی ڈویلپرز Buterin کے فارمل ویریفیکیشن روڈ میپ پر کیا ردعمل دیتے ہیں۔ جیسے جیسے توجہ سیکیورٹی آڈٹس کی طرف منتقل ہوگی، دیگر zkEVM پراجیکٹس بھی اپنے بینچ مارک موازنے شائع کر سکتے ہیں۔ Bonuz اس بحث پر نظر رکھے گا کہ یہ پروفنگ انفراسٹرکچر پر کیسے اثر ڈالتی ہے، خاص طور پر ایسے ہلکے پھلکے، ہمہ وقت فعال آلات جیسے اسمارٹ گلاسز کے لیے، جو ایج پر تیز اور سستی ویریفیکیشن پر انحصار کرتے ہیں۔
