في عام 1982، نشر عالم الحاسوب ليزلي لامبورت ورقة بدت، في ذلك الوقت، تصف لغزاً مجرداً بلا حل عملي. أسماها مشكلة الجنرالات البيزنطيين، وستصبح واحدة من أهم المشاكل غير المحلولة في علوم الكمبيوتر — حتى حلّها البيتكوين بعد 27 عاماً.
المشكلة تسير هكذا. تخيل عدة جنرالات من الجيش البيزنطي، كل منهم يقود فرقته، يحاصرون مدينة عدو. يجب أن يتفقوا على خطة: الهجوم معاً، أو التراجع معاً. إذا هاجم بعضهم بينما تراجع آخرون، سيُهزمون. يمكنهم التواصل فقط عن طريق الرسل. المشكلة هي أن بعض الجنرالات قد يكونون خونة يرسلون عمداً رسائل متناقضة لتخريب الخطة. كيف يمكن للجنرالات الأوفياء الوصول إلى اتفاق موثوق عندما لا يستطيعون الثقة في قنوات اتصالهم؟
يبدو هذا لغزاً عسكرياً غامضاً، لكنه في الواقع مشكلة أساسية في أي نظام موزع. أي شبكة من أجهزة الكمبيوتر يجب أن تتفق على شيء ما — حالة قاعدة بيانات، نتيجة تصويت، صحة معاملة — تواجه مشكلة الجنرالات البيزنطيين. كيف تصل إلى إجماع عندما قد يكذب بعض المشاركين، أو يتعرضون للاختراق، أو يعطلون ببساطة؟
لعقود، طور علماء الحاسوب حلولاً جزئية. يمكنك تحقيق الإجماع إذا كنت تعرف مسبقاً من هم المشاركون ويمكنك الحد من عدد الخونة. لكن لنظام مفتوح — نظام يمكن لأي شخص الانضمام إليه، حيث لا تعرف المشاركين — لم يكن هناك حل. أثبت العديد من الخبراء، أو اعتقدوا أنهم أثبتوا، أنه لا يمكن وجود حل.
كان ابتكار البيتكوين حل المشكلة بطريقة جديدة تماماً. بدلاً من محاولة التحقق من هوية المشاركين، جعل نظام ساتوشي المشاركة مكلفة في المقام الأول. كان عليك القيام بعمل حسابي حقيقي ومكلف لاقتراح كتل جديدة. سيحتاج المهاجم إلى التفوق على الشبكة الصادقة بأكملها — إنفاق موارد هائلة مقابل لا شيء محتمل. أصبح الحافز الاقتصادي للتعاون أقوى من الحافز للغش. نشأ الإجماع ليس من الثقة أو الهوية، بل من المصلحة الذاتية المحضة، مدعومة بالرياضيات والفيزياء. كان هذا الاختراق الذي جعل النقود الرقمية اللامركزية الحقيقية ممكنة.
Leave a Reply