ایتھریم کے ماندہ نامزد ویتالیک بیٹرین کا کہنا ہے کہ ایتھریم کے لیے زیرو نالج پروف کو تیز کرنے کی دوڑ بالکل جیت لی گئی ہے۔ بیٹرین کا کہنا ہے کہ اب zkEVMs کے لیے اولین ترجیح مکمل طور پر سیکیورٹی پر ہونی چاہیے۔ بیٹرین کا یہ تبصرہ ZKsync کے ایک واحد گرافکس کارڈ پر ریل ٹائم پروفنگ کے دعوے کے بعد آیا۔
ZKsync کی اپنی evaluation نے پایا کہ Airbender Prime نے 7,200 مسلسل مین نیٹ بلاکس کے دوران 99% ثبوت کم سے کم 10 سیکنڈ میں فراہم کیے۔ ethereum ہر 12 سیکنڈ میں ایک بلاک شامل کرتا ہے۔ ZKsync کا کہنا ہے کہ نمونے میں کوئی بھی بلاک ثابت کرنے میں اتنی دیر نہیں لگائی۔ ZKsync کا کہنا ہے کہ ETHproofs، جو ایک عوامی پروور لیڈر بورڈ ہے، Airbender Prime کو اوسط ثابت کرنے کے وقت میں پہلے نمبر پر رکھتی ہے۔ ZKsync کا استدلال ہے کہ کم ہارڈویئر کی ضرورتیں ثبوت فراہم کرنے کو زیادہ اداروں اور انفرادی آپریٹرز کے لیے کھولتی ہیں۔
ایتھریم والیڈیٹرز ابھی ہر ٹرانزیکشن کو دوبارہ چلا کر بلاک کی جانچ کرتے ہیں۔ زیرو نالج پروف یہ تصدیق کرتے ہیں کہ ایک کمپوٹیشن درست طریقے سے چل گئی ہے، بغیر کمپوٹیشن کو دوبارہ چلانے کے۔ زیرو نالج پروف والیڈیٹرز کو ایک مختصر ثبوت کی جانچ کرنے کی اجازت دیں گے۔ اس تبدیلی سے والیڈیٹرز کا ہر بلاک پر کام کم ہو سکتا ہے۔
بٹیرین نے zkEVMs کے لیے تین شرائط بیان کیں، جو ایتھریم کے اجراء کو ثابت کرنے والے نظام ہیں۔ بٹیرین کہتے ہیں کہ zkEVMs کو ایتھریم کے اسپیفیکیشن سے مطابقت رکھنی چاہیے۔ بٹیرین کہتے ہیں کہ zkEVMs کو بلاک گیس کے خلاف پروور لاگت کو محدود رکھنا چاہیے۔ بٹیرین کہتے ہیں کہ zkEVMs کو ایک مضبوط ثبوت نظام پر انحصار کرنا چاہیے۔ بٹیرین چاہتے ہیں کہ ہر شرط کو فارمل طور پر تصدیق کیا جائے، یعنی صرف ٹیسٹنگ نہیں بلکہ ریاضیاتی طور پر ثابت کیا جائے۔
تیز تر ثبوت کا مستقیم طور پر ethereum کی قیمت کو منتقل نہیں کرتا۔ ائیر بینڈر پرائم ایک ZKsync ٹول ہے، ایتھریم پروٹوکول میں تبدیلی نہیں۔ ائیر بینڈر پرائم ایتھریم کی ETH فراہمی، فیس اور اسٹیکنگ انعامات کو نہیں بدلتا۔ کوئی بھی قیمتی اثر زیادہ تر ایتھریم کے راستہ سازی کے بارے میں جذبات، میکرو مالیاتی حالات اور فنڈ فلو کے ساتھ آئے گا۔
بڑا مسئلہ قابلیت اعتماد ہے۔ ZKsync یہ تکنیک بینکوں کو پیش کرتی ہے، دلیل دیتے ہوئے کہ یہاں تک کہ ایک ہیک شدہ سرور بھی قوانین کی تصدیق شدہ حدود کے خلاف ایک لیجر اپڈیٹ حاصل نہیں کر سکتا۔ ایک خرابی والی تیز پروور اس مقصد کو ناکام بنائے گی۔ فارمل ویریفکیشن اور آڈٹ اب یہ طے کر سکتے ہیں کہ ethereum کون سے zkEVMs پر بھروسہ کر سکتا ہے۔