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

المصدر: CryptoNewsNet العنوان الأصلي: فيتاليك يتوقع مستقبلاً خالياً من الأخطاء للعقود الذكية الرابط الأصلي:

نظرة عامة

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

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

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

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

بدأ النقاش عندما أعلنت شبكة Gnosis أنها نفذت انقسامًا صلبًا في 22 ديسمبر. استعاد الانقسام الصلب 9.4 مليون دولار سرقت خلال استغلال Balancer في نوفمبر 2024، والذي استنزف أكثر من $128 مليون عبر عدة سلاسل كتل. تطلب الأمر من معظم المدققين اعتماد برمجيات جديدة، والذين فشلوا في التحديث يواجهون عقوبات.

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

“هناك فقط 7 عقود تستحق الكتابة، ويجب أن تكون مكرسة في الطبقة الأساسية وتحصل على الأمان من تنوع العملاء”، كتب المستخدم.

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

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

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

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

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

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

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

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