العقود الذكية هي بروتوكولات تنفيذ تلقائية على منصة البلوكتشين، تتيح إجراء معاملات موثوقة دون الحاجة إلى وسطاء. تحتوي العقود على دوال برمجية، تُنفذ تلقائيًا عند استيفاء الشروط المحددة.
العقود الذكية مفهوم طرحه Nick Szabo في التسعينيات، ولكن لم يتم استخدامه على نطاق واسع إلا بعد ظهور الإيثيريوم. يدعم الإيثيريوم نشر وتنفيذ العقود الذكية ويعتبر الجيل الثاني من بلوك تشين.
تستخدم لغة العقود الذكية لكتابة العقود الذكية، حيث يتم تنفيذها بعد الترجمة على آلة افتراضية لمنصة blockchain. تحتاج هذه اللغة إلى التعبير عن قواعد العقود بأمان وكفاءة، وتوفير أدوات لمعالجة المعاملات وحالات blockchain.
تقوم الغالبية العظمى من المطورين بتطوير على الإيثريوم وسلاسل الكتل المتوافقة مع EVM، بينما سولانا هي المنصة التي تضم أكبر عدد من المطورين في النظام البيئي غير المتوافق مع EVM، تم تصميم موف خصيصًا لتطوير العقود الذكية على سلاسل الكتل بأمان.
ستتناول هذه المقالة لغات العقود الذكية من ثلاثة جوانب: نظام EVM، نظام سولانا، ونظام موف.
سلسلة EVM
EVM هو جوهر الإيثريوم، المسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. يعتمد الإيثريوم على بنية متعددة المستويات، تتضمن بايت كود، لغة وسيطة، ولغة عالية المستوى.
على شبكة الإيثريوم وسلاسل الكتل المتوافقة مع EVM، فإن اللغات الأكثر شهرة هي Solidity و Vyper، بالإضافة إلى Yul و Yul+ و Fe و Huff كخيارات.
تم تقديم Solidity لأول مرة من قبل غافين وود، المدير الفني لشركة إيثريوم، وهي لغة برمجة موجهة للكائنات تأثرت بشكل كبير بـ C++ و Python و JavaScript. تحدد Solidity معيار ABI للتفاعل مع العقود.
تم تطوير Vyper بواسطة فريق Vitalik Buterin، وهو بديل لـ Solidity. Vyper مشابهة لـ Python، حيث تم تحسينه من أجل الأمان، وقراءة الكود، وكفاءة الغاز.
Yul هي لغة تجميع تتمتع بتدفق تحكم متقدم، وهي جزء من مجموعة أدوات Solidity. Yul+ هو إصدار موسع من Yul.
Fe هي لغة عالية المستوى مشابهة لـ Rust، تعتمد على نظام قائم على الوحدات لإعادة استخدام الشيفرة.
Huff هي لغة تجميع، تتميز بالتحكم اليدوي في المكدس وتجريد الحد الأدنى من مجموعة تعليمات EVM.
على شبكة الإيثريوم، تمثل العقود الذكية المطورة باستخدام Solidity حوالي 90%، مما يتجاوز بكثير اللغات الأخرى. تُستخدم Yul و Yul+ عادةً لتحسين الغاز، بينما تُستخدم Huff للتحسينات القصوى للغاز.
نظام سولانا
تشتهر سولانا بآلية PoH وأدائها العالي، وهي واحدة من أسرع سلاسل الكتل العامة نمواً في العام الماضي.
تُعرف Solana العقود الذكية ببرامج على السلسلة، وتكتب أساسًا بلغة Rust. تمتلك Solana آلة افتراضية فريدة تُعرف بـ SVM وشفرة بايت SBF.
SVM المكون الرئيسي Sealevel ينفذ المعالجة المتوازية. تحدد العقود الذكية في سولانا الحالة التي تُقرأ وتُكتب في وقت التشغيل، مما يسمح بتنفيذ المعاملات المتوازية بدون تعارض.
SBF يعتمد على eBPF، ويتميز بالأداء العالي والأمان وقابلية النقل. يستخدم SBF مُحقق مخصص لضمان انتهاء البرنامج وصحة التعليمات.
من الناحية النظرية ، يمكن كتابة العقود الذكية على سولانا باستخدام أي لغة تدعم الترجمة إلى LLVM IR ، ولكن في الواقع تدعم فقط Rust و Solang.
Rust هي لغة برمجة عامة ذات تجميع ثابت، تتميز بالأداء العالي وأمان الذاكرة. Solang هو مترجم Solidity المبني على بنية LLVM، ويدعم استخدام Solidity على Solana و Polkadot.
تعد Rust اللغة الرئيسية المدعومة رسميًا من Solana، حيث تتمتع باستقرار أكبر؛ بينما تكمن الميزة الرئيسية لـ Solang في توافقها مع لغة Solidity.
حركة النظام
Move هي لغة العقود الذكية التي تم تطويرها لمشروع Diem التابع لـ Meta، وتتميز بحماية أنواع الموارد من الدرجة الأولى، والمرونة، وقابلية التحقق من الأمان.
أبتوس وسوي كلاهما يستخدمان لغة العقود الذكية Move كأساس. أبتوس ورثت Diem Move، بينما تستخدم سوي نسخة مخصصة من Sui Move.
تم تصميم مترجم Move ومدققها والآلة الافتراضية من الصفر. المدقق هو آلية الأمان الأساسية لـ Move، ويضمن الامتثال لقواعد الأمان المتعلقة بالأنواع والذاكرة والموارد.
تتحرك بشكل ودود مع التحقق الرسمي، ولا تدعم ميزات مثل التعيين الديناميكي، حيث يمكن تحديد جميع مسارات العقود في مرحلة الترجمة. Move Prover هو أداة التحقق الرسمي للعقود الذكية.
العقود الذكية تطوير الأدوات
بالنسبة لمطوري سلاسل EVM المتوافقة، فإن Solidity هو الخيار الأول. تشمل أدوات التطوير الرئيسية:
Hardhat: بيئة تطوير لتجميع ونشر واختبار وتصحيح تطبيقات الإيثيريوم.
OpenZeppelin: توفر مكتبة عقود ذكية آمنة مفتوحة المصدر.
Foundry: إطار عمل مركزي مبني على Solidity لبناء واختبار ونشر العقود الذكية.
Solana هو الخيار الثاني بعد Ethereum، الإطار الرئيسي للتطوير هو Anchor، الذي يبسط عملية تطوير Solana.
تتميز لغة Move بالابتكار في تصميم الأمان على المستوى الأساسي، ولكن حاليًا هناك عدد قليل من سلاسل الكتل العامة المبنية على Move، وأدوات التطوير غير مكتملة.
ملخص
تقييم لغات تطوير العقود الذكية يأخذ عادةً في الاعتبار سهولة الاستخدام، والأمان، وموارد النظام البيئي.
تتمتع Solidity بأكبر تأثير، ولديها أدوات تطوير ومكتبات غنية، مما يجعلها مناسبة للتطوير السريع.
يُعوض Rust عن أمان Solidity، ويتطور نظام Solana البيئي بسرعة، مما يجعله جذابًا للمطورين.
حركة أضافت المزيد من آليات الأمان، مستوى التعلم أكثر ودية، لكن النظام البيئي لا يزال في مرحلة مبكرة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
6
مشاركة
تعليق
0/400
CodeSmellHunter
· 08-02 17:54
صمغية رائعة
شاهد النسخة الأصليةرد0
OnchainArchaeologist
· 08-02 06:12
لا تتحدث عن خبرة سول القديمة.
شاهد النسخة الأصليةرد0
MemeTokenGenius
· 08-02 06:09
آه آه من الصعب البدء من الصفر حقًا
شاهد النسخة الأصليةرد0
BearMarketSage
· 08-02 06:09
من لا يزال يستخدم سول هاها
شاهد النسخة الأصليةرد0
MainnetDelayedAgain
· 08-02 06:03
وفقًا لسجلات قاعدة البيانات، تم طرح هذا المفهوم في التسعينيات واستغرق 30 عامًا ليصبح واقعًا، ننتظر بفارغ الصبر أن تتفتح الأزهار.
شاهد النسخة الأصليةرد0
ArbitrageBot
· 08-02 06:03
طوال اليوم أدرس العقود ولم أحصل على عنوان المحفظة واحدة.
Web3 للمطورين: تحليل كامل للغات العقود الذكية
تطوير الذات لمطوري Web3 - لغة العقود الذكية
العقود الذكية هي بروتوكولات تنفيذ تلقائية على منصة البلوكتشين، تتيح إجراء معاملات موثوقة دون الحاجة إلى وسطاء. تحتوي العقود على دوال برمجية، تُنفذ تلقائيًا عند استيفاء الشروط المحددة.
العقود الذكية مفهوم طرحه Nick Szabo في التسعينيات، ولكن لم يتم استخدامه على نطاق واسع إلا بعد ظهور الإيثيريوم. يدعم الإيثيريوم نشر وتنفيذ العقود الذكية ويعتبر الجيل الثاني من بلوك تشين.
تستخدم لغة العقود الذكية لكتابة العقود الذكية، حيث يتم تنفيذها بعد الترجمة على آلة افتراضية لمنصة blockchain. تحتاج هذه اللغة إلى التعبير عن قواعد العقود بأمان وكفاءة، وتوفير أدوات لمعالجة المعاملات وحالات blockchain.
تقوم الغالبية العظمى من المطورين بتطوير على الإيثريوم وسلاسل الكتل المتوافقة مع EVM، بينما سولانا هي المنصة التي تضم أكبر عدد من المطورين في النظام البيئي غير المتوافق مع EVM، تم تصميم موف خصيصًا لتطوير العقود الذكية على سلاسل الكتل بأمان.
ستتناول هذه المقالة لغات العقود الذكية من ثلاثة جوانب: نظام EVM، نظام سولانا، ونظام موف.
سلسلة EVM
EVM هو جوهر الإيثريوم، المسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. يعتمد الإيثريوم على بنية متعددة المستويات، تتضمن بايت كود، لغة وسيطة، ولغة عالية المستوى.
على شبكة الإيثريوم وسلاسل الكتل المتوافقة مع EVM، فإن اللغات الأكثر شهرة هي Solidity و Vyper، بالإضافة إلى Yul و Yul+ و Fe و Huff كخيارات.
تم تقديم Solidity لأول مرة من قبل غافين وود، المدير الفني لشركة إيثريوم، وهي لغة برمجة موجهة للكائنات تأثرت بشكل كبير بـ C++ و Python و JavaScript. تحدد Solidity معيار ABI للتفاعل مع العقود.
تم تطوير Vyper بواسطة فريق Vitalik Buterin، وهو بديل لـ Solidity. Vyper مشابهة لـ Python، حيث تم تحسينه من أجل الأمان، وقراءة الكود، وكفاءة الغاز.
Yul هي لغة تجميع تتمتع بتدفق تحكم متقدم، وهي جزء من مجموعة أدوات Solidity. Yul+ هو إصدار موسع من Yul.
Fe هي لغة عالية المستوى مشابهة لـ Rust، تعتمد على نظام قائم على الوحدات لإعادة استخدام الشيفرة.
Huff هي لغة تجميع، تتميز بالتحكم اليدوي في المكدس وتجريد الحد الأدنى من مجموعة تعليمات EVM.
على شبكة الإيثريوم، تمثل العقود الذكية المطورة باستخدام Solidity حوالي 90%، مما يتجاوز بكثير اللغات الأخرى. تُستخدم Yul و Yul+ عادةً لتحسين الغاز، بينما تُستخدم Huff للتحسينات القصوى للغاز.
نظام سولانا
تشتهر سولانا بآلية PoH وأدائها العالي، وهي واحدة من أسرع سلاسل الكتل العامة نمواً في العام الماضي.
تُعرف Solana العقود الذكية ببرامج على السلسلة، وتكتب أساسًا بلغة Rust. تمتلك Solana آلة افتراضية فريدة تُعرف بـ SVM وشفرة بايت SBF.
SVM المكون الرئيسي Sealevel ينفذ المعالجة المتوازية. تحدد العقود الذكية في سولانا الحالة التي تُقرأ وتُكتب في وقت التشغيل، مما يسمح بتنفيذ المعاملات المتوازية بدون تعارض.
SBF يعتمد على eBPF، ويتميز بالأداء العالي والأمان وقابلية النقل. يستخدم SBF مُحقق مخصص لضمان انتهاء البرنامج وصحة التعليمات.
من الناحية النظرية ، يمكن كتابة العقود الذكية على سولانا باستخدام أي لغة تدعم الترجمة إلى LLVM IR ، ولكن في الواقع تدعم فقط Rust و Solang.
Rust هي لغة برمجة عامة ذات تجميع ثابت، تتميز بالأداء العالي وأمان الذاكرة. Solang هو مترجم Solidity المبني على بنية LLVM، ويدعم استخدام Solidity على Solana و Polkadot.
تعد Rust اللغة الرئيسية المدعومة رسميًا من Solana، حيث تتمتع باستقرار أكبر؛ بينما تكمن الميزة الرئيسية لـ Solang في توافقها مع لغة Solidity.
حركة النظام
Move هي لغة العقود الذكية التي تم تطويرها لمشروع Diem التابع لـ Meta، وتتميز بحماية أنواع الموارد من الدرجة الأولى، والمرونة، وقابلية التحقق من الأمان.
أبتوس وسوي كلاهما يستخدمان لغة العقود الذكية Move كأساس. أبتوس ورثت Diem Move، بينما تستخدم سوي نسخة مخصصة من Sui Move.
تم تصميم مترجم Move ومدققها والآلة الافتراضية من الصفر. المدقق هو آلية الأمان الأساسية لـ Move، ويضمن الامتثال لقواعد الأمان المتعلقة بالأنواع والذاكرة والموارد.
تتحرك بشكل ودود مع التحقق الرسمي، ولا تدعم ميزات مثل التعيين الديناميكي، حيث يمكن تحديد جميع مسارات العقود في مرحلة الترجمة. Move Prover هو أداة التحقق الرسمي للعقود الذكية.
العقود الذكية تطوير الأدوات
بالنسبة لمطوري سلاسل EVM المتوافقة، فإن Solidity هو الخيار الأول. تشمل أدوات التطوير الرئيسية:
Solana هو الخيار الثاني بعد Ethereum، الإطار الرئيسي للتطوير هو Anchor، الذي يبسط عملية تطوير Solana.
تتميز لغة Move بالابتكار في تصميم الأمان على المستوى الأساسي، ولكن حاليًا هناك عدد قليل من سلاسل الكتل العامة المبنية على Move، وأدوات التطوير غير مكتملة.
ملخص
تقييم لغات تطوير العقود الذكية يأخذ عادةً في الاعتبار سهولة الاستخدام، والأمان، وموارد النظام البيئي.
تتمتع Solidity بأكبر تأثير، ولديها أدوات تطوير ومكتبات غنية، مما يجعلها مناسبة للتطوير السريع.
يُعوض Rust عن أمان Solidity، ويتطور نظام Solana البيئي بسرعة، مما يجعله جذابًا للمطورين.
حركة أضافت المزيد من آليات الأمان، مستوى التعلم أكثر ودية، لكن النظام البيئي لا يزال في مرحلة مبكرة.