ایتھریم کی ثبوت لاگتیں ویتالک کی سخت حد کے چیلنج کا سامنا کر رہی ہیں

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

EIP-7904 کی موجودہ کمپیوٹ کاسٹ تجزیہ کمپیوٹ گیس کاسٹ میں کوئی تبدیلی کی تجویز نہیں کرتا اور ایتھریم کے گیس شیڈول میں کوئی تبدیلی کا تعین نہیں کرتا۔ EIP-7904 اکتوبر 18 تک معلوماتی پیشکش کے طور پر آخری بل پر ہے، جس کی مقررہ تاریخ نومبر 1 ہے۔ EIP-7904 کا تجزیہ آپٹیمائزڈ نیٹو ایکزیکشن کلائنٹس پر 100 ملین گیس فی سیکنڈ کو ہدف قرار دیتا ہے۔ EIP-7904 اپنے تبدیل شدہ نتائج کو بلاک لیول ایکسس لسٹس کے ذریعے ممکن بنائے گئے آپٹیمائزیشنز، جن میں پہلے مسائل والے آپریشنز کو تیز کرنے والے متوازی کام شامل ہیں، کو ذمہ دار قرار دیتا ہے۔ تاہم، EIP-7904 صرف ایک خالی CPU پر ایکزیکشن کو کور کرتا ہے اور ZK-SNARK ثبوت پیدا کرنے کو خصوصی طور پر مستثنیٰ قرار دیتا ہے، جو مختلف ورک لوڈ متعین کرتا ہے۔

ZKsync نے 13 اکتوبر کو رپورٹ کیا کہ ایک NVIDIA RTX PRO 6000 Blackwell نے 7,200 مسلسل ethereum مین نیٹ بلاکس کے 99% کو ہر ایک میں 10 سیکنڈ سے کم میں ثابت کیا، جس میں شہادت کی تیاری بھی شامل ہے۔ ZKsync نے رپورٹ کیا کہ ہر نمونہ بلاک 12 سیکنڈ سے کم میں مکمل ہو گیا۔ ZKsync نے دو اور چار GPU استعمال کرتے ہوئے الگ الگ لائیو ETHproofs کنفیگریشنز کا بھی ذکر کیا۔ تاہم، ایک زیادہ سے زیادہ لاگت کی ضمانت، بیان کردہ فرضیات کے اندر، خاص طور پر ثابت کرنے کے لیے مہنگے بنائے گئے بلاکس سمیت، تمام اجازت دیے گئے ورک لوڈز کو کور کرنی چاہیے۔ ایک عام بلاک ایک چھوٹی سی سیٹ اپ میں فٹ ہو سکتا ہے، جبکہ ایک مشکل اجازت دیا گيا ورک لوڈ آپریٹر کو وقت پر ثبوت پیدا کرنے کے لیے ضروری رزرو کپاسٹی طے کرتا ہے۔

نیذرلمنڈ ریسرچ کے لین اوشیتانی نے 27 جنوری کے پیمانوں میں پایا کہ کرپٹوگرافک پریکمپائلز اور کئی ماڈیولر ارتھمتک یا تقسیم کے عملز ہر گیس کے لیے ثابت کرنے میں نسبتاً مہنگے تھے۔ اوشیتانی کے پیمانوں نے دکھایا کہ لاگت پروور کے مطابق مختلف تھی اور ZK-سائکل کاؤنٹس عملوں کے درمیان ایک جیسے ختم ہونے کے وقت میں تبدیل نہیں ہوئیں۔ اس مطالعہ نے ماحول کے باقی پہلوؤں کو مستقل رکھتے ہوئے عملوں کی تعداد کو تبدیل کرکے حدودی ثابت کرنے کے وقت کا اندازہ لگایا۔ اس مطالعہ نے SP1 v5.2.3 اور sp1-cluster، RISC0 v3.0.4 کا استعمال کیا، جبکہ reth v1.9.3 اور چار NVIDIA GeForce RTX 4090 GPU استعمال کیے گئے۔ RISC0 نے RISC0_KECCAK_PO2=15 سیٹنگ استعمال کی۔ پیمانوں میں مستقل نمائندہ یا بہترین کوشش والے بدترین صورتحال کے ان پٹس استعمال کیے گئے، بلاک ہیڈر تصدیق کو نظرانداز کر دیا گیا اور غلطی سے BLOCKHASH کو نظرانداز کر دیا گیا۔ دلائل پر منحصر لاگتوں کا مکمل جائزہ مستقبل کا کام رہ گیا۔

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

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

Opcode کی دوبارہ قیمت گذاری سے مہنگے آپریشنز کو زیادہ گیس ملے گی، جس سے ایک بلاک میں مخصوص گیس لِمٹ پر کم ایسے آپریشنز گھل سکیں گے۔ دوبارہ قیمت گذاری شدہ آپریشنز استعمال کرنے والے ایپلیکیشنز ایک جیسے کامیاب اجراء کے لیے زیادہ گیس استعمال کر سکتے ہیں۔ EIP-1559 کا اجراء فیس مکانزم مالیات کو مؤثر گیس قیمت سے ضرب دیتا ہے۔ ایک ایپلیکیشن جسے ایک جیسے کامیاب ٹرانزیکشن کے لیے زیادہ گیس چارج کیا جائے، اسے ایک مستقل مثبت مؤثر گیس قیمت پر زیادہ ادا کرنا پڑے گا۔

EIP-8025 اب بھی ایک مسودہ، اختیاری ایکزیکیشن پرووف پراجیکٹ ہے جو پروور انگیسز فراہم نہیں کرتا اور ثبوت دستیاب ہونے کے باوجود دوبارہ ایکزیکیشن کو برقرار رکھتا ہے۔ ethereum فاؤنڈیشن کی ستمبر کی ترجیحات میں لازمی ثبوت کو بعد میں رکھا گیا ہے، جبکہ فورک آرڈر کا جائزہ لیا جا رہا ہے۔ EIP-7904 کی نومبر 1 کی جائزہ لینے کی تاریخ CPU تجزیہ سے متعلق ہے، جبکہ مستقل پروورز کو واضح ورک لودز، ایمپلیمنٹیشنز، سکیورٹی سیٹنگز اور ہارڈویئر افتراضات سے منسلک ایک حد کی ضرورت ہے۔ ایسی حد ایک گاس الاؤنس کو ایک قابل اعتماد حد میں تبدیل کر دے گی جو آپریٹر کو فراہم کرنے کے لیے تیار رہنے کی ضرورت ہوگی۔