2. MonadBFT

MonadBFT هي آلية توافق طورها فريق موناد لتحديد ترتيب المعاملات قبل إدراج الكتلة في سلسلة الكتل. يعتمد MonadBFT على بروتوكول إجماع HotStuff، ويحتاج HotStuff إلى إكمال تأكيد الكتلة عبر ثلاث جولات من المصادقة. يستخدم MonadBFT تقنية الاتصال الخطي لـ HotStuff لتحقيق تفاعل سريع وتوافق سريع بفضل استجابته. في الوقت نفسه، يستعير MonadBFT أيضًا تحسين Fast-HotStuff لتقليل عدد جولات المصادقة إلى جولتين، مما يسمح باقتراح كتل جديدة في كل جولة. هذا يعني أن الكتلة k تُؤكد بعد الوصول إلى توافق على الكتلة k+2. في الظروف العادية، يزداد وقت الاتصال خطيًا.

مع ذلك، في حالة انتهاء المهلة، أي عندما لا يستلم المدققون كتلة صالحة من القائد، يتواصلون مع بعضهم البعض ويرسلون رسالة انتهاء المهلة. عندما يستلم المدقق 67% من رسائل انتهاء المهلة، يُنشئ شهادة انتهاء المهلة (TC) ويعيد توجيهها إلى القائد التالي. في الوقت الحالي، لا تقع مسؤولية إنشاء الشهادة على عاتق القائد الحالي (لأنه قد يكون لديه سلوك ضار)، بل يتولى أحد المدققين إتمامها.

3. التنفيذ المتوازي المتفائل

في طبقة التنفيذ، يحل موناد مشكلة عدم الكفاءة في بيئة EVM الحالية من خلال التنفيذ المتوازي المتفائل. ينفذ موناد معالجة المعاملات المتزامنة من خلال تشغيل عدة آلات افتراضية بالتوازي. تُضبط المعاملات مسبقًا لتكون مستقلة عن بعضها البعض، بحيث يمكن تنفيذها بالتزامن، بينما تُعالج المعاملات ذات التبعيات بالتتابع.

عملية تنفيذ المعاملات على موناد هي كما يلي:

1. تدخل المعاملات إلى الكتلة بترتيب خطي.

2. يستخدم موناد التنفيذ المتوازي المتفائل، بافتراض إمكانية تنفيذ جميع المعاملات في الوقت نفسه.

3. لا تُعالج المعاملات بالتتابع، بل تُنفذ بالتوازي مع الحفاظ على الترتيب الأصلي.

4. تُولّد الآلة الافتراضية "نتائج معلقة". النتائج المعلقة هي نتائج متوقعة تتضمن المدخلات قبل التنفيذ والمخرجات بعده.

5. يتم التحقق من هذه النتائج المعلقة وإرسالها بالترتيب. تُرسَل النتائج (المعاملات) المعلقة الخالية من التعارضات مباشرةً، بينما يلزم إعادة تنفيذ النتائج المعلقة التي تعتمد على المعاملات المُرسَلة (مثل المُدخلات التي تغيّرت بسبب معاملات سابقة) (إعادة التنفيذ المتتالي). 6. تُرسَل النتائج المعلقة بالترتيب الذي وردت به. وكما هو الحال في إيثريوم، تُولَّد مُخرَجات المعاملات بالتتابع. 7. يعني الإرسال المتتالي للنتائج المعلقة أنه لا يُمكن إرسال النتيجة التالية عند عدم اكتمال النتيجة السابقة. لذلك، إذا كانت المعاملة المُتعارضة تعتمد على معاملة مُرسَلة، فيجب حل التعارض (إعادة التنفيذ) وإرساله قبل معالجة المعاملة التالية (حتى لو لم تكن الأخيرة مُتعارضة). تضمن هذه الطريقة عدم إعادة تنفيذ المعاملات عدة مرات.