تصدیقات

ہر ایپوک کے دوران ایک ویلیڈیٹر سے ایک تصدیق بنانے، اس پر دستخط کرنے اور اسے براڈکاسٹ کرنے کی توقع کی جاتی ہے۔ یہ صفحہ اس بات کا خاکہ پیش کرتا ہے کہ یہ تصدیقات کیسی دکھتی ہیں اور کنسنسس کلائنٹس کے درمیان ان پر کارروائی اور ان کا تبادلہ کیسے ہوتا ہے۔

تصدیق کیا ہے؟

ہر (6.4 منٹ) میں ایک ویلیڈیٹر نیٹ ورک کو ایک تصدیق کی تجویز پیش کرتا ہے۔ تصدیق ایپوک میں ایک مخصوص سلاٹ کے لیے ہوتی ہے۔ تصدیق کا مقصد چین کے بارے میں ویلیڈیٹر کے نظریہ کے حق میں ووٹ دینا ہے، خاص طور پر سب سے حالیہ جائز بلاک اور موجودہ ایپوک کے پہلے بلاک (جسے source اور target چیک پوائنٹس کے نام سے جانا جاتا ہے) کے حق میں۔ یہ معلومات تمام حصہ لینے والے ویلیڈیٹرز کے لیے یکجا کی جاتی ہیں، جس سے نیٹ ورک بلاک چین کی اسٹیٹ کے بارے میں کنسنسس تک پہنچ پاتا ہے۔

تصدیق میں درج ذیل اجزاء ہوتے ہیں:

aggregation_bits: ویلیڈیٹرز کی ایک بٹ لسٹ جہاں پوزیشن ان کی کمیٹی میں ویلیڈیٹر انڈیکس سے مطابقت رکھتی ہے؛ ویلیو (0/1) اس بات کی نشاندہی کرتی ہے کہ آیا ویلیڈیٹر نے data پر دستخط کیے ہیں (یعنی، آیا وہ فعال ہیں اور بلاک پروپوزر سے اتفاق کرتے ہیں)
data: تصدیق سے متعلق تفصیلات، جیسا کہ ذیل میں بیان کیا گیا ہے
signature: ایک BLS دستخط جو انفرادی ویلیڈیٹرز کے دستخطوں کو جمع کرتا ہے

ایک تصدیق کرنے والے ویلیڈیٹر کے لیے پہلا کام data بنانا ہے۔ data میں درج ذیل معلومات ہوتی ہیں:

slot: وہ سلاٹ نمبر جس کا تصدیق حوالہ دیتی ہے
index: ایک نمبر جو یہ شناخت کرتا ہے کہ ایک دیے گئے سلاٹ میں ویلیڈیٹر کس کمیٹی سے تعلق رکھتا ہے
beacon_block_root: اس بلاک کا روٹ ہیش جسے ویلیڈیٹر چین کے ہیڈ پر دیکھتا ہے (فورک-چوائس الگورتھم کو لاگو کرنے کا نتیجہ)
source: فائنلٹی ووٹ کا حصہ جو اس بات کی نشاندہی کرتا ہے کہ ویلیڈیٹرز سب سے حالیہ جائز بلاک کے طور پر کیا دیکھتے ہیں
target: فائنلٹی ووٹ کا حصہ جو اس بات کی نشاندہی کرتا ہے کہ ویلیڈیٹرز موجودہ ایپوک میں پہلے بلاک کے طور پر کیا دیکھتے ہیں

ایک بار جب data بن جاتا ہے، تو ویلیڈیٹر aggregation_bits میں اپنے ویلیڈیٹر انڈیکس کے مطابق بٹ کو 0 سے 1 میں پلٹ سکتا ہے تاکہ یہ ظاہر ہو کہ اس نے حصہ لیا تھا۔

آخر میں، ویلیڈیٹر تصدیق پر دستخط کرتا ہے اور اسے نیٹ ورک پر براڈکاسٹ کرتا ہے۔

مجموعی تصدیق

ہر ویلیڈیٹر کے لیے نیٹ ورک پر اس ڈیٹا کو منتقل کرنے سے وابستہ ایک خاطر خواہ اوورہیڈ ہے۔ لہذا، انفرادی ویلیڈیٹرز کی تصدیقات کو زیادہ وسیع پیمانے پر براڈکاسٹ کیے جانے سے پہلے سب نیٹس کے اندر جمع کیا جاتا ہے۔ اس میں دستخطوں کو ایک ساتھ جمع کرنا شامل ہے تاکہ براڈکاسٹ ہونے والی تصدیق میں کنسنسس data اور ان تمام ویلیڈیٹرز کے دستخطوں کو ملا کر بنایا گیا ایک واحد دستخط شامل ہو جو اس data سے اتفاق کرتے ہیں۔ اسے aggregation_bits کا استعمال کرکے چیک کیا جاسکتا ہے کیونکہ یہ ان کی کمیٹی میں ہر ویلیڈیٹر کا انڈیکس فراہم کرتا ہے (جس کی ID data میں فراہم کی گئی ہے) جسے انفرادی دستخطوں کی استفسار کے لیے استعمال کیا جاسکتا ہے۔

ہر ایپوک میں ہر سب نیٹ میں 16 ویلیڈیٹرز کو aggregators کے طور پر منتخب کیا جاتا ہے۔ ایگریگیٹرز گوسپ نیٹ ورک پر سنی گئی ان تمام تصدیقات کو جمع کرتے ہیں جن کا data ان کے اپنے data کے برابر ہوتا ہے۔ ہر مماثل تصدیق کے بھیجنے والے کو aggregation_bits میں ریکارڈ کیا جاتا ہے۔ اس کے بعد ایگریگیٹرز تصدیق کے مجموعے کو وسیع تر نیٹ ورک پر براڈکاسٹ کرتے ہیں۔

جب کسی ویلیڈیٹر کو بلاک پروپوزر کے طور پر منتخب کیا جاتا ہے تو وہ نئے بلاک میں تازہ ترین سلاٹ تک سب نیٹس سے مجموعی تصدیقات کو پیکج کرتے ہیں۔

تصدیق کی شمولیت کا لائف سائیکل

جنریشن
پھیلاؤ
ایگریگیشن
پھیلاؤ
شمولیت

تصدیق کا لائف سائیکل نیچے دیے گئے خاکے میں بیان کیا گیا ہے:

انعامات

ویلیڈیٹرز کو تصدیقات جمع کرنے پر انعام دیا جاتا ہے۔ تصدیق کا انعام شرکت کے فلیگس (سورس، ٹارگٹ اور ہیڈ)، بنیادی انعام اور شرکت کی شرح پر منحصر ہے۔

جمع کی گئی تصدیق اور اس کی شمولیت میں تاخیر کے لحاظ سے ہر شرکت کا فلیگ یا تو درست یا غلط ہو سکتا ہے۔

بہترین منظرنامہ اس وقت ہوتا ہے جب تینوں فلیگس درست ہوں، اس صورت میں ایک ویلیڈیٹر کمائے گا (فی درست فلیگ):

reward += base reward * flag weight * flag attesting rate / 64

فلیگ تصدیقی شرح کو دیے گئے فلیگ کے لیے تمام تصدیق کرنے والے ویلیڈیٹرز کے مؤثر بیلنس کے مجموعے کا کل فعال مؤثر بیلنس سے موازنہ کرکے ماپا جاتا ہے۔

بنیادی انعام

بنیادی انعام کا حساب تصدیق کرنے والے ویلیڈیٹرز کی تعداد اور ان کے مؤثر اسٹیک شدہ ایتھر بیلنس کے مطابق کیا جاتا ہے:

base reward = validator effective balance x 2^6 / SQRT(Effective balance of all active validators)

شمولیت میں تاخیر

جس وقت ویلیڈیٹرز نے چین کے ہیڈ (block n) پر ووٹ دیا، اس وقت block n+1 ابھی تک تجویز نہیں کیا گیا تھا۔ لہذا تصدیقات قدرتی طور پر ایک بلاک بعد شامل ہو جاتی ہیں، اس لیے block n کو چین کا ہیڈ ہونے پر ووٹ دینے والی تمام تصدیقات block n+1 میں شامل ہو گئیں، اور شمولیت میں تاخیر 1 ہے۔ اگر شمولیت میں تاخیر دوگنی ہو کر دو سلاٹس ہو جاتی ہے، تو تصدیق کا انعام آدھا ہو جاتا ہے، کیونکہ تصدیق کے انعام کا حساب لگانے کے لیے بنیادی انعام کو شمولیت میں تاخیر کے معکوس سے ضرب دیا جاتا ہے۔

تصدیق کے منظرنامے

گمشدہ ووٹنگ ویلیڈیٹر

ویلیڈیٹرز کے پاس اپنی تصدیق جمع کرانے کے لیے زیادہ سے زیادہ 1 ایپوک ہوتا ہے۔ اگر ایپوک 0 میں تصدیق چھوٹ گئی تھی، تو وہ اسے ایپوک 1 میں شمولیت میں تاخیر کے ساتھ جمع کرا سکتے ہیں۔

گمشدہ ایگریگیٹر

کل ملا کر ہر ایپوک میں 16 ایگریگیٹرز ہوتے ہیں۔ اس کے علاوہ، بے ترتیب ویلیڈیٹرز 256 ایپوکس کے لیے دو سب نیٹس کو سبسکرائب کرتے ہیں اور ایگریگیٹرز کے گم ہونے کی صورت میں بیک اپ کے طور پر کام کرتے ہیں۔

گمشدہ بلاک پروپوزر

نوٹ کریں کہ کچھ معاملات میں ایک خوش قسمت ایگریگیٹر بلاک پروپوزر بھی بن سکتا ہے۔ اگر بلاک پروپوزر کے گم ہو جانے کی وجہ سے تصدیق شامل نہیں کی گئی تھی، تو اگلا بلاک پروپوزر مجموعی تصدیق کو اٹھا کر اگلے بلاک میں شامل کر دے گا۔ تاہم، شمولیت میں تاخیر میں ایک کا اضافہ ہو جائے گا۔