نظرة عامة على لغة العقود الذكية

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

تم تقديم مفهوم العقود الذكية من قبل Nick Szabo في التسعينيات، ولكن لم يتم استخدامه على نطاق واسع حتى ظهور Ethereum. تدعم Ethereum نشر وتنفيذ العقود الذكية، وتُعتبر الجيل الثاني من blockchain.

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

تصنيف لغات العقود الذكية

يعمل معظم المطورين على تطوير التطبيقات على شبكة الإيثيريوم وسلاسل الكتل المتوافقة مع EVM. تعتبر سولانا الأكثر شهرة بين سلاسل الكتل غير المتوافقة مع EVM. تم تصميم Move خصيصًا لتطوير العقود الذكية الأمنية.

ستقوم هذه المقالة بتقسيم لغات العقود الذكية إلى فئات EVM و Solana و Move.

نظام EVM

EVM هو جوهر الإيثريوم، المسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. يعتمد الإيثريوم على بنية متعددة المستويات، تشمل بايت كود، لغة وسيطة، ولغة عالية المستوى.

على شبكة الإيثريوم و blockchains المتوافقة مع EVM، فإن اللغات الأكثر شعبية هي Solidity و Vyper، بالإضافة إلى Yul و Yul+ و Fe و Huff.

تم تطوير Solidity من قبل فريق Ethereum، وهي لغة موجهة للكائنات، تأثرت بـ C++ و Python و JavaScript. تم تطوير Vyper من قبل فريق Vitalik Buterin، وهي مشابهة لـ Python، مع التركيز على الأمان وكفاءة الغاز.

Yul هي لغة التجميع، وهي جزء من مجموعة أدوات Solidity. Fe هي لغة عالية المستوى تشبه Rust. Huff هي لغة تجميع منخفضة المستوى، يمكن من خلالها التحكم يدويًا في المكدس.

90% من العقود الذكية على الإيثيريوم تم تطويرها باستخدام Solidity. يُستخدم Yul و Yul+ عادةً لتحسين الغاز، بينما يُستخدم Huff لتحسين الغاز بشكل أقصى.

سولانا

تشتهر سولانا بآلية PoH والأداء العالي. تُعرف سولانا العقود الذكية ببرامج السلسلة، وتُكتب أساسًا بلغة راست، وتستخدم آلة افتراضية فريدة SVM وشفرة بايت SBF.

المكون الرئيسي في SVM Sealevel يحقق المعالجة المتوازية للعقود الذكية. SBF يعتمد على eBPF، ويتميز بالأداء العالي والأمان.

يدعم تطوير عقود Solana حاليًا Rust و Solang. Rust هي لغة عامة تم تطويرها بواسطة Mozilla، وتتميز بأداء عالٍ وأمان الذاكرة. Solang هو مترجم Solidity المعتمد على LLVM، الذي يسهل انتقال المطورين إلى Solana.

نظام Move

تم تطوير Move في الأصل لمشروع Diem من Meta، ويتميز بحماية من نوع الموارد من الدرجة الأولى، والمرونة، وقابلية التحقق. تعتمد Aptos و Sui على Move كلغة أساسية للعقود الذكية.

تم تصميم مترجم Move ومدققها وآلتها الافتراضية من الصفر. تعتبر Move Prover أداة التحقق الرسمية لها.

بالمقارنة مع Solidity، فإن Move أكثر ملاءمة للتحقق الرسمي، حيث يمكن تحديد جميع مسارات العقود في مرحلة الترجمة.

أدوات التطوير

بالنسبة لسلاسل EVM المتوافقة، فإن Solidity هي اللغة المفضلة. تشمل أدوات التطوير الرئيسية Hardhat و OpenZeppelin و Foundry.

سولانا هي الخيار الثاني خارج الإيثيريوم، لكن صعوبة التطوير مرتفعة. إطار العمل Anchor يمكن أن يبسط عملية تطوير سولانا.

تتميز لغة Move بابتكارات في تصميم الأمان، ولكن النظام البيئي والأدوات الحالية غير مكتملة.

ملخص

تقييم لغات العقود الذكية عادة ما يأخذ في الاعتبار سهولة الاستخدام والأمان وموارد النظام البيئي.

تأثير Solidity هو الأكبر، ويوجد العديد من أدوات التطوير والمكتبات. Rust يكمل أمان Solidity، وبيئة Solana تأتي في المرتبة الثانية بعد Ethereum. Move يضيف المزيد من آليات الأمان، لكن البيئة لا تزال في مرحلة مبكرة.