بيتكوين ليس نظامًا صارمًا لتحمّل الأخطاء البيزنطية، بل إجماع احتمالي يستبدل الافتراضات المتعلقة بالقوة الحاسوبية بالانفتاح
لا تقوم آلية الإجماع في بيتكوين على النسخ المتماثل لحالة آلة تتحمّل الأخطاء البيزنطية بالمعنى التقليدي (BFT-SMR)، بل هي تطبيق تقريبي غير متزامن قائم على الاحتمالات. وينبع هذا الاختلاف من سعي بيتكوين الحثيث إلى الانفتاح: إذ يمكن لأي عقدة الانضمام إلى الشبكة أو مغادرتها بحرية، ما يؤدي مباشرةً إلى انتفاء الافتراضات التي تعتمد عليها بروتوكولات BFT الكلاسيكية، مثل ثبات مجموعة العقد وتزامن الاتصالات. ولمقاومة الأعطال البيزنطية في بيئة مفتوحة، أو بدقة أكبر، لتحقيق مقاومة هجمات سيبيل (Sybil)، استبدلت بيتكوين افتراضات الأمان التقليدية بافتراضات تتعلق بالقوة الحاسوبية. ويتمثل جوهر هذا التحول في إقامة ارتباط قوي بين القوة الحاسوبية ومهمات الحساب الفعلية، فيما تستند منطقه الأساسي بعمق إلى نظرية التعقيد الحسابي. في نموذج العرّاف العشوائي (Random Oracle Model, RO)، يعتمد البروتوكول عدد استعلامات التجزئة وحدةً لقياس الموارد، ويفترض أن كل استعلام ينتج مخرجًا مستقلًا موزعًا توزيعًا منتظمًا. وفي هذه البيئة المثالية، يتحدد احتمال العثور على إثبات عمل (PoW) صالح بالكامل وفق صعوبة الشبكة، ما يجعل ميزانية استعلامات المهاجم قيدًا مباشرًا على مقدار العمل الصالح الذي يمكنه إنتاجه. ومهما أنشأ المهاجم من هويات زائفة، فلن يتمكن من تجاوز الحد الأقصى لميزانيته الحسابية، وبذلك تتحقق مقاومة هجمات سيبيل. لكن العالم الواقعي ليس نموذج RO مثاليًا؛ فبمجرد الخروج من هذا الإطار التجريدي، لا بد أن يعتمد البروتوكول على افتراضات محددة بشأن الصعوبة الحسابية لقياس قدرة المهاجم على تسريع العمليات. وهنا تحديدًا يأتي دور التعقيد الدقيق (Fine-grained Complexity): إذ نحتاج إلى ضمانات كمية بشأن التكلفة الحسابية، كما أن الفجوة في الكفاءة بين الخوارزمية النزيهة وخوارزمية الهجوم المثلى تحدد مباشرةً الحد الأقصى لنسبة الموارد الخبيثة التي يستطيع البروتوكول تحمّلها. وقد اتبع عمل قائم على Beacon في عام 2024 هذا النهج، فأنشأ آلية PoW يحصل فيها على مواد عشوائية لتوليد تحديات جديدة من Beacon في مواعيد محددة؛ ويستند أمانها إلى افتراضات الصعوبة الحسابية، لا إلى عدم قابلية التنبؤ بدالة التجزئة وحدها.
يكمن مفتاح تحويل المهام الحسابية إلى أمان للإجماع في تحديد ماهية «السلسلة» وعلاقتها بالسجل التاريخي. ففي التجريد الكلاسيكي لـ BFT-SMR، يتمثل هدف البروتوكول في إنشاء ترتيب كلي (Total Order) لسلسلة من العمليات. وتحدد كل عقدة نزيهة محليًا بادئة السجل التي يمكن اعتمادها استنادًا إلى رسائل البروتوكول، فيما يضمن الإجماع توافق هذه القرارات المحلية. في هذه الحالة، يمثّل الرقم التسلسلي ترتيب تنفيذ العمليات مباشرةً، لأن البروتوكول يضمن اتساق المحتوى المعتمد في كل موضع. أما في بيتكوين، فالسلسلة تمثيلٌ لتاريخ مرتب يُبنى من خلال العمل الحسابي، ولذلك يجب تحديد التاريخ الذي يدعمه كل إثبات عمل. فإذا اكتفينا بوسم الكتل بارتفاعها، فلن نتمكن من تحديد الفرع الذي تنتمي إليه: فعلى سبيل المثال، بعد أي كتلة بارتفاع 99 تأتي كتلة ارتفاعها 100؟ وهذا ما يحدد فرع التاريخ الذي ترثه. وتُدرج بيتكوين تجزئة الكتلة السابقة (Previous Hash) ضمن مدخلات PoW، فتُلزم كل كتلة بالإشارة صراحةً إلى كتلتها الأم. ومن خلال تتبّع إحالات التجزئة هذه وصولًا إلى كتلة التكوين، يمكن تحديد التاريخ الكامل الذي ترثه الكتلة تحديدًا فريدًا، كما يمكن تحديد ارتفاعها في السجل التاريخي. وتنظم آلية Previous Hash أعمال التعدين المستقلة في سلسلة، فتربط كل إثبات عمل بفرع تاريخي محدد، وتتيح تراكم العمل المنجز على الفرع نفسه.
وتحدد آلية الربط هذه أيضًا قواعد امتداد السلسلة وخصائص مقاومة التعدين المسبق. لنفترض أن ارتفاع رأس السلسلة الحالية هو h؛ لتمديد هذه السلسلة، يجب تعدين الكتلة التالية باستخدام تجزئة تلك الكتلة مدخلًا. أما إذا استُخدمت تجزئة الكتلة الأم ذات الارتفاع h-1، فستكون الكتلة الناتجة جزءًا من فرع منافس بارتفاع h، ولن تزيد طول السلسلة الرئيسية الحالية أو مقدار العمل المتراكم فيها. وإذا أراد المرء أن يرث العمل المتراكم في أطول سلسلة حالية، فعليه مواصلة الحساب انطلاقًا من رأس تلك السلسلة. وتنطوي هذه الآلية على قيد أمني مهم: إذ لا تستطيع العقد الخبيثة اكتساب أفضلية إضافية عبر التنبؤ أو التعدين المسبق. ففي نموذج RO، لا يمكن التنبؤ بفاعلية بتجزئة كتلة محددة لم تُنتج بعد، ولذلك لا يمكن الاستعداد مسبقًا للعمل على كتلتها اللاحقة. ورغم أن المهاجم يستطيع تعدين فرع متشعب خاص به مسبقًا، فإنه لا يستطيع، بعد أن تنتج العقد النزيهة كتلة جديدة، «نقل» العمل الذي عُدّن مسبقًا إلى ما بعدها كي يرث أحدث قدر من العمل. ولوراثة العمل المنجز على أحدث كتلة، لا بد من إجراء الحساب في الوقت الفعلي انطلاقًا من رأس السلسلة الحالي. وتضمن هذه الخاصية حداثة إثبات العمل وعدم قابليته للنقل، وتحول دون تشويه تراكم الموارد لعملية الإجماع.
على المستوى العام، يربط إجماع ناكاموتو بين التعقيد الحسابي وعلم التشفير والحوسبة الموزعة في سلسلة منطقية متكاملة. ويوفر التعقيد الحسابي أساسًا كميًا لتكلفة العمل، بما يضمن أن المهاجم يحتاج إلى بذل موارد تتناسب خطيًا مع موارد العقد النزيهة كي يؤثر في الإجماع. ويتيح علم التشفير إنشاء براهين عمل قابلة للتحقق علنًا، وإثبات احتفاظها بالتكاليف الحسابية المناسبة حتى في حالات اختيار المدخلات الخبيثة والمعالجة المسبقة وإعادة الاستخدام، ما يمنع تزوير إثباتات العمل أو إعادة استخدامها بكفاءة زائفة. أما الحوسبة الموزعة، فتحدد افتراضات الشبكة المتزامنة ونموذج الخصم، وتصمم قواعد اختيار السلسلة (قاعدة أطول سلسلة) وآليات التأكيد، فتحوّل قيود الموارد إلى قدرة على تحمّل الأعطال ضمن إطار BFT-SMR. ويتمثل المنطق الأساسي للنظام بأكمله في تحويل نسبة الموارد الحسابية التي يملكها المهاجم إلى قيود على الأعطال يمكن للبروتوكول الموزع التعامل معها، ثم بناء الإجماع على هذا الأساس. ولا يتوقف نجاح بيتكوين في نهاية المطاف على قدرتها على تحقيق تحمّل مطلق للأخطاء البيزنطية، بل على قدرتها على الحفاظ باستمرار، في بيئة مفتوحة ولامركزية، على صلاحية افتراضات القوة الحاسوبية وعلى استقرار العلاقة بين التكلفة الحسابية وأمان الإجماع. ومع تحسن كفاءة العتاد وتغير توزيع القوة الحاسوبية، ستظل استقرارية هذه العلاقة موضع اختبار مستمر؛ لكن المنطق الكامن وراءها — استبدال الثقة بالتكلفة الحسابية — يظل من أكثر الأسس المعمارية متانةً في أنظمة العملات اللامركزية الحالية.
تابعني كيلا تفوتك القراءة السريعة التالية للسوق.
لا تقوم آلية الإجماع في بيتكوين على النسخ المتماثل لحالة آلة تتحمّل الأخطاء البيزنطية بالمعنى التقليدي (BFT-SMR)، بل هي تطبيق تقريبي غير متزامن قائم على الاحتمالات. وينبع هذا الاختلاف من سعي بيتكوين الحثيث إلى الانفتاح: إذ يمكن لأي عقدة الانضمام إلى الشبكة أو مغادرتها بحرية، ما يؤدي مباشرةً إلى انتفاء الافتراضات التي تعتمد عليها بروتوكولات BFT الكلاسيكية، مثل ثبات مجموعة العقد وتزامن الاتصالات. ولمقاومة الأعطال البيزنطية في بيئة مفتوحة، أو بدقة أكبر، لتحقيق مقاومة هجمات سيبيل (Sybil)، استبدلت بيتكوين افتراضات الأمان التقليدية بافتراضات تتعلق بالقوة الحاسوبية. ويتمثل جوهر هذا التحول في إقامة ارتباط قوي بين القوة الحاسوبية ومهمات الحساب الفعلية، فيما تستند منطقه الأساسي بعمق إلى نظرية التعقيد الحسابي. في نموذج العرّاف العشوائي (Random Oracle Model, RO)، يعتمد البروتوكول عدد استعلامات التجزئة وحدةً لقياس الموارد، ويفترض أن كل استعلام ينتج مخرجًا مستقلًا موزعًا توزيعًا منتظمًا. وفي هذه البيئة المثالية، يتحدد احتمال العثور على إثبات عمل (PoW) صالح بالكامل وفق صعوبة الشبكة، ما يجعل ميزانية استعلامات المهاجم قيدًا مباشرًا على مقدار العمل الصالح الذي يمكنه إنتاجه. ومهما أنشأ المهاجم من هويات زائفة، فلن يتمكن من تجاوز الحد الأقصى لميزانيته الحسابية، وبذلك تتحقق مقاومة هجمات سيبيل. لكن العالم الواقعي ليس نموذج RO مثاليًا؛ فبمجرد الخروج من هذا الإطار التجريدي، لا بد أن يعتمد البروتوكول على افتراضات محددة بشأن الصعوبة الحسابية لقياس قدرة المهاجم على تسريع العمليات. وهنا تحديدًا يأتي دور التعقيد الدقيق (Fine-grained Complexity): إذ نحتاج إلى ضمانات كمية بشأن التكلفة الحسابية، كما أن الفجوة في الكفاءة بين الخوارزمية النزيهة وخوارزمية الهجوم المثلى تحدد مباشرةً الحد الأقصى لنسبة الموارد الخبيثة التي يستطيع البروتوكول تحمّلها. وقد اتبع عمل قائم على Beacon في عام 2024 هذا النهج، فأنشأ آلية PoW يحصل فيها على مواد عشوائية لتوليد تحديات جديدة من Beacon في مواعيد محددة؛ ويستند أمانها إلى افتراضات الصعوبة الحسابية، لا إلى عدم قابلية التنبؤ بدالة التجزئة وحدها.
يكمن مفتاح تحويل المهام الحسابية إلى أمان للإجماع في تحديد ماهية «السلسلة» وعلاقتها بالسجل التاريخي. ففي التجريد الكلاسيكي لـ BFT-SMR، يتمثل هدف البروتوكول في إنشاء ترتيب كلي (Total Order) لسلسلة من العمليات. وتحدد كل عقدة نزيهة محليًا بادئة السجل التي يمكن اعتمادها استنادًا إلى رسائل البروتوكول، فيما يضمن الإجماع توافق هذه القرارات المحلية. في هذه الحالة، يمثّل الرقم التسلسلي ترتيب تنفيذ العمليات مباشرةً، لأن البروتوكول يضمن اتساق المحتوى المعتمد في كل موضع. أما في بيتكوين، فالسلسلة تمثيلٌ لتاريخ مرتب يُبنى من خلال العمل الحسابي، ولذلك يجب تحديد التاريخ الذي يدعمه كل إثبات عمل. فإذا اكتفينا بوسم الكتل بارتفاعها، فلن نتمكن من تحديد الفرع الذي تنتمي إليه: فعلى سبيل المثال، بعد أي كتلة بارتفاع 99 تأتي كتلة ارتفاعها 100؟ وهذا ما يحدد فرع التاريخ الذي ترثه. وتُدرج بيتكوين تجزئة الكتلة السابقة (Previous Hash) ضمن مدخلات PoW، فتُلزم كل كتلة بالإشارة صراحةً إلى كتلتها الأم. ومن خلال تتبّع إحالات التجزئة هذه وصولًا إلى كتلة التكوين، يمكن تحديد التاريخ الكامل الذي ترثه الكتلة تحديدًا فريدًا، كما يمكن تحديد ارتفاعها في السجل التاريخي. وتنظم آلية Previous Hash أعمال التعدين المستقلة في سلسلة، فتربط كل إثبات عمل بفرع تاريخي محدد، وتتيح تراكم العمل المنجز على الفرع نفسه.
وتحدد آلية الربط هذه أيضًا قواعد امتداد السلسلة وخصائص مقاومة التعدين المسبق. لنفترض أن ارتفاع رأس السلسلة الحالية هو h؛ لتمديد هذه السلسلة، يجب تعدين الكتلة التالية باستخدام تجزئة تلك الكتلة مدخلًا. أما إذا استُخدمت تجزئة الكتلة الأم ذات الارتفاع h-1، فستكون الكتلة الناتجة جزءًا من فرع منافس بارتفاع h، ولن تزيد طول السلسلة الرئيسية الحالية أو مقدار العمل المتراكم فيها. وإذا أراد المرء أن يرث العمل المتراكم في أطول سلسلة حالية، فعليه مواصلة الحساب انطلاقًا من رأس تلك السلسلة. وتنطوي هذه الآلية على قيد أمني مهم: إذ لا تستطيع العقد الخبيثة اكتساب أفضلية إضافية عبر التنبؤ أو التعدين المسبق. ففي نموذج RO، لا يمكن التنبؤ بفاعلية بتجزئة كتلة محددة لم تُنتج بعد، ولذلك لا يمكن الاستعداد مسبقًا للعمل على كتلتها اللاحقة. ورغم أن المهاجم يستطيع تعدين فرع متشعب خاص به مسبقًا، فإنه لا يستطيع، بعد أن تنتج العقد النزيهة كتلة جديدة، «نقل» العمل الذي عُدّن مسبقًا إلى ما بعدها كي يرث أحدث قدر من العمل. ولوراثة العمل المنجز على أحدث كتلة، لا بد من إجراء الحساب في الوقت الفعلي انطلاقًا من رأس السلسلة الحالي. وتضمن هذه الخاصية حداثة إثبات العمل وعدم قابليته للنقل، وتحول دون تشويه تراكم الموارد لعملية الإجماع.
على المستوى العام، يربط إجماع ناكاموتو بين التعقيد الحسابي وعلم التشفير والحوسبة الموزعة في سلسلة منطقية متكاملة. ويوفر التعقيد الحسابي أساسًا كميًا لتكلفة العمل، بما يضمن أن المهاجم يحتاج إلى بذل موارد تتناسب خطيًا مع موارد العقد النزيهة كي يؤثر في الإجماع. ويتيح علم التشفير إنشاء براهين عمل قابلة للتحقق علنًا، وإثبات احتفاظها بالتكاليف الحسابية المناسبة حتى في حالات اختيار المدخلات الخبيثة والمعالجة المسبقة وإعادة الاستخدام، ما يمنع تزوير إثباتات العمل أو إعادة استخدامها بكفاءة زائفة. أما الحوسبة الموزعة، فتحدد افتراضات الشبكة المتزامنة ونموذج الخصم، وتصمم قواعد اختيار السلسلة (قاعدة أطول سلسلة) وآليات التأكيد، فتحوّل قيود الموارد إلى قدرة على تحمّل الأعطال ضمن إطار BFT-SMR. ويتمثل المنطق الأساسي للنظام بأكمله في تحويل نسبة الموارد الحسابية التي يملكها المهاجم إلى قيود على الأعطال يمكن للبروتوكول الموزع التعامل معها، ثم بناء الإجماع على هذا الأساس. ولا يتوقف نجاح بيتكوين في نهاية المطاف على قدرتها على تحقيق تحمّل مطلق للأخطاء البيزنطية، بل على قدرتها على الحفاظ باستمرار، في بيئة مفتوحة ولامركزية، على صلاحية افتراضات القوة الحاسوبية وعلى استقرار العلاقة بين التكلفة الحسابية وأمان الإجماع. ومع تحسن كفاءة العتاد وتغير توزيع القوة الحاسوبية، ستظل استقرارية هذه العلاقة موضع اختبار مستمر؛ لكن المنطق الكامن وراءها — استبدال الثقة بالتكلفة الحسابية — يظل من أكثر الأسس المعمارية متانةً في أنظمة العملات اللامركزية الحالية.
تابعني كيلا تفوتك القراءة السريعة التالية للسوق.