صلابة

Solidity هي لغة برمجة لتنفيذ العقود الذكية ^{[ 5 ] [ 6 ]} على منصات البلوك تشين المختلفة ، وأبرزها إيثيريوم . ^{[ 7 ]} Solidity مرخصة بموجب رخصة جنو العمومية العامة الإصدار 3.0 . ^{[ 8 ]} صممها جافين وود ^{[ 9 ]} وطورها كريستيان ريتويسنر، وأليكس بيريجزازي، والعديد من المساهمين السابقين في نواة إيثيريوم. ^{[ 10 ]} تعمل البرامج المكتوبة بلغة Solidity على آلة إيثيريوم الافتراضية أو على آلات افتراضية متوافقة . ^{[ 11 ]}

تم اقتراح لغة Solidity في أغسطس 2014 بواسطة جافين وود ^{[ 12 ]} وتم تطوير اللغة لاحقًا بواسطة فريق Solidity التابع لمشروع Ethereum ، بقيادة كريستيان ريتويسنر.

تُعدّ لغة Solidity اللغة الأساسية المستخدمة لتطوير العقود الذكية لمنصة إيثيريوم وغيرها من سلاسل الكتل الخاصة ، مثل سلسلة كتل Hyperledger Fabric الموجهة للمؤسسات. وقد نشرت SWIFT نموذجًا تجريبيًا باستخدام Solidity يعمل على Hyperledger Fabric. ^{[ 13 ] [ 14 ]}

Solidity هي لغة برمجة ذات كتابة ثابتة مصممة لتطوير العقود الذكية التي تعمل على آلة إيثيريوم الافتراضية (EVM) أو الآلات الافتراضية المتوافقة. ^{[ 15 ]}

تستخدم لغة Solidity بنيةً شبيهةً بـ ECMAScript، مما يجعلها مألوفةً لمطوري الويب ؛ ^{[ 16 ]} إلا أنها، على عكس ECMAScript، تتميز بالكتابة الثابتة وأنواع الإرجاع المتغيرة . تختلف Solidity عن لغات EVM الأخرى، مثل Serpent و Mutan، في بعض الجوانب المهمة. فهي تدعم متغيرات الأعضاء المعقدة للعقود الذكية ، بما في ذلك التعيينات والهياكل الهرمية . كما تدعم عقود Solidity الذكية الوراثة ، بما في ذلك الوراثة المتعددة مع خطية C3. تُقدم Solidity واجهةً ثنائيةً للتطبيق (ABI) تُسهّل استخدام وظائف متعددة آمنة النوع ضمن عقد ذكي واحد (وقد دعمتها Serpent لاحقًا أيضًا). يتضمن اقتراح Solidity أيضًا "مواصفات اللغة الطبيعية"، وهو نظام توثيق لتحديد أوصاف مُركّزة على المستخدم لتداعيات استدعاءات الدوال . ^{[ 17 ] [ 18 ]}

مثال على برنامج Solidity: ^{[ 19 ] [ 20 ]}

// SPDX-License-Identifier: GPL-3.0 pragma solidity ^ 0.8.4 ;عقد عملة { // الكلمة المفتاحية "عام" تجعل المتغيرات // قابلة للوصول من عقود أخرى عنوان عام minter ؛ تعيين ( عنوان => عدد صحيح غير موجب ) أرصدة عامة ؛// تسمح الأحداث للعملاء بالتفاعل مع تغييرات محددة في العقد تقوم بتعريفها كحدث تم إرساله ( عنوان المرسل ، عنوان المستلم ، مبلغ غير صحيح )؛// يتم تنفيذ كود المُنشئ فقط عند إنشاء العقد // constructor () { minter = msg.sender ; }// يرسل كمية من العملات المُنشأة حديثًا إلى عنوان // لا يمكن استدعاؤه إلا بواسطة مُنشئ العقد function mint ( address receiver , uint amount ) public { require ( msg.sender == minter ); balances [ receiver ] += amount ; }// تسمح لك الأخطاء بتوفير معلومات حول // سبب فشل العملية. يتم إرجاعها // إلى مستدعي الدالة. خطأ InsufficientBalance ( uint requested , uint available );// يرسل مبلغًا من العملات الموجودة // من أي مُستدعي إلى عنوان دالة الإرسال ( عنوان المُستقبِل ، عدد صحيح غير مُوقّع ) عامة { إذا ( المبلغ > الأرصدة [ رسالة.المُرسِل ]) التراجع رصيد غير كافٍ ({ المطلوب : المبلغ ، المتاح : الأرصدة [ رسالة.المُرسِل ] });balances [ msg.sender ] -= amount ; balances [ receiver ] += amount ; emit Sent ( msg.sender , receiver , amount ); } }

يصعب بطبيعتها فهم العديد من خصائص الأمان في العقود الذكية بشكل مباشر، كما أن اكتمال تورينج في لغة Solidity يعني استحالة أتمتة التحقق من أي خاصية بشكل قاطع . قد تغفل الحلول الآلية الحالية لتحليل أمان العقود الذكية عن انتهاكات حرجة، وتُنتج نتائج إيجابية خاطئة، وتفشل في تحقيق تغطية كافية للتعليمات البرمجية في العقود الواقعية. ^{[ 21 ]} وقد وُجهت اللائمة إلى Solidity في التنفيذ المُعرّض للأخطاء لعقود إيثيريوم الذكية نظرًا لطبيعتها غير البديهية، وافتقارها إلى بنيات للتعامل مع الجوانب الخاصة بمجال البلوك تشين، وعدم وجود توثيق مركزي للثغرات الأمنية المعروفة . ^{[ 22 ]}

في عام 2016، صرّح باحث من جامعة كورنيل بأن لغة Solidity تتحمل جزءًا من المسؤولية عن اختراق منظمة DAO الذي وقع في ذلك العام. وقال: "لم يكن هذا في الواقع خللًا أو ثغرة في عقد DAO نفسه؛ فمن الناحية التقنية، كانت آلة إيثيريوم الافتراضية (EVM) تعمل كما هو مُخطط لها، ولكن Solidity أدخلت ثغرات أمنية في العقود لم يلحظها المجتمع فحسب، بل غفل عنها أيضًا مصممو اللغة أنفسهم." ^{[ 23 ]}

كثيراً ما يشير مجتمع المطورين إلى أن لغة Solidity تتطلب الكثير من واجهات برمجة التطبيقات (APIs) الخاصة بالجهات الخارجية، وعدم قدرتها على إنشاء عقود ذكية كثيفة المعلومات.

• الموقع الرسمي
• Solidity على GitHub