فيتاليك بوتيرين: الكود الخالي من الأخطاء قد يصبح واقعًا بحلول عشرينيات القرن الواحد والعشرين

يعتقد فيتاليك بوتيرين أن الشفرة المصدرية الخالية من الأخطاء قد تصبح ممكنة التنفيذ بحلول عشرينيات القرن الحالي، على الأقل للمطورين الذين يضعون الأمان في المقام الأول. جاءت هذه الرؤية بعد التحديث الصعب المثير للجدل لشبكة غنوسيس في ديسمبر 2024 بهدف استرداد 9.4 مليون دولار مفقودة في هجوم بالانسير.

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

ومع ذلك، يعتقد بوتيرين أنه يمكن تقليل الأخطاء بشكل كبير من خلال تطبيق طبقات حماية متعددة مثل أنظمة نوع البيانات القوية، والتحقق الرسمي الانتقائي، وآليات الاحتياط، والاختبار الدقيق. للمطورين الذين يعطون الأولوية للأمان، فإن المستقبل “تقريبًا خالٍ من الأخطاء” هو في متناول اليد تمامًا.