⁦Gasper⁩

صفحہ میں ترمیم کریں

Gasper، Casper the Friendly Finality Gadget (کیسپر ایف ایف جی) اور ایل ایم ڈی گھوسٹ (LMD-GHOST) فورک کے انتخاب کا الگورتھم کا مجموعہ ہے۔ یہ اجزاء مل کر حصہ داری کا ثبوت (PoS) ایتھیریم کو محفوظ بنانے والے اتفاق رائے کا طریقہ کار بناتے ہیں۔ Casper وہ طریقہ کار ہے جو کچھ بلاکس کو "حتمی" میں اپ گریڈ کرتا ہے تاکہ نیٹ ورک میں نئے آنے والے اس بات کا یقین کر سکیں کہ وہ کینونیکل (canonical) چین کے ساتھ ہم آہنگی کر رہے ہیں۔ فورک کے انتخاب کا الگورتھم جمع شدہ ووٹس کا استعمال کرتا ہے تاکہ اس بات کو یقینی بنایا جا سکے کہ جب بلاک چین میں فورکس پیدا ہوں تو نوڈس آسانی سے درست کا انتخاب کر سکیں۔

نوٹ کریں کہ کیسپر ایف ایف جی کی اصل تعریف کو Gasper میں شامل کرنے کے لیے تھوڑا سا اپ ڈیٹ کیا گیا تھا۔ اس صفحے پر ہم اپ ڈیٹ شدہ ورژن پر غور کرتے ہیں۔

پیشگی شرائط

اس مواد کو سمجھنے کے لیے حصہ داری کا ثبوت (PoS) پر تعارفی صفحہ پڑھنا ضروری ہے۔

⁦Gasper⁩ کا کردار

Gasper ایک حصہ داری کا ثبوت (PoS) بلاک چین کے اوپر کام کرتا ہے جہاں نوڈس سیکیورٹی ڈپازٹ کے طور پر ایتھر فراہم کرتے ہیں جسے اگر وہ بلاکس تجویز کرنے یا توثیق کرنے میں سست یا بے ایمان ہوں تو تباہ کیا جا سکتا ہے۔ Gasper وہ طریقہ کار ہے جو یہ طے کرتا ہے کہ توثیق کاروں کو کس طرح انعام اور سزا دی جاتی ہے، یہ فیصلہ کرتا ہے کہ کن بلاکس کو قبول اور مسترد کرنا ہے، اور بلاک چین کے کس فورک پر تعمیر کرنی ہے۔

حتمیت کیا ہے؟

حتمیت کچھ بلاکس کی ایک خصوصیت ہے جس کا مطلب ہے کہ انہیں اس وقت تک واپس نہیں کیا جا سکتا جب تک کہ اتفاق رائے کی کوئی اہم ناکامی نہ ہو اور کسی حملہ آور نے کل اسٹیک کیے گئے ایتھر کا کم از کم 1/3 حصہ تباہ نہ کر دیا ہو۔ حتمی بلاکس کو ایسی معلومات سمجھا جا سکتا ہے جس کے بارے میں بلاک چین کو یقین ہے۔ کسی بلاک کو حتمی قرار دینے کے لیے اسے دو قدمی اپ گریڈ کے طریقہ کار سے گزرنا چاہیے:

کل اسٹیک کیے گئے ایتھر کے دو تہائی حصے نے اس بلاک کو کینونیکل چین میں شامل کرنے کے حق میں ووٹ دیا ہو۔ یہ شرط بلاک کو "جواز یافتہ" میں اپ گریڈ کرتی ہے۔ جواز یافتہ بلاکس کے واپس ہونے کا امکان کم ہوتا ہے، لیکن کچھ شرائط کے تحت ایسا ہو سکتا ہے۔
جب ایک جواز یافتہ بلاک کے اوپر دوسرا بلاک جواز یافتہ ہو جاتا ہے، تو اسے "حتمی" میں اپ گریڈ کر دیا جاتا ہے۔ کسی بلاک کو حتمی بنانا اس بلاک کو کینونیکل چین میں شامل کرنے کی ایک کمٹمنٹ ہے۔ اسے اس وقت تک واپس نہیں کیا جا سکتا جب تک کہ کوئی حملہ آور لاکھوں ایتھر (اربوں $USD) تباہ نہ کر دے۔

یہ بلاک اپ گریڈ ہر سلاٹ میں نہیں ہوتے ہیں۔ اس کے بجائے، صرف دور (epoch) کی حد والے بلاکس کو جواز یافتہ اور حتمی بنایا جا سکتا ہے۔ ان بلاکس کو "چیک پوائنٹ" کہا جاتا ہے۔ اپ گریڈنگ میں چیک پوائنٹس کے جوڑوں پر غور کیا جاتا ہے۔ دو لگاتار چیک پوائنٹس کے درمیان ایک "بھاری اکثریت کا لنک" موجود ہونا چاہیے (یعنی، کل اسٹیک کیے گئے ایتھر کا دو تہائی حصہ یہ ووٹ دے کہ چیک پوائنٹ B، چیک پوائنٹ A کا درست جانشین ہے) تاکہ کم حالیہ چیک پوائنٹ کو حتمی اور زیادہ حالیہ بلاک کو جواز یافتہ میں اپ گریڈ کیا جا سکے۔

چونکہ حتمیت کے لیے دو تہائی اتفاق رائے کی ضرورت ہوتی ہے کہ ایک بلاک کینونیکل ہے، اس لیے ایک حملہ آور مندرجہ ذیل کے بغیر متبادل حتمی چین نہیں بنا سکتا:

کل اسٹیک کیے گئے ایتھر کے دو تہائی حصے کا مالک ہونا یا اس میں ہیرا پھیری کرنا۔
کل اسٹیک کیے گئے ایتھر کا کم از کم ایک تہائی حصہ تباہ کرنا۔

پہلی شرط اس لیے پیدا ہوتی ہے کیونکہ کسی چین کو حتمی بنانے کے لیے اسٹیک کیے گئے ایتھر کا دو تہائی حصہ درکار ہوتا ہے۔ دوسری شرط اس لیے پیدا ہوتی ہے کیونکہ اگر کل اسٹیک کے دو تہائی حصے نے دونوں فورکس کے حق میں ووٹ دیا ہے، تو ایک تہائی نے دونوں پر ووٹ دیا ہوگا۔ دوہرا ووٹ دینا ایک کٹوتی کی شرط ہے جس کی زیادہ سے زیادہ سزا دی جائے گی، اور کل اسٹیک کا ایک تہائی حصہ تباہ ہو جائے گا۔ مئی 2022 تک، اس کے لیے حملہ آور کو تقریباً $10 billion مالیت کا ایتھر جلانا ہوگا۔ وہ الگورتھم جو Gasper میں بلاکس کو جواز یافتہ اور حتمی بناتا ہے، Casper the Friendly Finality Gadget (کیسپر ایف ایف جی) (opens in a new tab) کی قدرے ترمیم شدہ شکل ہے۔

مراعات اور کٹوتی

توثیق کاروں کو ایمانداری سے بلاکس تجویز کرنے اور ان کی توثیق کرنے پر انعام دیا جاتا ہے۔ ایتھر انعام کے طور پر دیا جاتا ہے اور ان کے اسٹیک میں شامل کیا جاتا ہے۔ دوسری طرف، وہ توثیق کار جو غیر حاضر ہوتے ہیں اور بلائے جانے پر کام کرنے میں ناکام رہتے ہیں، وہ ان انعامات سے محروم ہو جاتے ہیں اور بعض اوقات اپنے موجودہ اسٹیک کا ایک چھوٹا سا حصہ کھو دیتے ہیں۔ تاہم، آف لائن رہنے کے جرمانے چھوٹے ہوتے ہیں اور، زیادہ تر معاملات میں، انعامات سے محروم ہونے کی موقع کی لاگت (opportunity costs) کے برابر ہوتے ہیں۔ تاہم، توثیق کار کے کچھ اعمال حادثاتی طور پر کرنا بہت مشکل ہوتا ہے اور یہ کسی بدنیتی پر مبنی ارادہ کی نشاندہی کرتے ہیں، جیسے ایک ہی سلاٹ کے لیے متعدد بلاکس تجویز کرنا، ایک ہی سلاٹ کے لیے متعدد بلاکس کی تصدیق کرنا، یا پچھلے چیک پوائنٹ کے ووٹس سے متصادم ہونا۔ یہ "کٹوتی کے قابل" (slashable) رویے ہیں جن کی زیادہ سختی سے سزا دی جاتی ہے—کٹوتی کے نتیجے میں توثیق کار کے اسٹیک کا کچھ حصہ تباہ ہو جاتا ہے اور توثیق کار کو توثیق کاروں کے نیٹ ورک سے ہٹا دیا جاتا ہے۔ اس عمل میں 36 days لگتے ہیں۔ Day 1 پر، 1 ETH تک کا ابتدائی جرمانہ ہوتا ہے۔ پھر کٹوتی شدہ توثیق کار کا ایتھر خروج کی مدت کے دوران آہستہ آہستہ ختم ہو جاتا ہے، لیکن Day 18 پر، انہیں ایک "ارتباطی جرمانہ" (correlation penalty) ملتا ہے، جو اس وقت زیادہ ہوتا ہے جب ایک ہی وقت کے آس پاس زیادہ توثیق کاروں کی کٹوتی کی جاتی ہے۔ زیادہ سے زیادہ جرمانہ پورا اسٹیک ہوتا ہے۔ یہ انعامات اور جرمانے ایماندار توثیق کاروں کی حوصلہ افزائی کرنے اور نیٹ ورک پر حملوں کی حوصلہ شکنی کرنے کے لیے بنائے گئے ہیں۔

غیر فعالی کا رساؤ

سیکیورٹی کے ساتھ ساتھ، Gasper "معقول لائیونیس" (plausible liveness) بھی فراہم کرتا ہے۔ یہ وہ شرط ہے کہ جب تک کل اسٹیک کیے گئے ایتھر کا دو تہائی حصہ ایمانداری سے ووٹ دے رہا ہے اور پروٹوکول کی پیروی کر رہا ہے، چین کسی بھی دوسری سرگرمی (جیسے حملے، تاخیر کے مسائل، یا کٹوتیوں) سے قطع نظر حتمی ہونے کے قابل ہو گی۔ دوسرے لفظوں میں، چین کو حتمی ہونے سے روکنے کے لیے کل اسٹیک کیے گئے ایتھر کا ایک تہائی حصہ کسی نہ کسی طرح سمجھوتہ (compromised) ہونا چاہیے۔ Gasper میں، لائیونیس کی ناکامی کے خلاف دفاع کی ایک اضافی لائن موجود ہے، جسے "غیر فعالی کا رساؤ" کہا جاتا ہے۔ یہ طریقہ کار اس وقت فعال ہوتا ہے جب چین چار سے زیادہ ادوار (epochs) تک حتمی ہونے میں ناکام رہتی ہے۔ وہ توثیق کار جو فعال طور پر اکثریتی چین کی تصدیق نہیں کر رہے ہیں، ان کا اسٹیک آہستہ آہستہ ختم ہو جاتا ہے یہاں تک کہ اکثریت کل اسٹیک کا دو تہائی حصہ دوبارہ حاصل کر لیتی ہے، جس سے یہ یقینی بنتا ہے کہ لائیونیس کی ناکامیاں صرف عارضی ہیں۔

فورک کا انتخاب

کیسپر ایف ایف جی کی اصل تعریف میں فورک کے انتخاب کا الگورتھم شامل تھا جس نے یہ اصول نافذ کیا: follow the chain containing the justified checkpoint that has the greatest height جہاں اونچائی (height) کو ابتدائی بلاک سے سب سے زیادہ فاصلے کے طور پر بیان کیا گیا ہے۔ Gasper میں، فورک کے انتخاب کے اصل اصول کو ایل ایم ڈی گھوسٹ (LMD-GHOST) نامی ایک زیادہ نفیس الگورتھم کے حق میں متروک کر دیا گیا ہے۔ یہ سمجھنا ضروری ہے کہ عام حالات میں، فورک کے انتخاب کے اصول کی ضرورت نہیں ہوتی - ہر سلاٹ کے لیے ایک ہی بلاک تجویز کنندہ ہوتا ہے، اور ایماندار توثیق کار اس کی تصدیق کرتے ہیں۔ صرف بڑے نیٹ ورک کی عدم ہم آہنگی (asynchronicity) کے معاملات میں یا جب کسی بے ایمان بلاک تجویز کنندہ نے ابہام پیدا کیا ہو تو فورک کے انتخاب کا الگورتھم درکار ہوتا ہے۔ تاہم، جب وہ معاملات پیدا ہوتے ہیں، تو فورک کے انتخاب کا الگورتھم ایک اہم دفاع ہوتا ہے جو درست چین کو محفوظ بناتا ہے۔

ایل ایم ڈی گھوسٹ (LMD-GHOST) کا مطلب ہے "latest message-driven greedy heaviest observed sub-tree"۔ یہ ایک الگورتھم کی وضاحت کرنے کا ایک تکنیکی اصطلاحات سے بھرا طریقہ ہے جو تصدیقات کے سب سے زیادہ جمع شدہ وزن والے فورک کو کینونیکل کے طور پر منتخب کرتا ہے (greedy heaviest subtree) اور یہ کہ اگر کسی توثیق کار سے متعدد پیغامات موصول ہوتے ہیں، تو صرف تازہ ترین پر غور کیا جاتا ہے (latest-message driven)۔ سب سے بھاری بلاک کو اپنی کینونیکل چین میں شامل کرنے سے پہلے، ہر توثیق کار اس اصول کا استعمال کرتے ہوئے ہر بلاک کا جائزہ لیتا ہے۔

مزید مطالعہ

صفحہ کی آخری اپ ڈیٹ: ۳ اپریل، ۲۰۲۶

واپس اوپر جائیں ↑