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

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

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

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

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

لغة العقود الذكية EVM

EVM( آلة افتراضية إيثيريوم ) هي جوهر إيثيريوم، المسؤولة عن تشغيل العقود الذكية ومعالجة المعاملات. تعتمد إيثيريوم على هيكل متعدد الطبقات: بايت كود EVM، لغة وسيطة Yul/Yul+، ولغات عالية المستوى Solidity/Vyper/Fe وغيرها. الهيكل متعدد الطبقات يساعد في التحسين والتحقق، لكنه يزيد أيضًا من تكلفة ضمان الموثوقية.

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

تم اقتراح Solidity في البداية من قبل المدير التقني لشركة Ethereum غافين وود، ثم تم تطويره بواسطة فريق بقيادة كريستيان رايتفيزنر. إنها لغة موجهة للكائنات، تتأثر بـ C++ وPython وJavaScript. تحدد Solidity معيار ABI للتفاعل مع العقود، وتعتبر حالياً المعيار الفعلي لـ EVM DSL.

تم تطوير Vyper من قبل فريق فيتاليك بوترين كبديل لـ Solidity. إنه مشابه لـ Python، وقد تم تحسينه من أجل الأمان وقابلية القراءة وكفاءة الغاز. لا يستخدم Vyper نمط البرمجة الموجهة للكائنات، ولا يدعم التجميع المضمن.

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

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

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

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

تمتلك Solana جهازها الافتراضي الخاص SVM وشفرة البايت SBF. المكون الرئيسي لـ SVM، Sealevel، يسمح بتشغيل عدة عقود ذكية بالتوازي. SBF مبنية على eBPF، وتتمتع بأداء عالٍ وأمان.

من الناحية النظرية، يمكن استخدام أي لغة تدعم التحويل إلى LLVM IR لتطوير العقود الذكية على سولانا، ولكن في الواقع، يتم دعم كل من Rust و Solang فقط. Rust هي اللغة الرئيسية المدعومة رسميًا من سولانا، بينما يوفر Solang التوافق مع Solidity.

لغة العقود الذكية Move

تم تطوير Move في الأصل لمشروع Diem التابع لـ Meta، والذي يهدف إلى معالجة قضايا أمان الأصول والمعاملات. تشمل ميزات Move حماية نوع الموارد من الدرجة الأولى، والمرونة، والقدرة على التحقق.

تستخدم Aptos و Sui لغة العقود الذكية Move كنواة لها. ورثت Aptos Core Move، بينما تستخدم Sui إصدارًا مخصصًا يسمى Sui Move. تم تصميم المترجم وموثق العقود والآلة الافتراضية لـ Move من الصفر.

تعد Move صديقة للتحقق الرسمي، ولديها أداة تحقق مخصصة تسمى Move Prover. مقارنةً بـ Solidity، تتمتع Move بابتكارات كبيرة في تصميم الأمان الأساسي.

العقود الذكية أدوات تطوير

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

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

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

ملخص

تقييم لغات العقود الذكية عادة ما يأخذ في الاعتبار سهولة الاستخدام، والأمان، والموارد البيئية. تعتبر Solidity الأكثر تأثيرًا، والبيئة الأكثر نضجًا. تكمل Rust الأمان، حيث يتطور نظام Solana البيئي بسرعة. تتمتع Move بابتكارات في آلية الأمان، ولكن البيئة لا تزال في مرحلة مبكرة.