اتفاق رائے

ایڈیٹر کا نوٹ: a16z crypto کی ایک طویل سیریز ہے "بندوقیں” — from our our original کرپٹو کینن ہماری طرف ڈی اے او کینن اور NFT کینن کو، حال ہی میں، ہمارے زیرو نالج کینن. ذیل میں، ہم نے اب ان لوگوں کے لیے وسائل کا ایک مجموعہ جمع کر لیا ہے جو سمجھنے، گہرائی میں جانے، اور اس کے ساتھ تعمیر کرنا چاہتے ہیں۔ اتفاق رائے: معاہدے کے نظام جو کرپٹو کرنسیوں کو کام کرنے کے قابل بناتے ہیں، لین دین کی درستگی اور بلاکچین کی حکمرانی کا تعین کرتے ہیں۔

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

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

عام وسائل

وکندریقرت خیالات. اس بلاگ کو اتائی ابراہم اور کارتک نائک چلاتے ہیں لیکن اس میں دیگر سرکردہ محققین کی بھی بہت سی شراکتیں ہیں۔ یہ بالکل بنیادی باتوں سے شروع ہوتا ہے، لیکن آپ حالیہ کاغذات کی سادہ وضاحتیں بھی تلاش کر سکتے ہیں۔ 

50 صفحات میں اتفاق رائے. اینڈریو لیوس پائی کے نوٹس جو کلاسیکی متفقہ ادب کے کلیدی نتائج کا احاطہ کرتے ہیں۔ اس لنک پر موجود ورژن زیر تعمیر ہے اور اسے اکثر اپ ڈیٹ کیا جاتا ہے۔ ان نوٹوں پر مبنی a16z کرپٹو سیمینار بھی دیکھیں (حصہ I, حصہ دوم). 

تقسیم شدہ اتفاق رائے اور بلاک چینز کی بنیادیں۔. ایلین شی کی نصابی کتاب کا ابتدائی مسودہ۔

بلاکچینز کی بنیادیں۔. یو ٹیوب پر ایک لیکچر سیریز بذریعہ Tim Roughgarden۔ 

بلاکچین فاؤنڈیشنز. ڈیوڈ تسی کے پروف آف ورک اور پروف آف اسٹیک پروٹوکول پر مرکوز لیکچر نوٹس۔ 

اجماع کی تعریف

تین متفقہ مسائل جن کا سب سے زیادہ مطالعہ کیا گیا ہے۔ بازنطینی نشریات, بازنطینی معاہدہ، اور ریاستی مشین کی نقل (وہ مسئلہ جو بلاکچین پروٹوکول حل کرتا ہے)۔ ان مسائل کے درمیان تعلق کی وضاحت کے لیے، یا تو 50 صفحات میں اتفاق رائے (اوپر درج) دیکھیں، یا یہ بلاگز ڈی سینٹرلائزڈ تھوٹس پر دیکھیں:اجماع کیا ہے؟"اور"ریاستی مشین کی نقل کے لیے اتفاق رائے".

بازنطینی جرنیلوں کا مسئلہ (1982) بذریعہ لیسلی لیمپورٹ، رابرٹ شوسٹاک، اور مارشل پیز۔
اس مقالے میں معروف "بازنطینی جرنیلوں کا مسئلہ" متعارف کرایا گیا ہے۔ یہ ابھی بھی پڑھنے کے قابل ہے، لیکن کچھ ثبوتوں کے بہتر ورژن کہیں اور مل سکتے ہیں۔ اس ثبوت کے لیے کہ کوئی عوامی کلیدی بنیادی ڈھانچہ (PKI) دیے جانے والے کسی بھی تعداد میں ناقص پروسیسرز کے لیے مسئلہ حل کر سکتا ہے، ڈولیو اینڈ سٹرانگ کے کاغذ میں ایک آسان اور زیادہ کارآمد ورژن پایا جا سکتا ہے (نیچے "مطابقت پذیر) پر سیکشن میں دیکھیں۔ پروٹوکولز")۔ مشہور ناممکن نتیجہ کے لیے کہ، PKI کی عدم موجودگی میں، مسئلہ حل نہیں ہو سکتا جب تک کہ ایک تہائی سے بھی کم پروسیسرز بازنطینی فالٹس ظاہر نہ کریں، فشر، لنچ اور میرٹ کے کاغذ میں ایک زیادہ قابل فہم ثبوت پایا جا سکتا ہے (نیچے بھی) . 

ریاستی مشین کے نقطہ نظر کا استعمال کرتے ہوئے غلطی کو برداشت کرنے والی خدمات کو نافذ کرنا: ایک سبق (1990) از فریڈ شنائیڈر۔
آپ کو اس پرانے کاغذ پر بھی ایک نظر ڈالنی چاہیے، جس میں اسٹیٹ-مشین-ریپلیکیشن (SMR) - بلاک چین پروٹوکول کے ذریعے حل ہونے والے مسئلے کا علاج کیا گیا ہے۔

مندرجہ ذیل لنکس کو پروٹوکول کی ترتیب کے مطابق درجہ بندی کیا گیا ہے، جس سے شروع ہوتا ہے۔ اجازت دی پروٹوکول (جیسا کہ زیادہ تر کلاسیکی ادب میں سمجھا جاتا ہے)۔ اجازت یافتہ پروٹوکول وہ ہوتے ہیں جن میں تمام شرکاء پروٹوکول کے نفاذ کے آغاز سے ہی پہچانے جاتے ہیں۔ نیچے دیے گئے لنکس میں، اجازت یافتہ پروٹوکولز کو مزید درجہ بندی پیغام کی وشوسنییتا کے ماڈل کے مطابق کیا گیا ہے: یا تو ہم وقت ساز, جزوی طور پر ہم آہنگ، یا الیکشنروس.  ان شرائط کی وضاحت کے لیے دیکھیں:ہم وقت سازی، غیر مطابقت پذیری اور جزوی ہم آہنگی۔وکندریقرت خیالات میں۔ مختلف ماڈلز میں حاصل کردہ نتائج کے خلاصے کے لیے، دیکھیں وکندریقرت خیالات دھوکہ شیٹ.

ہم وقت ساز پروٹوکولز

ہم "مطابقت پذیر" ترتیب میں ہوتے ہیں جب پیغام کی ترسیل قابل اعتماد ہوتی ہے، یعنی پیغامات ہمیشہ ڈیلیور کیے جاتے ہیں اور پیغام کی ترسیل کے لیے زیادہ سے زیادہ وقت پر کچھ محدود معلوم پابندی موجود ہوتی ہے۔ رسمی تعریف کے لیے اوپر دیے گئے لنکس دیکھیں۔ 

بازنطینی معاہدے کے لیے مستند الگورتھم (1983) بذریعہ ڈینی ڈولیو اور ایچ ریمنڈ اسٹرانگ۔
یہاں دو اہم دلیلیں ہیں۔ اس بات کا ثبوت موجود ہے کہ کوئی بھی عوامی کلیدی بنیادی ڈھانچہ (PKI) کے پیش نظر کسی بھی تعداد میں ناقص پروسیسرز کے لیے بازنطینی نشریات کو حل کر سکتا ہے۔ اس کی ایک اور وضاحت کے لیے ملاحظہ فرمائیں "Dolev- مضبوط تصدیق شدہ نشریاتوکندریقرت خیالات میں۔ اس کا ثبوت بھی ہے۔ f+1 بازنطینی نشریات کو حل کرنے کے لیے راؤنڈز ضروری ہیں۔ f پروسیسرز ناقص ہوسکتے ہیں۔ ایک آسان ثبوت کے لیے دیکھیں ایک سادہ دوائی کا ثبوت کہ t-لچکدار اتفاق رائے کو t+1 راؤنڈ کی ضرورت ہوتی ہے مارکوس ایگیلیرا اور سیم ٹوئیگ کے ذریعہ۔ 

تقسیم شدہ اتفاق رائے کے مسائل کے لئے آسان ناممکن ثبوت (1986) بذریعہ مائیکل فشر، نینسی لنچ، اور مائیکل میرٹ۔
حالیہ بات چیت بھی دیکھیں جو اس کا احاطہ کرتی ہیں۔ اینڈریو لیوس پائی اور ٹم راؤ گارڈن۔. 

بازنطینی معاہدے کے لیے معلومات کے تبادلے پر پابندیاں (1985) بذریعہ ڈینی ڈولیو اور روڈیگر ریسچک۔
وہاں نہیں ہیں کہ متفقہ ادب میں ناممکن ثبوت کی بہت سی شکلیں۔ یہ ایک اہم ہے جو ظاہر کرتا ہے کہ ان پیغامات کی تعداد کو کم کرنے کا طریقہ جو اتفاق رائے کے مسائل کو حل کرنے کے لیے بھیجے جانے کی ضرورت ہے۔ 

کاغذ سے "فیز کنگ پروٹوکول" بٹ بہترین تقسیم شدہ اتفاق رائے (1992) بذریعہ Piotr Berman، Juan Garay، اور Kenneth Perry۔
اگر آپ PKI کے بغیر مطابقت پذیر ترتیب میں بازنطینی معاہدے کو حل کرنے والا پروٹوکول دیکھنا چاہتے ہیں، تو یہ شاید سب سے زیادہ معلوماتی ہے۔ ایک حالیہ بلاگ پوسٹ کے لیے جو اس کی واضح وضاحت کرتی ہے، دیکھیں "فیز کنگ گریڈ کاسٹ کے لینز کے ذریعے: ایک سادہ غیر تصدیق شدہ ہم وقت ساز بازنطینی معاہدہوکندریقرت خیالات میں۔

جزوی طور پر مطابقت پذیر پروٹوکول

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

جزوی ہم آہنگی کی موجودگی میں اتفاق رائے (1988) بذریعہ سنتھیا ڈی ورک، نینسی لنچ، اور لیری اسٹاکمیئر۔
یہ وہ کلاسک کاغذ ہے جو جزوی طور پر ہم آہنگی کی ترتیب کو متعارف کرواتا ہے اور بہت سے اہم نتائج کو ثابت کرتا ہے۔ 

BFT اتفاق رائے پر تازہ ترین گپ شپ (2018) بذریعہ ایتھن بوچمین، جے کوون، اور زارکو میلوسیوک۔
صحیح پریزنٹیشن کو دیکھتے ہوئے، ٹینڈرمنٹ پروٹوکول (اس مقالے میں بیان کیا گیا ہے) کافی آسان ہے کہ یہ جزوی طور پر ہم وقت ساز ترتیب میں اسٹیٹ-مشین-ریپلیکیشن سیکھنے کا ایک اچھا طریقہ ہے۔ اتفاق رائے میں 50 صفحات میں ایک بہت ہی آسان پیشکش مل سکتی ہے (اوپر دیکھیں)، اور بات چیت میں واضح پیشکشیں بھی موجود ہیں اینڈریو لیوس پائی اور ٹم راؤ گارڈن۔. 

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

کیسپر فرینڈلی فائنل گیجٹ (2017) بذریعہ Vitalik Buterin اور Virgil Griffith.
یہ وہ پروٹوکول ہے جو Ethereum کے پروف آف اسٹیک کے موجودہ نقطہ نظر کی ریڑھ کی ہڈی کی تشکیل کرتا ہے۔ یہ بنیادی طور پر Tendermint کا ایک "زنجیروں والا" ورژن ہے۔ "چیننگ" کی وضاحت کے لیے نیچے دیے گئے ہاٹ سٹف پیپر کو دیکھیں۔ 

ہاٹ اسٹف: بلاکچین کے لینس میں BFT اتفاق رائے (2018) بذریعہ موفان ین، ڈاہلیا مالکی، مائیکل کے ریٹر، گائے گولن گوئٹا، اور اتائی ابراہم۔
یہ بنیادی طور پر وہ پروٹوکول تھا جسے فیس بک کے لیبرا پروجیکٹ (ڈیم کا نام دیا گیا) نے اصل میں لاگو کرنے کا ارادہ کیا تھا۔ Tendermint پر فائدہ یہ ہے کہ پروٹوکول ہے۔ پر امید طور پر جوابدہ، جس کا مطلب ہے کہ تصدیق شدہ بلاکس "نیٹ ورک کی رفتار" پر تیار کیے جاسکتے ہیں جب رہنما ایماندار ہوں، یعنی ہر تصدیق شدہ بلاک کو تیار کرنے میں پہلے سے طے شدہ کم از کم وقت گزارنے کی ضرورت نہیں ہے۔ اس پر آپ عطائی ابراہیم کی گفتگو بھی دیکھ سکتے ہیں۔ یہاں. 

متوقع لکیری راؤنڈ مطابقت پذیری: لکیری بازنطینی SMR کے لئے غائب لنک (2020) از اودید نور اور ادیت کیدار۔
یہ مقالہ ہاٹ اسٹف کے ساتھ اس مسئلے کو حل کرتا ہے کہ یہ "دیکھیں سنکرونائزیشن" کے لیے کوئی موثر طریقہ کار قائم نہیں کرتا ہے۔ یہ کے بلاگ بذریعہ ڈاہلیہ مالکی اور اودید نور ویو سنکرونائزیشن کے مسئلے پر کام کا جائزہ پیش کرتے ہیں۔ بھی دیکھو یہ مزید اصلاح بذریعہ اینڈریو لیوس پائی اور اٹائی ابراہیم۔

Paxos سادہ بنایا (2001) بذریعہ لیسلی لیمپورٹ۔
اگر آپ حالیہ بلاک چین پروٹوکول جیسے کہ ٹینڈرمنٹ کے ساتھ براہ راست کودنا نہیں چاہتے ہیں، تو ایک متبادل یہ ہے کہ Paxos سے شروع کریں (جو بازنطینی ناکامیوں سے نمٹنے کے لیے نہیں ہے) اور پھر PBFT پر جائیں، جو ہماری فہرست کا اگلا لنک ہے۔ (اور جو کرتا ہے)۔ 

عملی بازنطینی غلطی رواداری (1999) بذریعہ میگوئل کاسترو اور باربرا لیسکوف۔
یہ کلاسک PBFT پروٹوکول ہے۔ باربرا لیسکوف کی طرف سے پروٹوکول پر ایک زبردست گفتگو مل سکتی ہے۔ یہاں.

غیر مطابقت پذیر پروٹوکول

"غیر مطابقت پذیر" ترتیب میں، پیغامات کے پہنچنے کی ضمانت دی جاتی ہے لیکن اس میں کوئی بھی وقت لگ سکتا ہے۔ رسمی تعریف کے لیے، اوپر والے خانے میں لنکس دیکھیں۔ 

ایک ناقص عمل کے ساتھ تقسیم شدہ اتفاق رائے کا ناممکن (1985) بذریعہ مائیکل فشر، نینسی لنچ، اور مائیکل پیٹرسن۔
FLP تھیوریم (مصنفین کے نام پر رکھا گیا ہے) اتفاق رائے کے پروٹوکول پر ادب میں غالباً سب سے مشہور ناممکن نتیجہ ہے: کوئی بھی ڈیٹرمنسٹک پروٹوکول بازنطینی معاہدے (یا SMR) کو غیر مطابقت پذیر ترتیب میں حل نہیں کرتا ہے جب ایک نامعلوم پروسیسر بھی ناقص ہو سکتا ہے۔ آپ کو ٹم روفگارڈن کے لیکچر میں ایک اچھی پیشکش مل سکتی ہے۔ یہاں. 

"براچا کا براڈکاسٹ،" سب سے پہلے اخبار میں شائع ہوا۔ غیر مطابقت پذیر بازنطینی معاہدے کے پروٹوکولز (1987) بذریعہ گیبریل براچا۔
FLP ناممکن نظریہ کے ارد گرد حاصل کرنے کا ایک طریقہ ختم کرنے کی ضرورت کو کمزور کرنا ہے۔ براچا کا براڈکاسٹ ایک تعییناتی پروٹوکول ہے جو بازنطینی براڈکاسٹ کی کمزور شکل کو حل کر کے غیر مطابقت پذیر ترتیب میں کام کرتا ہے جسے براڈکاسٹر کے ناقص ہونے کی صورت میں ختم کرنے کی ضرورت نہیں ہے۔ جبکہ براچا کا براڈکاسٹ اوپر والے پیپر میں سب سے پہلے ظاہر ہوتا ہے، پیپر میں یہ بھی دکھایا گیا ہے کہ کس طرح براڈکاسٹ پروٹوکول کو بے ترتیب پن کی مدد سے بازنطینی معاہدے کو حل کرنے کے لیے استعمال کیا جائے۔ اگر آپ صرف Bracha's Broadcast سیکھنا چاہتے ہیں، تو ایک واضح پیشکش مل سکتی ہے۔ یہاں.

فاسٹ پے: ہائی پرفارمنس بازنطینی فالٹ ٹولرنٹ سیٹلمنٹ (2020) بذریعہ Mathieu Baudet، George Danezis، اور Alberto Sonnino۔
یہ مقالہ بیان کرتا ہے کہ قابل اعتماد نشریات کا استعمال کرتے ہوئے غیر مطابقت پذیر ترتیب میں ادائیگی کے نظام کو کیسے نافذ کیا جائے (اور مکمل ترتیب قائم کرنے کی ضرورت کے بغیر)۔ 

اگر آپ کو واقعی بازنطینی معاہدے یا SMR کو غیر مطابقت پذیر ترتیب میں حل کرنے کی ضرورت ہے، تو FLP نتیجہ کا مطلب ہے کہ آپ کو بے ترتیب پن کی کچھ شکل استعمال کرنی پڑے گی۔ براچا کے مقالے کے ساتھ ساتھ (اوپر درج)، درج ذیل دو لنکس ادب سے کلاسیکی ہیں جو بیان کرتے ہیں کہ بازنطینی معاہدے کو بے ترتیبی کا استعمال کرتے ہوئے کیسے حل کیا جائے: 

1. مفت انتخاب کا ایک اور فائدہ: مکمل طور پر غیر مطابقت پذیر معاہدہ پروٹوکول (1983) بذریعہ مائیکل بین-اور
2. قسطنطنیہ میں بے ترتیب اوریکلز: استعمال کرتے ہوئے عملی غیر مطابقت پذیر بازنطینی معاہدہ خفیہ نگاری (2005) بذریعہ کرسچن کیچن، کلاؤس کرساوے، اور وکٹر شوپ

زیادہ سے زیادہ لچک کے ساتھ غیر مطابقت پذیر بازنطینی معاہدے کی توثیق اور غیر علامتی طور پر بہترین وقت اور لفظی ابلاغ (2018) بذریعہ اتائی ابراہم، ڈاہلیا مالکی، اور الیگزینڈر سپیگل مین۔
غیر مطابقت پذیر ترتیب میں SMR (اور بازنطینی معاہدے) کو حل کرنے کے طریقہ کو سمجھنے کا ایک متبادل راستہ یہ ہے کہ اوپر دیئے گئے کاغذ کے ساتھ جائیں، جو Hotstuff کو تبدیل کرتا ہے۔ اگر آپ پہلے سے ہی Hotstuff کو سمجھتے ہیں، تو ترمیم کافی آسان ہے۔ کوئی بھی غیر متزلزل ترتیب میں معیاری Hotstuff نہیں چلا سکتا کیونکہ، لیڈر منتخب ہونے کے بعد، مخالف صرف اس لیڈر کے پیغامات کو روک سکتا ہے۔ چونکہ ایماندار جماعتیں نہیں جانتیں کہ لیڈر بے ایمان ہے اور پیغامات نہیں بھیج رہا، یا لیڈر ایماندار ہے اور ان کے پیغامات میں تاخیر ہو رہی ہے، آخرکار وہ کسی اور طریقے سے ترقی کرنے کی کوشش کرنے پر مجبور ہو جاتی ہیں۔ اس مسئلے کو حل کرنے کے لیے، ہمارے پاس صرف یہ ہے کہ تمام جماعتیں ایک ساتھ رہنما کے طور پر کام کریں۔ ایک بار جب جماعتوں کی ایک بہت بڑی اکثریت Hotstuff پروٹوکول کے ایک معیاری "نظریہ" کو کامیابی کے ساتھ مکمل کر لیتی ہے، تو ہم سابقہ ​​طور پر بے ترتیب طور پر ایک لیڈر کا انتخاب کرتے ہیں۔ اگر انہوں نے ایک تصدیق شدہ بلاک تیار کیا ہے، تو ہم اسے استعمال کرتے ہیں، باقی کو چھوڑ دیتے ہیں۔ 

Dumbo-MVBA: زیادہ سے زیادہ قابل قدر توثیق شدہ غیر مطابقت پذیر بازنطینی معاہدہ، نظر ثانی شدہ (2020) بذریعہ یوآن لو، زینلیانگ لو، کیانگ تانگ، اور گیلنگ وانگ۔
یہ مقالہ ابراہام، مالکی اور سپیگل مین کے پچھلے کو بہتر بناتا ہے، جس سے مواصلات کی متوقع پیچیدگی کم ہوتی ہے۔ 

BFT پروٹوکول کا ہنی بیجر (2016) از اینڈریو ملر، یو زیا، کائل کرومین، ایلین شی، اور ڈان سونگ۔

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

ڈی اے جی پروٹوکول

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

اس a16z کرپٹو سیمینار میں، اینڈریو لیوس پائی دیتا ہے۔ ایک جائزہ ڈی اے جی پر مبنی اتفاق رائے۔

درج ذیل چار کاغذات ڈی اے جی پروٹوکول کی وضاحت کرتے ہیں جو لین دین پر ایک موثر کل ترتیب حاصل کرتے ہیں۔ DAG-Rider غیر مطابقت پذیر ترتیب میں کام کرتا ہے اور Cordial Miners کی طرح ہے لیکن اس میں زیادہ تاخیر اور کم متوقع (قائم شدہ) مواصلاتی پیچیدگی ہے۔ ناروہل ایک میمپول پروٹوکول ہے، اور ٹسک ایک SMR پروٹوکول ہے جو ناروال کے اوپر کام کرتا ہے جو کہ کچھ معاملات میں DAG-Rider کی کارکردگی کو بہتر بناتا ہے۔ Bullshark اسی طرح کی ہے لیکن نیٹ ورک کے اچھے حالات سے فائدہ اٹھانے کے لیے موزوں ہے جب وہ جزوی طور پر ہم وقت ساز سیٹنگ میں ہوتے ہیں۔ 

آپ کو صرف ڈی اے جی کی ضرورت ہے۔ (2021) بذریعہ Idit Keidar، Lefteris Kokoris-Kogias، Oded Naor، اور Alexander Spiegelman۔
یہ وہ کاغذ ہے جو DAG-Rider پروٹوکول کو متعارف کراتا ہے۔ 

ناروال اور ٹسک: ڈی اے جی پر مبنی میمپول اور موثر BFT اتفاق رائے (2022) جارج ڈینیزس، لیفٹیرس کوکورس کوگیاس، البرٹو سونینو، اور الیگزینڈر سپیگل مین۔

بل شارک: ڈی اے جی بی ایف ٹی پروٹوکولز کو عملی بنایا گیا۔ (2022) بذریعہ الیگزینڈر سپیگل مین، نیل گیریدھرن، البرٹو سونینو، اور لیفٹیرس کوکورس کوگیاس۔

خوشگوار کان کن: ہر واقعہ کے لیے بلاکلیس پر مبنی آرڈرنگ اتفاق رائے پروٹوکول (2022) بذریعہ ادیت کیدار، اودید نور، اور ایہود شاپیرو۔
یہ ایک مزے کی حقیقت ہے کہ وکندریقرت ادائیگیوں کے نظام کو لاگو کرنے کے لیے کسی کو بلاک چین کی ضرورت نہیں ہوتی ہے - مؤخر الذکر ایک سختی سے آسان کام ہے (دیکھیں اس اخبار ثبوت کے لیے)۔ ٹرانزیکشنز پر کل آرڈر کیسے قائم کیا جائے اس کا تجزیہ کرنے سے پہلے، اوپر Cordial Miners پیپر پہلے ایک تعییناتی (اور بہت ہی خوبصورت) DAG پروٹوکول کی وضاحت کرتا ہے جو غیر مطابقت پذیر ترتیب میں ادائیگیوں کو کامیابی کے ساتھ نافذ کرتا ہے۔ 

بغیر اجازت پروٹوکول 

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

Bitcoin: ایک پیر پیر سے الیکٹرانک کیش سسٹم (2008) بذریعہ ساتوشی ناکاموتو۔
آپ نے اس کے بارے میں سنا ہے۔ یہاں بھی ایک ہے۔ بلاگ پوسٹ بذریعہ کارتک نائک جو پروٹوکول کے مختلف پہلوؤں کی ضرورت کا بخوبی تجزیہ کرتا ہے، جیسا کہ پروف آف کام، اور پروٹوکول میں نیٹ ورک کی ہم آہنگی کس طرح ایک کردار ادا کرتی ہے۔ 

ویکیپیڈیا اور Cryptocurrency ٹیکنالوجیز (2016) اروند نارائنن، جوزف بونیو، ایڈورڈ فیلٹن، اینڈریو ملر، اور اسٹیون گولڈ فیڈر کے ذریعہ۔
یہ نصابی کتاب خلا میں نئے آنے والوں کے لیے Bitcoin کا ​​ایک اچھا تعارف پیش کرتی ہے۔ ایک وابستہ بھی ہے۔ مفت کورسیرا کورس. 

مزید تکنیکی سطح پر، درج ذیل تین مقالے Bitcoin کے لیے تحفظ اور زندہ دلی کا تجزیہ کرتے ہیں، ماڈلنگ کے قدرے مختلف مفروضوں کا استعمال کرتے ہوئے۔ "Bitcoin Backbone" کاغذ سب سے مشہور ہے۔ بھاری اشارے اسے پڑھنا مشکل بناتا ہے، لیکن ثبوت کے پیچھے بنیادی خیال اتنا پیچیدہ نہیں ہے جتنا یہ شروع میں لگتا ہے۔ ڈونگنگ گو اور لنگ رین کا ثبوت بنیادی نظریات کی وضاحت کرتا ہے اور یہ چھوٹا اور آسان ہے۔ 

1. بٹ کوائن بیک بون پروٹوکول: تجزیہ اور درخواستیں۔ (2015) بذریعہ جوآن گارے، ایگیلوس کیایاس، اور نیکوس لیونارڈو۔
2. غیر مطابقت پذیر نیٹ ورکس میں بلاکچین پروٹوکول کا تجزیہ (2017) بذریعہ رافیل پاس، لائور سیمان، اور ابھی شیلات۔
3. Bitcoin کے لیٹینسی-سیکیورٹی تجزیہ کو آسان بنا دیا گیا ہے۔ (2022) بذریعہ ڈونگنگ گو اور لنگ رین۔

سب کچھ ایک ریس ہے اور ناکاموٹو ہمیشہ جیتتا ہے۔ (2020) بذریعہ امیر ڈیمبو، سریرام کنن، ارٹیم نصرت تاس، ڈیوڈ تسے، پرمود وشواناتھ، زوچاو وانگ، اور اوفر زیتونی۔
اس مقالے میں، مصنفین Bitcoin کے لیے ایک خوبصورت سیکیورٹی تجزیہ کرتے ہیں جو یہ ظاہر کرتے ہوئے کام کرتا ہے کہ ایک لمبی زنجیر بنانے کے لیے ریسنگ کا سب سے واضح حملہ سب سے زیادہ مؤثر ہے۔ تجزیہ اووروبوروس، سنو وائٹ، اور چیا تک بھی پھیلا ہوا ہے (تمام ذیل میں درج ہیں)۔ 

پھر مندرجہ ذیل تین کاغذات Bitcoin پر حملے کی مختلف شکلوں اور کام کے پرانے ثبوت Ethereum کو بیان کرتے ہیں۔ 

اکثریت کافی نہیں ہے: بٹ کوائن مائننگ کمزور ہے۔ (2014) بذریعہ Ittay Eyal اور Emin Güun Sirer۔
یہ معروف "سیلفش مائننگ" پیپر ہے۔ 

بٹ کوائن کے پیئر ٹو پیئر نیٹ ورک پر گرہن کے حملے (2015) ایتھن ہیل مین، ایلیسن کینڈلر، ایویو زوہر، اور شیرون گولڈ برگ کے ذریعہ۔

Ethereum کے Peer-to-peer نیٹ ورک پر کم وسائل گرہن کے حملے (2018) بذریعہ یوول مارکس، ایتھن ہیلمین، اور شیرون گولڈ برگ۔

فروٹ چینز: ایک منصفانہ بلاکچین (2017) بذریعہ رافیل پاس اور ایلین شی۔
مندرجہ بالا کاغذ خود غرض کان کنی کے مسئلے کا جواب ہے۔ مصنفین ایک پروٹوکول کو اس طرح بیان کرتے ہیں کہ کان کنوں کے لیے دیانتدارانہ حکمت عملی تخمینی توازن کی ایک شکل ہے۔ 

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

مندرجہ ذیل دو کاغذات دکھاتے ہیں کہ ثابت شدہ ضمانتوں کے ساتھ طویل ترین چین پروف آف اسٹیک پروٹوکول کو کیسے نافذ کیا جائے۔ 

1. اووروبوروس: ایک محفوظ پروف آف اسٹیک بلاکچین پروٹوکول (2017) بذریعہ Aggelos Kiayias، الیگزینڈر رسل، Bernardo David، اور Roman Oliynykov۔
2. اسنو وائٹ: مضبوطی سے قابل ترتیب اتفاق رائے اور داؤ کے محفوظ ثبوت کے لیے درخواستیں (2019) بذریعہ فل ڈیان، رافیل پاس، اور ایلین شی۔

الگورنڈ: کریپٹو کرنسیوں کے لیے بازنطینی معاہدوں کی پیمائش (2017) بذریعہ Yossi Gilad، Rotem Hemo، Silvio Micali، Georgios Vlachos، اور Nickolai Zeldovich۔
یہ کاغذ دکھاتا ہے کہ کلاسیکل BFT طرز کے پروٹوکول کو پروف آف اسٹیک پروٹوکول کے طور پر کیسے لاگو کیا جائے۔ یہاں ہے الگورنڈ پر ایک گفتگو سلویو میکالی کے ذریعہ۔

GHOST اور Casper کا امتزاج (2020) بذریعہ Vitalik Buterin, Diego Hernandez, Thor Kamphefner, Khiem Pham, Zhi Qiao, Danny Ryan, Juhyeok Sin, Ying Wang, and Yan X Zhang.

پروف آف اسٹیک ایتھریم پر تین حملے (2022) بذریعہ کیسپر شوارز-شیلنگ، جوآخم نیو، برنابی مونوٹ، آدتیہ آسگانکر، ارٹیم نصرت تاس، اور ڈیوڈ تسے۔
Ethereum کے موجودہ ورژن کو مزید تجزیہ کی ضرورت ہے۔ یہ مقالہ کچھ حملوں کی وضاحت کرتا ہے۔ 

چی نیٹ ورک بلاکچین (2019) بذریعہ برام کوہن اور کرزیزٹوف پیٹرزاک۔
یہ کاغذ بتاتا ہے کہ جگہ اور وقت کا ثبوت استعمال کرتے ہوئے ایک طویل ترین سلسلہ پروٹوکول کیسے بنایا جائے۔

بازنطینی جرنیل اجازت کے بغیر ترتیب میں (2021) بذریعہ اینڈریو لیوس پائی اور ٹم روفگارڈن۔
اس مقالے میں، مصنفین بغیر اجازت پروٹوکولز کے تجزیہ کے لیے ایک فریم ورک تیار کرتے ہیں جو کسی کو ایسے کام کرنے کی اجازت دیتا ہے جیسے کہ اجازت کے بغیر پروٹوکول کے لیے ناممکن نتائج ثابت کرنا، اور پروف آف ورک اور پروف آف اسٹیک پروٹوکول کی عمومی صلاحیتوں کو واضح طور پر بیان کرنا۔ . 

***

اینڈریو لیوس پائی لندن سکول آف اکنامکس میں پروفیسر ہیں۔ اس نے مختلف شعبوں میں کام کیا ہے، بشمول ریاضی کی منطق، نیٹ ورک سائنس، آبادی جینیات، اور بلاک چین۔ پچھلے چار سالوں سے اس کی تحقیقی توجہ بلاکچین پر مرکوز ہے، جہاں اس کے بنیادی مفادات متفقہ پروٹوکول اور ٹوکنومکس میں ہیں۔ آپ اسے ٹویٹر پر ڈھونڈ سکتے ہیں۔ @AndrewLewisPye .

تسلیمات: بہت سے ٹیلنگ رین کا شکریہ، اتائی ابراہیم, کارتک نائک, والیریا نکولائنکو, الیگزینڈر سپیگل مین، اور میتھیو بوڈیٹ مفید تجاویز کے لیے۔ 

***

یہاں بیان کردہ خیالات انفرادی AH Capital Management, LLC ("a16z") کے اہلکاروں کے ہیں جن کا حوالہ دیا گیا ہے اور یہ a16z یا اس سے وابستہ افراد کے خیالات نہیں ہیں۔ یہاں پر موجود کچھ معلومات فریق ثالث کے ذرائع سے حاصل کی گئی ہیں، بشمول a16z کے زیر انتظام فنڈز کی پورٹ فولیو کمپنیوں سے۔ جب کہ معتبر مانے جانے والے ذرائع سے لیا گیا ہے، a16z نے آزادانہ طور پر ایسی معلومات کی تصدیق نہیں کی ہے اور معلومات کی پائیدار درستگی یا دی گئی صورت حال کے لیے اس کی مناسبیت کے بارے میں کوئی نمائندگی نہیں کی ہے۔ اس کے علاوہ، اس مواد میں فریق ثالث کے اشتہارات شامل ہو سکتے ہیں۔ a16z نے ایسے اشتہارات کا جائزہ نہیں لیا ہے اور اس میں موجود کسی بھی اشتہاری مواد کی توثیق نہیں کرتا ہے۔

یہ مواد صرف معلوماتی مقاصد کے لیے فراہم کیا گیا ہے، اور قانونی، کاروبار، سرمایہ کاری، یا ٹیکس کے مشورے کے طور پر اس پر انحصار نہیں کیا جانا چاہیے۔ آپ کو ان معاملات کے بارے میں اپنے مشیروں سے مشورہ کرنا چاہئے۔ کسی بھی سیکیورٹیز یا ڈیجیٹل اثاثوں کے حوالے صرف مثالی مقاصد کے لیے ہیں، اور سرمایہ کاری کی سفارش یا پیشکش کی تشکیل نہیں کرتے ہیں کہ سرمایہ کاری کی مشاورتی خدمات فراہم کریں۔ مزید برآں، یہ مواد کسی سرمایہ کار یا ممکنہ سرمایہ کاروں کی طرف سے استعمال کرنے کے لیے نہیں ہے اور نہ ہی اس کا مقصد ہے، اور کسی بھی صورت میں a16z کے زیر انتظام کسی بھی فنڈ میں سرمایہ کاری کرنے کا فیصلہ کرتے وقت اس پر انحصار نہیں کیا جا سکتا ہے۔ (a16z فنڈ میں سرمایہ کاری کرنے کی پیشکش صرف پرائیویٹ پلیسمنٹ میمورنڈم، سبسکرپشن ایگریمنٹ، اور اس طرح کے کسی بھی فنڈ کی دیگر متعلقہ دستاویزات کے ذریعے کی جائے گی اور ان کو مکمل طور پر پڑھا جانا چاہیے۔) کوئی بھی سرمایہ کاری یا پورٹ فولیو کمپنیوں کا ذکر کیا گیا، حوالہ دیا گیا، یا بیان کردہ A16z کے زیر انتظام گاڑیوں میں ہونے والی تمام سرمایہ کاری کے نمائندے نہیں ہیں، اور اس بات کی کوئی یقین دہانی نہیں ہو سکتی کہ سرمایہ کاری منافع بخش ہو گی یا مستقبل میں کی جانے والی دیگر سرمایہ کاری میں بھی ایسی ہی خصوصیات یا نتائج ہوں گے۔ Andreessen Horowitz کے زیر انتظام فنڈز کے ذریعے کی گئی سرمایہ کاری کی فہرست (ان سرمایہ کاری کو چھوڑ کر جن کے لیے جاری کنندہ نے a16z کو عوامی طور پر ظاہر کرنے کے ساتھ ساتھ عوامی طور پر تجارت کیے جانے والے ڈیجیٹل اثاثوں میں غیر اعلانیہ سرمایہ کاری کی اجازت فراہم نہیں کی ہے) https://a16z.com/investments پر دستیاب ہے۔ /.

اندر فراہم کردہ چارٹس اور گراف صرف معلوماتی مقاصد کے لیے ہیں اور سرمایہ کاری کا کوئی فیصلہ کرتے وقت ان پر انحصار نہیں کیا جانا چاہیے۔ ماضی کی کارکردگی مستقبل کے نتائج کا اشارہ نہیں ہے۔ مواد صرف اشارہ کردہ تاریخ کے مطابق بولتا ہے۔ کوئی بھی تخمینہ، تخمینہ، پیشن گوئی، اہداف، امکانات، اور/یا ان مواد میں بیان کیے گئے خیالات بغیر اطلاع کے تبدیل کیے جا سکتے ہیں اور دوسروں کی رائے سے مختلف یا اس کے برعکس ہو سکتے ہیں۔ اضافی اہم معلومات کے لیے براہ کرم https://a16z.com/disclosures دیکھیں۔

• SEO سے چلنے والا مواد اور PR کی تقسیم۔ آج ہی بڑھا دیں۔
• پلیٹو بلاک چین۔ Web3 Metaverse Intelligence. علم میں اضافہ۔ یہاں تک رسائی حاصل کریں۔
• ماخذ: https://a16zcrypto.com/consensus-canon/