# سوليديتي (لغة برمجة)

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

## تاريخ

تم اقتراح سوليديتي في آب \ أغسطس ٢٠١٤ من قبل غافن وود تم تطوير اللغة لاحقًا بواسطة فريق سوليديتي التابع لمشروع إيثيريوم ، بقيادة كريستيان رايتوايستنر.
سوليديتي هي اللغة الأساسية في إيثيريوم وكذلك في شبكات بلوكتشين أخرى، مثل Hyperledger Fabric blockchain الموجهة للمؤسسات. نشرت SWIFT دليلًا على المفهوم باستخدام سوليديتي الذي يعمل على Hyperledger Fabric.

## وصف

سوليديتي هي لغة برمجة مكتوبة بشكل ثابت مصممة لتطوير العقود الذكية التي تعمل على جهاز آلة إيثريوم الافتراضية (EVM) أو أجهزة افتراضية متوافقة.
تستخدم سوليديتي بناء جملة يشبه ECMAScript مما يجعلها مألوفةً لمطوري الويب الحاليين؛ ومع ذلك ، على عكس ECMAScript ، فإنها تحتوي على كتابة ثابتة وأنواع إرجاع متغيرة. تختلف سوليديتي عن اللغات الأخرى التي تستهدف آلة إيثريوم الافتراضية مثل Serpent وMutan في بعض النواحي المهمة. وهي تدعم متغيرات الأعضاء المعقدة للعقود الذكية، بما في ذلك التعيينات والهياكل الهرمية الاعتباطية. يدعم عقد سوليديتي الذكي خاصية الوراثة ، بما في ذلك الوراثة المتعددة باستخدام خطية C3 . تقدم سوليديتي واجهة تطبيق ثنائية (ABI) تسهل وظائف متعددة من النوع الآمن ضمن عقد ذكي واحد (تم دعم هذا لاحقًا بواسطة Serpent). يتضمن اقتراح سوليديتي أيضًا "مواصفات اللغة الطبيعية" ، وهو نظام توثيق لتحديد الأوصاف التي تتمحور حول المستخدم لتداعيات [الطريقة (برمجة الكمبيوتر) | طريقة] - المكالمات. [ مطلوب مصدر غير أساسي ]
مثال على برنامج سوليديتي:

## مراجع

* ↑ وصلة مرجع: https://github.com/ethereum/solidity/blob/develop/LICENSE.txt. الوصول: 30 مارس 2023.
* ↑ وصلة مرجع: https://github.com/ethereum/solidity. الوصول: 30 مارس 2023.
* ↑ "قاموس أبجداو - البلوكتشين باللغة العربية". مؤرشف من الأصل في 2023-06-26. اطلع عليه بتاريخ 2023-06-26.
* ↑ Afshar, Vala (17 Jul 2017). "Ethereum Is The Second Most Valuable Digital Currency, Behind Bitcoin". HuffPost (بالإنجليزية). Archived from the original on 2023-04-03. Retrieved 2019-04-10.
* ↑ "SOFE Berlin: Swift unveils blockchain proof-of-concept". Finextra (News). 24 نوفمبر 2016. مؤرشف من الأصل في 2023-04-03. اطلع عليه بتاريخ 2016-11-24.
* ↑ Finley, Klint. "Someone Just Stole $50 Million from the Biggest Crowdfunded Project Ever. (Humans Can't Be Trusted)". Wired (بالإنجليزية الأمريكية). Archived from the original on 2023-03-05.
* ↑ The Solidity Contract-Oriented Programming Language، ethereum، 30 مارس 2023، مؤرشف من الأصل في 2023-03-30، اطلع عليه بتاريخ 2023-03-30
* 1 2 "Gavin Wood". gavwood.com. مؤرشف من الأصل في 2023-06-14. اطلع عليه بتاريخ 2023-03-30.
* ↑ "List of contributors". غيت هاب. مؤرشف من الأصل في 2023-04-03.
* ↑ Nikolic. "Finding The Greedy, Prodigal, and Suicidal Contracts at Scale". {{استشهاد بأرخايف}}: الوسيط |arxiv= مطلوب (مساعدة)
* ↑ "Westpac joins SWIFT's blockchain proof of concept". ZDNet (بالإنجليزية). Archived from the original on 2023-04-03. Retrieved 2022-07-13.
* ↑ "Hyperledger Fabric Tutorial - Create a blockchain app for loyalty points". IBM Developer (بالإنجليزية الأمريكية). Archived from the original on 2023-05-26. Retrieved 2019-04-10.
* ↑ "Language Influences — Solidity 0.8.17 documentation". docs.soliditylang.org. مؤرشف من الأصل في 2023-03-30. اطلع عليه بتاريخ 2023-03-30.
* ↑ Kapetanios-2008-06-27.
* ↑ ethereum. "Ethereum Natural Specification Format". GitHub. مؤرشف من الأصل في 2023-04-03.
* ↑ "Introduction to Smart Contracts — Solidity 0.8.19 documentation". docs.soliditylang.org. مؤرشف من الأصل في 2023-05-21. اطلع عليه بتاريخ 2023-03-30.
* ↑ Schneier, Karthikeyan; Schneier, Antoine; Bhargavan, Cedric; Delignat-Lavaud, Anitha; Fournet, Gollamudi; Schneier, Bruce; Rastogi, Nadim; Sibut-Pinote, Aseem; Rastogi1, Thomas; Swamy, Nikhil; Zanella-Beguelin, Santiago (27 Aug 2016). "Short Paper: Formal Verification of Smart Contracts" (PDF). Microsoft Research, French Institute for Research in Computer Science and Automation, Harvard University (بالإنجليزية). Archived (PDF) from the original on 2016-08-27.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: أسماء عددية: قائمة المؤلفين (link)
* بوابة تقانة المعلومات
* بوابة علم الحاسوب