بيتكوين: تدقيق مستقل يشيد بصلابة Bitcoin Core

لقد تم أخيرًا إجراء التدقيق الذي طالب به الجميع على Bitcoin Core، ولم يجد التدقيق تقريبًا أي شيء يستحق الانتقاد. بالنسبة لبرمجية تؤمّن شبكة تقدر قيمتها بمئات المليارات، فهذه ليست مسألة بسيطة. إنها إشارة قوية، سواء للسايفربانكس أو للمؤسسات التي تراكم BTC خلف الكواليس.

تدقيق Bitcoin Core يمر بنجاح باهر

على مدار 104 أيام، قامت Quarkslab بتدقيق Bitcoin Core لصالح OSTIF، بتمويل من Brink: أول تدقيق عام تاريخي. كان الهدف هو التحقق مما إذا كان البرنامج الذي يدير غالبية عقد BTC يستحق حقًا الثقة التي مُنحت له على مدى سنوات.

لم يكن نطاق التدقيق تفصيلاً شكليًا. ركز المدققون على أكثر الأجزاء حساسية: طبقة الند للند (P2P)، منطق التحقق من الكتل، إدارة حالة السلسلة، وسيناريوهات إعادة التنظيم. باختصار، كل ما يمكن أن يؤدي، في حال وجود خطأ دقيق، إلى زعزعة استقرار الشبكة بأكملها.

النتيجة: لا توجد ثغرات حرجة أو عالية أو حتى متوسطة. تم اكتشاف مشكلتين بسيطتين فقط، مع بعض التوصيات التي تستهدف أدوات الفحص وتحسين تغطية الاختبارات. هذه النقاط لا تؤثر على الإجماع، أو مقاومة هجمات DoS، أو التحقق من المعاملات. بالنسبة لأكثر من 200,000 سطر من كود C++ و1,200 اختبار، أشاد المدققون بقاعدة كود من بين الأكثر نضجًا.

P2P، الميمبول، وإعادة التنظيم: فحص جوهر الشبكة عن كثب

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

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

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

بينما انتهى تدقيق Bitcoin Core دون عيوب، كانت عاصفة أخرى تتشكل في المجتمع. ففي أكتوبر، أعاد تحديث Bitcoin Core v30، الذي وصفه البعض بأنه تغيير يهدد وحدة الشبكة، إشعال التوترات بين مؤيدي Bitcoin Core وأولئك الداعمين لـ Bitcoin Knots.