تحليل ضعف تجريبي لاختبار أمان العقود الذكية المؤتمتة على بلوكشين

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