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

المصدر: CoinEdition العنوان الأصلي: فيتالك يتوقع أن يكون الكود الخالي من الأخطاء متاحًا في الثلاثينيات الرابط الأصلي: https://coinedition.com/vitalik-predicts-that-bug-free-code-will-be-available-in-the-2030s/

العقود الذكية والأنظمة الحرجة للأمان

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

وفقًا لـ c-node، مطور zk، قد لا تنتمي الكثير من منطق التطبيق إلى العقود الذكية التي يمكن تعديلها بلا نهاية. يجادل بأن مجموعة محدودة فقط من العقود تبرر وجودها على المدى الطويل وأن هذه المكونات يمكن أن تستفيد من أمان الطبقة الأساسية وتنوع العملاء. وبالتالي، قد تحتاج الصناعة إلى إعادة النظر فيما إذا كانت الآلات الافتراضية ذات الاستخدام العام هي الطريقة الأكثر أمانًا لإضافة الوظائف على نطاق واسع.

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

لماذا تستمر الأخطاء في البرمجيات الحرجة

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

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

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

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

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

منحنى تكلفة التحقق

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

وضح بوتيرين الافتراض عند مناقشة النتائج الحديثة. قال: “هذا يفترض جهدًا من أعلى المستويات في التحقق من تلك الـ 1000 سطر، الخطوة التالية هي أن ينخفض هذا المعيار”.

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