العقود الذكية هي بروتوكولات تنفيذ تلقائي تعمل على منصة blockchain، قادرة على تحقيق معاملات موثوقة بدون وسطاء. تحتوي على وظائف برمجية، يمكنها التفاعل مع عقود أخرى، وتنفيذها تلقائيًا عند استيفاء الشروط المحددة.
تم اقتراح مفهوم العقود الذكية من قبل Nick Szabo في التسعينيات، ولكن لم يتم استخدامه على نطاق واسع حتى ظهور Ethereum. تم إطلاق Ethereum في عام 2015، ويدعم نشر وتنفيذ العقود الذكية، ويعرف بسلسلة الكتل من الجيل الثاني.
تستخدم لغة العقود الذكية لكتابة العقود الذكية، وبعد تحويلها إلى كود بايت، يتم تنفيذها على الآلة الافتراضية لمنصة البلوكشين. تحتاج إلى أن تكون قادرة على التعبير عن قواعد العقد بأمان وكفاءة، وتوفير أدوات لمعالجة معاملات البلوكشين والحالة.
حاليًا، يتركز تطوير العقود الذكية بشكل رئيسي على Ethereum وسلاسل الكتل المتوافقة مع EVM، بينما تعد Solana هي المنصة التي تضم أكبر عدد من المطورين في النظام البيئي غير EVM، وصُممت Move خصيصًا لتطوير العقود الذكية بأمان.
لغة العقود الذكية لـ EVM
EVM هو جوهر الإيثريوم، مسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. تعتمد الإيثريوم على هيكل متعدد المستويات، يتضمن الشيفرة البايت، واللغة الوسيطة، واللغة عالية المستوى.
أكثر لغات البرمجة المتقدمة شهرة في EVM حاليًا هي Solidity و Vyper، بالإضافة إلى خيارات أخرى مثل Yul و Yul+ و Fe و Huff.
Solidity هي لغة موجهة نحو الكائنات، تأثرت بلغة C++ و Python و JavaScript. تدعم الوراثة المتعددة، وتحدد معيار ABI.
تم تطوير Vyper بواسطة فريق Vitalik Buterin، وهو يشبه بناء جملة Python، ويركز على الأمان وكفاءة الغاز. لا يدعم البرمجة الكائنية والتجميع المضمن.
Yul هي لغة تجميع تحتوي على تدفق تحكم متقدم، ويمكن استخدامها من خلال كتل التجميع المضمنة في Solidity. Yul+ هي نسخة موسعة من Yul.
Fe هي لغة عالية المستوى تشبه Rust، تعتمد على نظام قائم على الوحدات لإعادة استخدام الشيفرة.
Huff هي لغة تجميع يمكن استخدامها لت操作 المكدس واستدعاء تعليمات EVM، وتستخدم بشكل أساسي لتحسين حدود الغاز.
على Ethereum، يتم تطوير حوالي 90% من العقود الذكية باستخدام Solidity، تليها Vyper. يتم استخدام Yul/Yul+ وHuff بشكل رئيسي لتحسين الغاز.
لغة العقود الذكية في سولانا
تشتهر سولانا بآلية PoH وأدائها العالي، وهي واحدة من أسرع سلاسل الكتل نموًا في القيمة السوقية. تسمي سولانا العقود الذكية ببرامج على السلسلة، وتستخدم بشكل رئيسي لغة Rust في البرمجة.
تستخدم سولانا آلة SVM الافتراضية الخاصة بها وشفرة SBF، بدلاً من WASM. المكون الرئيسي لـ SVM، Sealevel، يدعم المعالجة المتوازية لعدة العقود الذكية.
SBF يعتمد على eBPF، ويتميز بالأداء العالي والأمان. قامت سولانا بتعديلات مخصصة على Rust و eBPF LLVM.
حالياً، يدعم تطوير العقود الذكية في سولانا بشكل رئيسي لغتين: راست وسولانغ. راست هي لغة عالية الأداء وآمنة تم تطويرها بواسطة موزيلا. سولانغ هو مترجم سوليديتي مبني على LLVM، ويدعم سولانا وبولكادوت.
لغة العقود الذكية Move
تم تطوير Move في الأصل لمشروع Diem التابع لـ Meta، والآن يُستخدم بشكل رئيسي في سلاسل Aptos و Sui العامة. تشمل الخصائص الرئيسية لـ Move:
حماية نوع الموارد من الدرجة الأولى
مرونة عالية، تدعم استدعاء عدة برامج في صفقة واحدة
أمان عالي، يدعم التحقق الثابت
تستخدم Move تصميمًا معياريًا، حيث يعتبر كل عقد ذكي وحدةً. يعتمد Sui Move على نموذج بيانات قائم على الكائنات على أساس Core Move.
تم تصميم المترجم والمحقق والآلة الافتراضية لـ Move من الصفر. المحقق هو آلية الأمان الأساسية لـ Move، ويستخدم للحفاظ على نموذج البرمجة القائم على الموارد.
تقدم Move أيضًا أداة التحقق الرسمي من العقود الذكية Move Prover، والتي يمكن أن تثبت رياضيًا العقود بشكل صارم.
العقود الذكية تطوير الأدوات
بالنسبة لسلاسل EVM المتوافقة، فإن Solidity هو الخيار الأفضل، وأدوات التطوير الناضجة الخاصة به تشمل:
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
العقود الذكية اللغة الشاملة: من EVM إلى Solana ثم إلى Move التطور والمقارنة
مقدمة عن لغة العقود الذكية
العقود الذكية هي بروتوكولات تنفيذ تلقائي تعمل على منصة blockchain، قادرة على تحقيق معاملات موثوقة بدون وسطاء. تحتوي على وظائف برمجية، يمكنها التفاعل مع عقود أخرى، وتنفيذها تلقائيًا عند استيفاء الشروط المحددة.
تم اقتراح مفهوم العقود الذكية من قبل Nick Szabo في التسعينيات، ولكن لم يتم استخدامه على نطاق واسع حتى ظهور Ethereum. تم إطلاق Ethereum في عام 2015، ويدعم نشر وتنفيذ العقود الذكية، ويعرف بسلسلة الكتل من الجيل الثاني.
تستخدم لغة العقود الذكية لكتابة العقود الذكية، وبعد تحويلها إلى كود بايت، يتم تنفيذها على الآلة الافتراضية لمنصة البلوكشين. تحتاج إلى أن تكون قادرة على التعبير عن قواعد العقد بأمان وكفاءة، وتوفير أدوات لمعالجة معاملات البلوكشين والحالة.
حاليًا، يتركز تطوير العقود الذكية بشكل رئيسي على Ethereum وسلاسل الكتل المتوافقة مع EVM، بينما تعد Solana هي المنصة التي تضم أكبر عدد من المطورين في النظام البيئي غير EVM، وصُممت Move خصيصًا لتطوير العقود الذكية بأمان.
لغة العقود الذكية لـ EVM
EVM هو جوهر الإيثريوم، مسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. تعتمد الإيثريوم على هيكل متعدد المستويات، يتضمن الشيفرة البايت، واللغة الوسيطة، واللغة عالية المستوى.
أكثر لغات البرمجة المتقدمة شهرة في EVM حاليًا هي Solidity و Vyper، بالإضافة إلى خيارات أخرى مثل Yul و Yul+ و Fe و Huff.
Solidity هي لغة موجهة نحو الكائنات، تأثرت بلغة C++ و Python و JavaScript. تدعم الوراثة المتعددة، وتحدد معيار ABI.
تم تطوير Vyper بواسطة فريق Vitalik Buterin، وهو يشبه بناء جملة Python، ويركز على الأمان وكفاءة الغاز. لا يدعم البرمجة الكائنية والتجميع المضمن.
Yul هي لغة تجميع تحتوي على تدفق تحكم متقدم، ويمكن استخدامها من خلال كتل التجميع المضمنة في Solidity. Yul+ هي نسخة موسعة من Yul.
Fe هي لغة عالية المستوى تشبه Rust، تعتمد على نظام قائم على الوحدات لإعادة استخدام الشيفرة.
Huff هي لغة تجميع يمكن استخدامها لت操作 المكدس واستدعاء تعليمات EVM، وتستخدم بشكل أساسي لتحسين حدود الغاز.
على Ethereum، يتم تطوير حوالي 90% من العقود الذكية باستخدام Solidity، تليها Vyper. يتم استخدام Yul/Yul+ وHuff بشكل رئيسي لتحسين الغاز.
لغة العقود الذكية في سولانا
تشتهر سولانا بآلية PoH وأدائها العالي، وهي واحدة من أسرع سلاسل الكتل نموًا في القيمة السوقية. تسمي سولانا العقود الذكية ببرامج على السلسلة، وتستخدم بشكل رئيسي لغة Rust في البرمجة.
تستخدم سولانا آلة SVM الافتراضية الخاصة بها وشفرة SBF، بدلاً من WASM. المكون الرئيسي لـ SVM، Sealevel، يدعم المعالجة المتوازية لعدة العقود الذكية.
SBF يعتمد على eBPF، ويتميز بالأداء العالي والأمان. قامت سولانا بتعديلات مخصصة على Rust و eBPF LLVM.
حالياً، يدعم تطوير العقود الذكية في سولانا بشكل رئيسي لغتين: راست وسولانغ. راست هي لغة عالية الأداء وآمنة تم تطويرها بواسطة موزيلا. سولانغ هو مترجم سوليديتي مبني على LLVM، ويدعم سولانا وبولكادوت.
لغة العقود الذكية Move
تم تطوير Move في الأصل لمشروع Diem التابع لـ Meta، والآن يُستخدم بشكل رئيسي في سلاسل Aptos و Sui العامة. تشمل الخصائص الرئيسية لـ Move:
تستخدم Move تصميمًا معياريًا، حيث يعتبر كل عقد ذكي وحدةً. يعتمد Sui Move على نموذج بيانات قائم على الكائنات على أساس Core Move.
تم تصميم المترجم والمحقق والآلة الافتراضية لـ Move من الصفر. المحقق هو آلية الأمان الأساسية لـ Move، ويستخدم للحفاظ على نموذج البرمجة القائم على الموارد.
تقدم Move أيضًا أداة التحقق الرسمي من العقود الذكية Move Prover، والتي يمكن أن تثبت رياضيًا العقود بشكل صارم.
العقود الذكية تطوير الأدوات
بالنسبة لسلاسل EVM المتوافقة، فإن Solidity هو الخيار الأفضل، وأدوات التطوير الناضجة الخاصة به تشمل:
الإطار الرئيسي لتطوير Solana هو Anchor، وهو مشابه لـ Hardhat، مما يسهل عملية تطوير Solana.
لغة Move لديها ابتكارات في الأمان على المستوى الأساسي، ولكن النظام البيئي لا يزال في مرحلة مبكرة، وأدوات التطوير بحاجة إلى تحسين.
ملخص
تقييم لغات العقود الذكية عادة ما يأخذ في الاعتبار سهولة الاستخدام والأمان وموارد البيئة.
تؤثر Solidity بشكل كبير، حيث تمتلك أدوات تطوير ومكتبات غنية، مما يسهل التطوير السريع.
لقد عوضت Rust عن نقص أمان Solidity، وتطور نظام Solana البيئي بسرعة.
تتميز Move بالابتكار في آلية الأمان، وتتمتع بحد أدنى من متطلبات التعلم، لكن النظام البيئي لا يزال في مرحلة مبكرة.