يتوقع فيتاليك مستقبلاً خالياً من الأخطاءtracالذكية

وفقًا لفيتاليك بوتيرين، المؤسس المشارك لـ Ethereum، يمكن للمطورين الذين يعطون الأولوية للأمان أن يتوقعوا أن يصبح البرمجة الخالية من الأخطاء أمرًا ممكنًا في ثلاثينيات القرن الحالي. 

بعد عملية التحديث الجذري المثيرة للجدل التي قامت بها شبكة Gnosis Chain لاستعادة 9.4 مليون دولار من عملية اختراق Balancer، قال فيتاليك بوتيرين، المؤسس المشارك Ethereum إن الاعتقاد القائل بأن "الأخطاء أمر لا مفر منه، ولا يمكنك كتابة كود خالٍ من الأخطاء" سيتوقف عن كونه صحيحًا في ثلاثينيات القرن الحالي.

ماذا قال فيتاليك بوتيرين عن البرمجة؟ 

توقع فيتاليك بوتيرين أن يصبح الكود الخالي من الأخطاء أمراً شائعاً في ثلاثينيات القرن الحالي من خلال تفاعل على منصة التواصل الاجتماعي X. 

بدأ النقاش عندما أعلنت شبكة غنوسيس تشين عن تنفيذ عملية تحديث جذري (هارد فورك) في 22 ديسمبر، وفقًا لما ذكره موقع Cryptopolitan. وقد استعاد هذا التحديث 9.4 مليون دولار أمريكي سُرقت خلال ثغرة استغلال منصة بالانسر في نوفمبر 2024، والتي تسببت في خسارة أكثر من 128 مليون دولار أمريكي عبر سلاسل كتل متعددة. تطلّبت عملية الاسترداد من معظم المدققين اعتماد برامج جديدة، ويواجه المخالفون عقوبات.

قوبل هذا، بطبيعة الحال، ببعض المقاومة من مؤيدي تقنية البلوك تشين الذين انتقدوا هذه الخطوة لأنها تتعارض مع مبدأ عدم قابلية البيانات للتغيير. وقال أحد مستخدمي منصة X، الملقب بـ"العقدة المتواطئة"، إن المشكلة الحقيقية تكمن في كيفية بناء تطبيقات البلوك تشين. وجادل بأن استخدامtracالذكية في الآلات الافتراضية القابلة للبرمجة هو نهج خاطئ. 

كتب المستخدم: "لا يوجد سوى 7tracتستحق الكتابة، ويجب تضمينها في الطبقة الأساسية والحصول على الأمان من تنوع العملاء". 

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

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

يستخدم التحقق الرسمي أساليبmaticللتحقق من أداء الأنظمة الحساسة للسلامة بشكل صحيح. وقد استُخدمت هذه التقنية منذ ستينيات القرن الماضي في مجالات مثل هندسة الطيران والفضاء. 

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

هل من الممكن مستقبلاً كتابة كود خالٍ من الأخطاء؟ 

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

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

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