العقود الذكية هي بروتوكولات تنفيذ آلية تعمل على منصات البلوكشين، مما يتيح للأطراف المتعاقدة إجراء معاملات موثوقة دون الحاجة إلى وسطاء. هذه المعاملات قابلة للتتبع وغير قابلة للعكس. تحتوي العقود الذكية على وظائف برمجية، يمكنها التفاعل مع عقود أخرى، وتنفذ تلقائيًا عند استيفاء الشروط المحددة.
تم اقتراح مفهوم العقود الذكية من قبل نيك سابو في التسعينيات، ولكن لم يتم تطبيقه على نطاق واسع حتى ظهور الإيثيريوم. يدعم الإيثيريوم نشر وتنفيذ العقود الذكية، ويمكن باستخدام لغة كاملة تورين بناء تطبيقات لامركزية، وقد أطلق عليه لقب الجيل الثاني من البلوكشين.
تُستخدم لغة العقود الذكية لكتابة العقود الذكية، وتُترجم إلى بايت كود ثم يتم تنفيذها على آلة افتراضية للبلوك تشين. يجب أن تكون لغة العقود الذكية جيدة لتعبير آمن وفعال عن قواعد العقد، وتوفير أدوات لمعالجة معاملات وحالات البلوك تشين.
لغات العقود الذكية الرئيسية
نظام EVM
EVM هو جوهر الإيثريوم، المسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. يستخدم الإيثريوم هيكلًا متعدد المستويات، بما في ذلك الشيفرة البايت، واللغة الوسيطة، واللغة عالية المستوى.
أكثر لغات البرمجة المتقدمة الشائعة حاليًا هي Solidity و Vyper. بالإضافة إلى ذلك، هناك خيارات أخرى مثل Yul و Yul+ و Fe و Huff.
تم تطوير Solidity في البداية بواسطة فريق Ethereum، وهي لغة موجهة للكائنات، تأثرت بـ C++ و Python و JavaScript. تم تطوير Vyper بواسطة فريق Vitalik Buterin، وهي مشابهة لـ Python، مع تحسينات للأمان وكفاءة الغاز.
في إيثريوم، تشكل العقود المطورة باستخدام Solidity حوالي 90%. يتم استخدام Yul و Yul+ عادةً لتحسين الغاز، بينما يتم استخدام Huff لتحسين الغاز بشكل متطرف.
نظام سولانا
تشتهر سولانا بآلية PoH والأداء العالي. تُعرف العقود الذكية في سولانا باسم البرامج على السلسلة، وتُكتب أساسًا بلغة راست. تمتلك سولانا جهاز SVM الافتراضي الفريد وشفرة SBF بايت.
يطبق مكون Sealevel في سولانا المعالجة المتوازية للعقود الذكية. SBF مبني على eBPF، مما يوفر أداءً عاليًا وأمانًا.
حالياً، يدعم تطوير العقود على سولانا فقط Rust و Solang. يتميز Rust بالأداء العالي والسلامة في الذاكرة، وهو اللغة الرئيسية المدعومة من قبل سولانا. بينما يتوافق Solang مع بناء جملة Solidity.
نظام Move
تم تطوير Move في الأصل لمشروع Diem التابع لـ Meta، والآن يُستخدم بشكل رئيسي في شبكتي Aptos و Sui. تتمثل ميزات Move في حماية نوع المورد من الدرجة الأولى، والمرونة، وقابلية التحقق.
تحرك يعتمد على تصميم معياري، كل عقد ذكي هو وحدة. مقارنةً بـ Core Move، يعتمد Sui Move على نموذج بيانات قائم على الكائنات.
تعتبر Move مناسبة للتحقق الرسمي، حيث توجد أدوات تحقق مثل Move Prover. ومع ذلك، فإن نظام Move البيئي لا يزال في مرحلة مبكرة.
أدوات التطوير
بالنسبة لسلاسل التوافق مع EVM، فإن Solidity هو الخيار السائد، والأدوات ذات الصلة ناضجة، مثل Hardhat وOpenZeppelin وFoundry وغيرها.
سولانا هي الخيار الثاني خارج الإيثيريوم، لكن صعوبة التطوير أكبر. يمكن أن يبسط إطار العمل أنكور عملية تطوير سولانا.
تتميز Move بالابتكار في تصميم الأمان الأساسي، لكن حاليًا نظام الأدوات ليس مكتملًا بما فيه الكفاية.
ملخص
تعتبر بيئة Solidity هي الأكثر نضجًا، مما يجعلها مناسبة للتطوير السريع. بينما توفر Rust/Solana أمانًا أفضل. تصميم Move مبتكر لكن بيئته لا تزال مبكرة. يجب أن يتم اختيار لغة العقود الذكية مع مراعاة سهولة الاستخدام والأمان وموارد البيئة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 19
أعجبني
19
5
إعادة النشر
مشاركة
تعليق
0/400
failed_dev_successful_ape
· 07-22 14:35
إذا لم تفهم، اسأل، هذا هو sz!
شاهد النسخة الأصليةرد0
StopLossMaster
· 07-22 13:14
أليس هو إصدار البلوكتشين من if else؟
شاهد النسخة الأصليةرد0
RektCoaster
· 07-20 00:39
بصراحة، هذه العقود الذكية سيئة للغاية، ادخل مركز بحذر.
العقود الذكية اللغة الشاملة: من EVM إلى Solana ثم إلى Move
نظرة عامة على لغة العقود الذكية
العقود الذكية هي بروتوكولات تنفيذ آلية تعمل على منصات البلوكشين، مما يتيح للأطراف المتعاقدة إجراء معاملات موثوقة دون الحاجة إلى وسطاء. هذه المعاملات قابلة للتتبع وغير قابلة للعكس. تحتوي العقود الذكية على وظائف برمجية، يمكنها التفاعل مع عقود أخرى، وتنفذ تلقائيًا عند استيفاء الشروط المحددة.
تم اقتراح مفهوم العقود الذكية من قبل نيك سابو في التسعينيات، ولكن لم يتم تطبيقه على نطاق واسع حتى ظهور الإيثيريوم. يدعم الإيثيريوم نشر وتنفيذ العقود الذكية، ويمكن باستخدام لغة كاملة تورين بناء تطبيقات لامركزية، وقد أطلق عليه لقب الجيل الثاني من البلوكشين.
تُستخدم لغة العقود الذكية لكتابة العقود الذكية، وتُترجم إلى بايت كود ثم يتم تنفيذها على آلة افتراضية للبلوك تشين. يجب أن تكون لغة العقود الذكية جيدة لتعبير آمن وفعال عن قواعد العقد، وتوفير أدوات لمعالجة معاملات وحالات البلوك تشين.
لغات العقود الذكية الرئيسية
نظام EVM
EVM هو جوهر الإيثريوم، المسؤول عن تشغيل العقود الذكية ومعالجة المعاملات. يستخدم الإيثريوم هيكلًا متعدد المستويات، بما في ذلك الشيفرة البايت، واللغة الوسيطة، واللغة عالية المستوى.
أكثر لغات البرمجة المتقدمة الشائعة حاليًا هي Solidity و Vyper. بالإضافة إلى ذلك، هناك خيارات أخرى مثل Yul و Yul+ و Fe و Huff.
تم تطوير Solidity في البداية بواسطة فريق Ethereum، وهي لغة موجهة للكائنات، تأثرت بـ C++ و Python و JavaScript. تم تطوير Vyper بواسطة فريق Vitalik Buterin، وهي مشابهة لـ Python، مع تحسينات للأمان وكفاءة الغاز.
في إيثريوم، تشكل العقود المطورة باستخدام Solidity حوالي 90%. يتم استخدام Yul و Yul+ عادةً لتحسين الغاز، بينما يتم استخدام Huff لتحسين الغاز بشكل متطرف.
نظام سولانا
تشتهر سولانا بآلية PoH والأداء العالي. تُعرف العقود الذكية في سولانا باسم البرامج على السلسلة، وتُكتب أساسًا بلغة راست. تمتلك سولانا جهاز SVM الافتراضي الفريد وشفرة SBF بايت.
يطبق مكون Sealevel في سولانا المعالجة المتوازية للعقود الذكية. SBF مبني على eBPF، مما يوفر أداءً عاليًا وأمانًا.
حالياً، يدعم تطوير العقود على سولانا فقط Rust و Solang. يتميز Rust بالأداء العالي والسلامة في الذاكرة، وهو اللغة الرئيسية المدعومة من قبل سولانا. بينما يتوافق Solang مع بناء جملة Solidity.
نظام Move
تم تطوير Move في الأصل لمشروع Diem التابع لـ Meta، والآن يُستخدم بشكل رئيسي في شبكتي Aptos و Sui. تتمثل ميزات Move في حماية نوع المورد من الدرجة الأولى، والمرونة، وقابلية التحقق.
تحرك يعتمد على تصميم معياري، كل عقد ذكي هو وحدة. مقارنةً بـ Core Move، يعتمد Sui Move على نموذج بيانات قائم على الكائنات.
تعتبر Move مناسبة للتحقق الرسمي، حيث توجد أدوات تحقق مثل Move Prover. ومع ذلك، فإن نظام Move البيئي لا يزال في مرحلة مبكرة.
أدوات التطوير
بالنسبة لسلاسل التوافق مع EVM، فإن Solidity هو الخيار السائد، والأدوات ذات الصلة ناضجة، مثل Hardhat وOpenZeppelin وFoundry وغيرها.
سولانا هي الخيار الثاني خارج الإيثيريوم، لكن صعوبة التطوير أكبر. يمكن أن يبسط إطار العمل أنكور عملية تطوير سولانا.
تتميز Move بالابتكار في تصميم الأمان الأساسي، لكن حاليًا نظام الأدوات ليس مكتملًا بما فيه الكفاية.
ملخص
تعتبر بيئة Solidity هي الأكثر نضجًا، مما يجعلها مناسبة للتطوير السريع. بينما توفر Rust/Solana أمانًا أفضل. تصميم Move مبتكر لكن بيئته لا تزال مبكرة. يجب أن يتم اختيار لغة العقود الذكية مع مراعاة سهولة الاستخدام والأمان وموارد البيئة.