ملحمة تحمل الخطأ البيزنطي: غوصي العميق المشكوك فيه

لقد كنت أدرس التحمل ضد الخطأ البيزنطي (BFT) لعدة أشهر الآن، وبصراحة، أنا مندهش ومحبط في نفس الوقت من هذه الركيزة في تكنولوجيا البلوكشين. إنها ليست مجرد ميزة جافة في نظام الكمبيوتر - إنها الشيء الذي يحافظ على أصولنا الرقمية من الانهيار في الفوضى.

عندما واجهت BFT لأول مرة، ضحكت من مجازها العسكري الذي يبدو absurd. جنرالات بيزنطة يحاولون تنسيق هجوم؟ حقًا؟ لكن كلما تعمقت أكثر، أدركت كم هو رائع في تصويره لبارادوكس الثقة في الأنظمة الموزعة.

ماذا يعني BFT حقًا (ما وراء التعريف المدرسي )

BFT ليس فقط حول تحمل الأخطاء – بل يتعلق بالبقاء على قيد الحياة في مواجهة التخريب المتعمد. من خلال تجربتي في تشغيل العقد، رأيت بنفسي كيف يمكن للأنظمة أن تستمر في العمل حتى عندما يحاول بعض المشاركين بنشاط إفساد الأمور.

ظهر المفهوم في عام 1982 من Lamport و Shostak و Pease ، لكنهم لم يتخيلوا مدى أهميته بالنسبة للعملات المشفرة. تلتصق استعارة الجنرالات لأنها على الفور - إذا لم تتمكن العقد الخاصة بك من الاتفاق ، فإن شبكتك بأكملها تنهار.

الواقع الفوضوي لتنفيذ BFT

ثق بي، إن BFT في الممارسة العملية أكثر فوضى بكثير مما توحي به الرسوم البيانية النظيفة. إليك ما يحدث فعليًا:

1. يتم بث أمر، وتبدأ العقد في التصويت. لكن في الواقع، تعني تأخيرات الشبكة أن بعض الأصوات تصل متأخرة، وبعضها يصل مرتين.

2. تتطلب آليات الإجماع مثل PBFT توافقًا يزيد عن 2/3، وهو أمر يبدو رائعًا حتى تدرك مدى بطء هذه العمليات عندما تتدهور ظروف الشبكة.

3. من المفترض أن تكون عمليات التحقق صارمة، لكنني رأيت اختصارات تؤخذ لتعزيز الأداء مما يقوض تمامًا نموذج الأمان.

4. عندما تفشل العقد، فإن الاسترداد ليس دائمًا سلسًا. أحيانًا يكون الأمر أكثر مثل مشاهدة شخص يحاول إجراء عملية جراحية بينما يركب ثورًا ميكانيكيًا.

ما يزعجني بشكل خاص هو كيف أن بعض المشاريع تدعي "أمان بمستوى BFT" عندما قامت بتنفيذ نسخ مخففة تضحي بالخصائص الأمنية الأساسية.

السيف ذو الحدين في Blockchain

إن علاقة الحب التي تربط صناعة التشفير بـ BFT لها ما يبررها - فهي تخلق تلك البيئة الثمينة الخالية من الثقة حيث لا أحتاج إلى معرفتك أو الثقة بك لكي نقوم بالتعامل.

لكن لنكن حقيقيين - تكلفة الأداء هائلة. تعالج الشبكات المالية التقليدية آلاف المعاملات في الثانية بينما غالبا ما تكافح السلاسل القائمة على BFT مع العشرات. لم تتم مناقشة هذه المقايضة بما فيه الكفاية.

ولا تجعلني أبدأ في استهلاك الطاقة لبعض تطبيقات BFT. على الرغم من أن الجميع ليست مهدرة ، إلا أن بعض آليات الإجماع المبنية على مبادئ BFT هي كوارث بيئية.

رأيي

بعد سنوات في هذا المجال، أصبحت مقتنعًا بأن توافق BFT مُبالغ فيه في تقديره ومُهمل في تقديره في الوقت نفسه. يُبالغ في تقديره من قِبل أولئك الذين لا يفهمون حدوده، ومُهمل من قِبل أولئك الذين يأخذون ضماناته الأمنية كأمر مسلم به.

تستمر التكنولوجيا في التطور، لكن المبادئ الأساسية للخطأ البيزنطي تظل أساسية. بدون هذا الإصرار العنيد على الاتفاق بين الأطراف غير الموثوقة، سينهار النظام البيئي للعملات المشفرة بأكمله بين عشية وضحاها.

على الرغم من جميع عيوبه وعدم كفاءته، لا يزال BFT هو أفضل حل وجدناه لمشكلة الثقة الرقمية في عالم بلا ثقة. لست متأكداً من أننا يجب أن نحتفل بهذه الحقيقة.