كيف يقوم Monad بتوسيع نطاق EVM مع الحفاظ على اللامركزية؟ MonadBFT هي خوارزمية الإجماع المستخدمة في Monad ، وهي أول تطبيق مقاوم للشوكة الخلفية ل Hotstuff (wtf هل يعني ذلك؟) إليك كيف يمكن ل MonadBFT التوسع إلى 1000 من المدققين أثناء الأداء 🧵

1/7 آليات الإجماع الآلية التي تستخدمها سلاسل الكتل للتأكد من الاتفاق على الكتل الجديدة من قبل غالبية المدققين. خوارزميات الإجماع حتى الآن غير قادرة على تجاوز بضع مئات من المدققين نظرا لأن التعقيد يزداد بناء على مربع عدد المدققين (في معظم الحالات) نظرا لأن كل مدقق يتحدث إلى جميع المدققين الآخرين للاتفاق على الكتل: n مدققين x n رسائل = رسائل n تربيع. ومن ثم يزداد التعقيد بشكل كبير مع عدد المدققين.

2/7 Hotstuff هي خوارزمية إجماع يمكنها التوسع خطيا (بما يتناسب طرديا مع عدد المدققين) عن طريق تجنب الرسائل الشاملة والسماح ل "قائد" واحد بالتواصل مع جميع المدققين من أجل الإجماع. وبالتالي ، يمكن أن يتوسع Hotstuff بكفاءة أكبر من إجماع PBFT التقليدي ، ولكنه عرضة لهجمات الخلف. MonadBFT هو أول تطبيق مقاوم للشوكة الخلفية ل Hotstuff.

3/7 ما هو Tailforking؟ يحدث Tailforking عندما يفشل القائد التالي (المدقق الذي يقترح الكتلة التالية) عن قصد أو عن طريق الخطأ في تضمين مراقبة الجودة للكتلة الصالحة للقائد السابق في اقتراحه للكتلة الجديدة. (QC تعني شهادة النصاب القانوني وهي دليل على أن جميع المدققين قد وافقوا على الكتلة السابقة) نتيجة لذلك ، فإن الكتلة السابقة ، على الرغم من كونها صالحة ولديها دعم الأغلبية ، تترك غير ملتزمة وفي النهاية يتم استبدالها أو استبدالها بكتلة مختلفة على نفس الارتفاع. هذا يعطل آلية الحوافز: قد لا يحصل مقدمو الاقتراحات الشرفاء على مكافآت أو رسوم كتلة إذا تم تخطي حظرهم ، مما يشجع على السلوك غير العادل ويضعف أمن الشبكة.

4/7 كيف يعمل MonadBFT؟ → يبث القائد (أليس) اقتراحا موقعا للكتلة إلى جميع العقد الأخرى (المروحة) ، الذين يقرون بصلاحيته عن طريق إرسال شهادة موقعة إلى القائد التالي بوب (مروحة). يقوم → Bob بتجميع الشهادات في "شهادة النصاب القانوني" (QC) → يبث بوب مراقبة الجودة إلى جميع العقد ، التي تشهد على استلامها عن طريق إرسال رسالة إلى الزعيم الثالث (تشارلي) الذي يجمع تلك الشهادات. نظرا لأن الشهادات تدور حول مراقبة الجودة ، فإننا نسمي مراقبة الجودة الجديدة هذه QC-on-QC. يرسل → تشارلي مراقبة الجودة على مراقبة الجودة للجميع. عند استلام QC-on-QC ، يعلم الجميع أنه تم الانتهاء من كتلة أليس.

5/7 خط الأنابيب في القصة أعلاه ، يرسل بوب وتشارلي فقط QCs أو QCs on-QCs ، ولكن في الواقع يتم تقديم المقترحات: تحتوي رسالة بوب على كل من مراقبة الجودة لكتلة أليس وأيضا محتويات كتلة جديدة. تحتوي رسالة تشارلي على مراقبة الجودة لكتلة بوب (وهي QC-on-QC لكتلة أليس) وتحتوي أيضا على معاملات كتلة جديدة. عندما يرسل المدققون شهادة لرسالة بوب، فإنهم يشهدون على صحة كتلة بوب وصلاحية مراقبة الجودة. تعمل بطانة الأنابيب هذه على زيادة إنتاجية الشبكة منذ كل فتحة يتم إنتاج كتلة جديدة.

6/7 رابتوركاست: بروتوكول نشر كتلة Monad يتطلب MonadBFT من القائد إرسال مقترحات الكتلة إلى كل مدقق. ومع ذلك ، قد تكون الكتل كبيرة جدا: 10,000 معاملة / ثانية * 200 بايت / تكس = 2 ميجابايت / ثانية. سيتطلب الإرسال مباشرة إلى 200 مدقق 400 ميجابايت / ثانية. من الناحية المثالية، يجب ألا يكون لدى المدققين عرض النطاق الترددي العالي للتحميل. هذا هو المكان الذي يأتي فيه Raptorcast. → يتم ترميز الكتل بمحو بواسطة القائد (يعني ترميز المسح أن الرسالة مقسمة إلى مجموعة من القطع ، ويمكن فك تشفيرها من مجموعة فرعية كبيرة بما يكفي من هذه القطع) → يوزع القائد مجموعة مختلفة من الأجزاء على جميع المدققين في الشبكة (يتلقى المدققون ذوو الرهان الأعلى المزيد نسبيا) → يعيد كل مدقق بث شراكته إلى جميع المدققين الآخرين في الشبكة وبهذه الطريقة يتم استخدام النطاق الترددي للشبكة بالكامل لنشر مقترحات الكتلة.