ایتھیریم فاؤنڈیشن ٹرانزیکشن assertions کا جائزہ لے رہی ہے، جن کے ذریعے صارفین کسی ٹرانزیکشن کے حتمی نتیجے کے ساتھ قابلِ نفاذ شرائط منسلک کر سکیں گے، بجائے اس کے کہ صرف مطلوبہ کارروائی کی منظوری پر انحصار کیا جائے۔ اس کی تحقیق، جو اس کے Trillion Dollar Security اقدام کا حصہ ہے، ٹرانزیکشن کی حفاظت میں ایک خلا کو نشانہ بناتی ہے: درست دستخط اس بات کی ضمانت نہیں دیتا کہ نتیجے میں آنے والے بیلنس، اجازتیں یا اکاؤنٹ کے کنٹرول وہی ہوں گے جو دستخط کنندہ کی منشا تھی۔
اہم نکات
- مجوزہ جانچ پڑتال عمل درآمد کے دوران ٹرانزیکشن کے نتائج کا جائزہ لے گی اور دستخط شدہ قاعدے کی خلاف ورزی کرنے والی کارروائیاں واپس کر دے گی۔
- تحفظ کا انحصار ایسے قواعد پر ہے جن کی منظوری کسی ممکنہ طور پر متاثرہ ٹرانزیکشن بلڈر سے آزادانہ طور پر دی گئی ہو۔
- یہ تحقیق والیٹ کی حفاظتی پالیسیوں، تفویض کردہ ایجنٹس اور سولور ورک فلو کی معاونت کر سکتی ہے، لیکن اس کے نفاذ کا اعلان نہیں کیا گیا۔
فہرستِ مضامین
- ٹرانزیکشن کی منظوری کے باوجود نقصان کیوں ہو سکتا ہے
- ٹرانزیکشن assertions نتیجے کی جانچ کیسے کریں گی
- مجوزہ نفاذ سے کیا معلومات دستیاب ہوں گی
- والیٹس اور پروٹوکولز کو کہاں تبدیلی کرنا ہوگی
- ایجنٹس اور سولور ورک فلو کو کیا فائدہ ہو سکتا ہے
- نتیجہ
ٹرانزیکشن کی منظوری کے باوجود نقصان کیوں ہو سکتا ہے
ایتھیریم صارف کی جانب سے منظور کردہ درخواست کو اس کوڈ اور حالت کے مطابق چلاتا ہے جو عمل درآمد کے وقت دستیاب ہوں۔ یہ حالات اس سے مختلف ہو سکتے ہیں جن کا صارف نے جائزہ لیا تھا۔ مثال کے طور پر، عمل درآمد سے پہلے پراکسی کا نفاذ تبدیل ہو سکتا ہے، جبکہ ٹرانزیکشنز کی ترتیب اس قیمت کو بدل سکتی ہے جس پر کسی سواپ کو انجام دیا جائے گا۔
فاؤنڈیشن گمراہ کن درخواستوں اور ناپسندیدہ نتائج میں فرق کرتی ہے۔ Bybit اور BadgerDAO کے حملوں میں متاثرہ فرنٹ اینڈز نے دستخط کی ایسی درخواستیں دکھائیں جو صارفین کے خیال کے مطابق منظور کی جانے والی درخواستوں سے مختلف تھیں۔ اس کے برعکس، درست طور پر دکھائی گئی درخواست بھی ایسا نتیجہ ممکن بنا سکتی ہے جو معاشی طور پر نقصان دہ ہو۔
اس کی مثال Aave اور CoW کا کولیٹرل سواپ ہے، جس میں تقریباً $50.4 million مالیت کے aEthUSDT شامل تھے۔ AAVE کی کم لیکویڈیٹی اور CoW کی گیس کی حد کے باعث تصدیق شدہ کوٹ تقریباً 329 aEthAAVE کا تھا۔ قیمت پر 99.9 فیصد اثر کی وارننگ دکھائے جانے اور اس تصدیق کے باوجود کہ پوری مالیت ضائع ہو سکتی ہے، صارف نے دستخط کیے اور اسے تقریباً $36,000 مالیت کے ٹوکن ملے۔
یہ فرق واضح کرتا ہے کہ ٹرانزیکشن کی بہتر وضاحتیں مکمل حل کیوں نہیں ہیں۔ Clear Signing صارفین کو مطلوبہ کارروائی سمجھنے میں مدد دیتا ہے۔ Simulation کسی منتخب چین کی حالت کی بنیاد پر اثرات کا تخمینہ لگاتی ہے۔ ان میں سے کوئی بھی بذاتِ خود اس نتیجے پر آزادانہ شرط عائد نہیں کرتا جو حقیقت میں سامنے آتا ہے۔
| شے | تفصیلات |
|---|---|
| TXTRACE | ٹرانزیکشن کی خالص ریاستی تبدیلیوں اور جاری کردہ ایونٹس کی فہرست بناتا ہے۔ |
| TXDIFF | مخصوص پتوں اور اسٹوریج سلاٹس کی ابتدائی اور حتمی قدریں حاصل کرتا ہے۔ |
| EVENTDATACOPY | جائزے کے لیے کسی ایونٹ کا ڈیٹا میموری میں نقل کرتا ہے۔ |
| نفاذ کی معلومات | مجوزہ ریاستی تبدیلی کے ڈیٹا میں نئے تعینات کیے گئے کنٹریکٹس اور ان کے کوڈ ہیش شامل ہیں۔ |
ٹرانزیکشن assertions نتیجے کی جانچ کیسے کریں گی
Assertion کارروائیوں کے مکمل ہونے کے بعد صرف مطالعے کے لیے مخصوص منطق استعمال کرتے ہوئے ٹرانزیکشن کی ابتدائی اور حتمی حالت کا موازنہ کرے گی۔ یہ شرط ٹرانزیکشن میں شامل ہوگی اور کارروائیوں کے ساتھ اس پر دستخط کیے جائیں گے۔ شرط پوری نہ ہونے پر وہ کارروائیاں واپس ہو جائیں گی۔
ممکنہ قواعد میں وصول ہونے والی کم از کم مقدار، خرچ کرنے کی حد، نئے ٹوکن کی منظوریوں پر پابندیاں یا اکاؤنٹ کی کنٹرول منطق کو برقرار رکھنا شامل ہیں۔ مجوزہ معائنے کی صلاحیت بیلنس سے آگے بڑھ کر اسٹوریج، کوڈ، نئے تعینات کیے گئے کنٹریکٹس اور جاری کردہ ایونٹس تک پھیلی ہوئی ہے۔
موجودہ کنٹریکٹ چیکس پہلے ہی منتخب نتائج کو تحفظ دیتے ہیں۔ Uniswap مخصوص کم از کم آؤٹ پٹ سے کم سواپس مسترد کر سکتا ہے، اور Safe guard عمل درآمد کے بعد اکاؤنٹ کی حالت کا معائنہ کر سکتا ہے۔ حد یہ ہے کہ ان کی نظر محدود ہوتی ہے: ایسے چیکس کو پہلے سے اندازہ لگانا ہوتا ہے کہ کس چیز کا معائنہ کرنا ہے، اور عموماً ان کا انحصار دوسرے کنٹریکٹس کے فراہم کردہ انٹرفیسز پر ہوتا ہے۔ مثال کے طور پر، پراکسی کے لیے ایسی فنکشن فراہم کرنا ضروری نہیں جو اس کا implementation address ظاہر کرے۔
Native assertions ٹرانزیکشن کے مکمل خالص اثرات کو جانچ کے لیے دستیاب کر دیں گی، جن میں ایسی تبدیلیاں بھی شامل ہیں جن پر عام guard کو نظر رکھنے کا خیال نہ آئے۔ تاہم، وسیع تر معلومات اسی وقت مفید ہیں جب قاعدہ قابلِ اعتماد ہو۔ ایک بدنیتی پر مبنی فرنٹ اینڈ ایسی شرط فراہم کر سکتا ہے جو اس کے اپنے حملے کی اجازت دے، اس لیے پالیسی کی بنیاد آزادانہ طور پر منظور شدہ منشا، اکاؤنٹ پالیسی یا محفوظ پروٹوکول منطق پر ہونی چاہیے۔
مجوزہ نفاذ سے کیا معلومات دستیاب ہوں گی
Native transaction assertions کے بارے میں فاؤنڈیشن کے اعلان میں EIP-7906 کو ممکنہ نفاذ کے طور پر بیان کیا گیا ہے، نہ کہ طے شدہ ڈیزائن کے طور پر۔ یہ EIP-8141 میں بیان کردہ frame transactions پر مبنی ہے، جو توثیق اور کارروائی کے مراحل کو ایک ترتیب میں منظم کرتی ہیں۔ EIP-8141 کو Hegotá کے لیے شیڈول کیا گیا ہے؛ EIP-7906 کو Considered for Inclusion کا درجہ حاصل ہے، لیکن اس اپ گریڈ میں اس کی شمولیت کی تصدیق نہیں ہوئی۔
اس طریقۂ کار کے تحت صرف مطالعے کے لیے مخصوص POST_TX frame عمل درآمد کے اختتام پر نتائج کا معائنہ کرے گا۔ مجوزہ ڈیٹا تک رسائی کی ہدایات صرف اسی frame میں کام کریں گی، پورے EVM میں نہیں۔
یہ معلومات خالص اثرات بیان کریں گی، ہر درمیانی تبدیلی کی مکمل تاریخ نہیں۔ بار بار تبدیل ہونے والا اسٹوریج سلاٹ اپنی ابتدائی اور حتمی قدروں کے ساتھ دکھائی دے گا؛ جو سلاٹ اپنی اصل قدر پر واپس آ جائے، وہ ظاہر نہیں ہوگا۔ اس لیے حتمی حالت کے نفاذ اور عمل درآمد کے ہر مرحلے کی نگرانی کے درمیان فرق اہم ہے۔
اگر کوئی جانچ ناکام ہو جائے تو عمل درآمد کا حصہ واپس ہو جائے گا، لیکن ٹرانزیکشن ناکام کی حیثیت سے بلاک میں برقرار رہے گی۔ گیس ادا کرنے والے کو استعمال شدہ گیس کی ادائیگی پھر بھی کرنا ہوگی، تاکہ جان بوجھ کر ناکام کی گئی ٹرانزیکشنز بلڈرز پر بلا معاوضہ عمل درآمد کا بوجھ نہ ڈالیں۔
والیٹس اور پروٹوکولز کو کہاں تبدیلی کرنا ہوگی
یہ تجویز جانچ کا طریقۂ کار فراہم کرتی ہے، اسے استعمال کرنے کی خودکار شرط نہیں۔ صارف کی ٹرانزیکشنز کے لیے والیٹ کو اپنی حفاظتی پالیسی ٹرانزیکشن کی تیاری میں شامل کرنا ہوگی، بجائے اس کے کہ بلڈر اسے چھوڑنے کے لیے آزاد ہو۔ یہ پالیسی والیٹ کی اپنی simulation سے اخذ کی جا سکتی ہے یا اکاؤنٹ کے مستقل قاعدے کے طور پر لاگو ہو سکتی ہے۔
پروٹوکولز کے لیے تحفظ کو کسی محفوظ فنکشن تک رسائی کی شرائط میں شامل کرنا ہوگا۔ Assertion کے قابل ٹرانزیکشن فراہم کرنا کافی نہیں ہوگا: کال میں وہ مخصوص جانچ بھی شامل ہونی چاہیے جس کا پروٹوکول تقاضا کرتا ہے۔ اس سے کال کرنے والوں کے لیے انضمام کے تقاضے بدل جائیں گے، جبکہ پہلے سے تعینات immutable کنٹریکٹس میں یہ رسائی جانچ بعد میں شامل نہیں کی جا سکتی۔
یہ انحصارات EVM کی ممکنہ طور پر طاقتور صلاحیت اور صارف کو دی جانے والی ضمانت میں فرق واضح کرتے ہیں۔ مؤثر تحفظ کے لیے قابلِ اعتماد شرط اور اسے مستقل طور پر ناگزیر بنانے والا سافٹ ویئر، دونوں درکار ہوں گے۔
ایجنٹس اور سولور ورک فلو کو کیا فائدہ ہو سکتا ہے
تفویض کردہ ایجنٹس کو صرف اجازتوں کے بجائے نتائج کی بنیاد پر بھی محدود کیا جا سکتا ہے۔ ایجنٹ کن کنٹریکٹس کو استعمال کر سکتا ہے یا کتنا خرچ کر سکتا ہے، اس کی حدوں کے ساتھ یہ تقاضے بھی شامل کیے جا سکتے ہیں کہ ہر ٹرانزیکشن کے بعد کیا حالت باقی رہے۔
سولور پر مبنی عمل درآمد میں پروٹوکول قابلِ قبول نتیجہ متعین کر سکتا ہے، جبکہ سولور کو راستہ منتخب کرنے کی اجازت دے سکتا ہے۔ یہ ضمانت صرف ایک نیٹ ورک پر ہونے والی ٹرانزیکشن تک محدود ہوگی، متعدد چینز پر پھیلے ہوئے راستے تک نہیں۔
Assertions ورک فلو کی تکمیل کی جانچ بھی کر سکتی ہیں، مثلاً غیر استعمال شدہ ٹوکن واپس کرنا اور باقی ماندہ منظوریوں کو منسوخ کرنا۔ ڈیزائن پر کام جاری رہنے کے دوران فاؤنڈیشن والیٹ اور پروٹوکول ٹیموں سے آرا طلب کر رہی ہے، اس لیے یہ ممکنہ استعمالات تحقیق کی سمتیں ہیں، اعلان کردہ مصنوعات کی خصوصیات نہیں۔
نتیجہ
Native transaction assertions ایتھیریم ٹرانزیکشن کی حفاظت کا کچھ حصہ درخواست کی تشریح سے ہٹا کر اس کے نتیجے کے نفاذ کی طرف منتقل کر دیں گی۔ ان کی عملی افادیت کا انحصار قابلِ اعتماد پالیسیوں اور انہیں نافذ کرنے کے ذمہ دار والیٹس اور پروٹوکولز کے اپنانے پر ہوگا۔
مزید خبریں پڑھیں
دستبرداری
یہ FinanceVelix مضمون عمومی معلومات فراہم کرتا ہے، ذاتی نوعیت کا مالی، سرمایہ کاری، قانونی یا ٹیکس سے متعلق مشورہ نہیں۔ کرپٹو کی قیمتیں تیزی سے بدل سکتی ہیں، اور آپ سرمایہ کاری کی گئی تمام رقم کھو سکتے ہیں۔ حقائق اشاعت کے وقت دستیاب مواد پر مبنی ہیں اور تبدیل ہو سکتے ہیں۔ اہم معلومات کی آزادانہ طور پر تصدیق کریں اور ضرورت پڑنے پر کسی مستند پیشہ ور سے مشورہ لیں۔ کسی اثاثے، کمپنی یا سروس کا ذکر توثیق نہیں ہے۔
