Sonic هو أسرع EVM لأنه تم إثبات رياضيًا أن الإجماع غير المتزامن يمكن أن يحقق قابلية التوسع الخطية مع الحفاظ على جميع ضمانات الأمان للبروتوكولات "BFT" التقليدية، أليس ذلك بسيطًا؟! 🥲
🔶 إجابة طويلة: ما هو BFT (تحمل الأخطاء البيزنطية)؟ تضمن BFT أن تعمل سلسلة الكتل بشكل صحيح حتى عندما يكون ما يصل إلى 1/3 من المدققين ضارين أو غير متصلين.
🔸 الرياضيات الأمنية لـ BFT: "2f+1" فكر في الأمر مثل التصويت حيث قد يكون بعض الناخبين فاسدين
f = الحد الأقصى من الممثلين السيئين الذين يمكن للنظام التعامل معهم 2f+1 = الحد الأدنى من الأصوات المطلوبة لاتخاذ قرارات آمنة الضمان: حتى إذا صوت جميع الفاعلين السيئين، فإن الفاعلين الجيدين لا يزالون يفوزون
🔸مثال مع 300 مدقق: يمكن لـ BFT التعامل مع 99 من الفاعلين السيئين كحد أقصى ( المتبقية 201 صادقة ) نحتاج إلى 199 صوتًا على الأقل للوصول إلى الإجماع، وأي شيء أقل من ذلك لا يكفي في BFT.
قاعدة بسيطة: إذا كان أقل من 1/3 خبيثين = الشبكة تبقى آمنة
🔷 المشكلة مع PBFT التقليدي (BFT العملي): 🔹إنتاج الكتل المتسلسل = عنق الزجاجة الأساسي. 🔹يجب على المدققين أن يتزامنوا عالمياً 🔹 كل كتلة تنتظر 2f+1 تأكيدات قبل أن يمكن إنتاج الكتلة التالية. هذه التسلسل يقتل الإنتاجية.
🔷 اختراق ABFT من سونيك، بروتوكول لاشيسيس: 🔹 هيكلية قائمة على DAG: يقوم المدققون بإنشاء كتل الأحداث بالتوازي ( دون الانتظار في الطابور، وقد تم شرحه بالفعل في منشور آخر ) 🔹 شائعات غير متزامنة: تنتشر كتل الأحداث عبر الشائعات دون مزامنة عالمية 🔹 محرك كارمن: تخزين محسن مع تقليم قاعدة البيانات الحية (HUGE DEAL) 🔹 VM المحسنة: ترجمة بايت كود ديناميكية تحل محل EVM القياسية
🔷 تحليل الأداء: 🔹 إنشاء كتلة الحدث: ~100ms 🔹 انتشار الشائعات: ~300ms 🔹 توافق الكتلة الجذرية: ~500 مللي ثانية 🔹 إنهاء السلسلة الرئيسية: فرعي-sec 🔹 النتيجة: 400K TPS ( محدودة من قبل المدخلات/المخرجات الشبكية، وليس الإجماع)
🔷 الأمان maintained: 🔹 نفس f < n/3 تحمل بيزنطي (2f+1 أغلبية صادقة ) 🔹 النهائية الفورية (لا تأكيد احتمالي) 🔹 تمنع النهائية الاقتصادية الهجمات بعيدة المدى
الاختراق في ABFT: إزالة متطلبات التزامن تقضي على عنق الزجاجة مع الحفاظ على نفس الرياضيات الأمنية (2f+1)
بالمناسبة، إذا كنت تشعر بالدهشة وبدأ عقلك يؤلمك من القراءة حتى الآن، فقط تخيل كمية العمل والابتكار الذي تم بذله للوصول إلى "النهائية الفورية" مع هذه التقنية.
في المرة القادمة التي تقوم فيها بتوقيع معاملة وتتم في جزء من الثانية، اعلم أن Sonic قد قام بذلك⬆️العملية بأكملها في تلك الجزء من الثانية ويمكنه القيام بذلك 399999 مرة أخرى في نفس الثانية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
🔶 بيع على المكشوف:
Sonic هو أسرع EVM لأنه تم إثبات رياضيًا أن الإجماع غير المتزامن يمكن أن يحقق قابلية التوسع الخطية مع الحفاظ على جميع ضمانات الأمان للبروتوكولات "BFT" التقليدية، أليس ذلك بسيطًا؟! 🥲
🔶 إجابة طويلة:
ما هو BFT (تحمل الأخطاء البيزنطية)؟
تضمن BFT أن تعمل سلسلة الكتل بشكل صحيح حتى عندما يكون ما يصل إلى 1/3 من المدققين ضارين أو غير متصلين.
🔸 الرياضيات الأمنية لـ BFT: "2f+1"
فكر في الأمر مثل التصويت حيث قد يكون بعض الناخبين فاسدين
f = الحد الأقصى من الممثلين السيئين الذين يمكن للنظام التعامل معهم
2f+1 = الحد الأدنى من الأصوات المطلوبة لاتخاذ قرارات آمنة
الضمان: حتى إذا صوت جميع الفاعلين السيئين، فإن الفاعلين الجيدين لا يزالون يفوزون
🔸مثال مع 300 مدقق:
يمكن لـ BFT التعامل مع 99 من الفاعلين السيئين كحد أقصى ( المتبقية 201 صادقة )
نحتاج إلى 199 صوتًا على الأقل للوصول إلى الإجماع، وأي شيء أقل من ذلك لا يكفي في BFT.
قاعدة بسيطة: إذا كان أقل من 1/3 خبيثين = الشبكة تبقى آمنة
🔷 المشكلة مع PBFT التقليدي (BFT العملي):
🔹إنتاج الكتل المتسلسل = عنق الزجاجة الأساسي.
🔹يجب على المدققين أن يتزامنوا عالمياً
🔹 كل كتلة تنتظر 2f+1 تأكيدات قبل أن يمكن إنتاج الكتلة التالية. هذه التسلسل يقتل الإنتاجية.
🔷 اختراق ABFT من سونيك، بروتوكول لاشيسيس:
🔹 هيكلية قائمة على DAG: يقوم المدققون بإنشاء كتل الأحداث بالتوازي ( دون الانتظار في الطابور، وقد تم شرحه بالفعل في منشور آخر )
🔹 شائعات غير متزامنة: تنتشر كتل الأحداث عبر الشائعات دون مزامنة عالمية
🔹 محرك كارمن: تخزين محسن مع تقليم قاعدة البيانات الحية (HUGE DEAL)
🔹 VM المحسنة: ترجمة بايت كود ديناميكية تحل محل EVM القياسية
🔷 تحليل الأداء:
🔹 إنشاء كتلة الحدث: ~100ms
🔹 انتشار الشائعات: ~300ms
🔹 توافق الكتلة الجذرية: ~500 مللي ثانية
🔹 إنهاء السلسلة الرئيسية: فرعي-sec
🔹 النتيجة: 400K TPS ( محدودة من قبل المدخلات/المخرجات الشبكية، وليس الإجماع)
🔷 الأمان maintained:
🔹 نفس f < n/3 تحمل بيزنطي (2f+1 أغلبية صادقة )
🔹 النهائية الفورية (لا تأكيد احتمالي) 🔹 تمنع النهائية الاقتصادية الهجمات بعيدة المدى
الاختراق في ABFT:
إزالة متطلبات التزامن تقضي على عنق الزجاجة مع الحفاظ على نفس الرياضيات الأمنية (2f+1)
بالمناسبة، إذا كنت تشعر بالدهشة وبدأ عقلك يؤلمك من القراءة حتى الآن، فقط تخيل كمية العمل والابتكار الذي تم بذله للوصول إلى "النهائية الفورية" مع هذه التقنية.
في المرة القادمة التي تقوم فيها بتوقيع معاملة وتتم في جزء من الثانية، اعلم أن Sonic قد قام بذلك⬆️العملية بأكملها في تلك الجزء من الثانية ويمكنه القيام بذلك 399999 مرة أخرى في نفس الثانية
🙂