نظرة أعمق على مختلف منصات العقود الذكية

مرحبا يا هبر! أقدم لكم ترجمة المقال " نظرة أعمق على منصات العقود الذكية المختلفة ".

نحن نعيش في عصر العقود الذكية. بينما أظهرت لنا Bitcoin أن نظام الدفع يمكن أن يوجد في شبكة لا مركزية من نظير إلى نظير ، كان Ethereum هو من فتح الجيل الثاني من صندوق Pandora blockchain ، ورأى الناس أخيرًا الإمكانات الحقيقية للتطبيقات الموزعة (Dapps) والعقود الذكية.

في هذه المقالة سنلقي نظرة على واحدة من منصات عقود Cardano الذكية الجديدة ونرى ما هو الفرق.

قبل أن نفعل ذلك ، دعونا نسأل أنفسنا سؤالاً.

ما هي العقود الذكية؟


العقود الذكية هي عقود آلية. يتم تنفيذها ذاتيًا مع تعليمات محددة مكتوبة بلغة برمجة يتم تنفيذها عند استيفاء شروط معينة.

ما هي خصائص العقود الذكية التي ستفي بشروط الاستخدام في السجلات الموزعة؟

يجب أن يكون كل شيء يعمل على blockchain دون تغيير وقادر على العمل على عدة عقد دون المساس بسلامة حالة النظام. نتيجة لذلك ، يجب أن تكون وظيفة العقد الذكي ثلاثة أشياء:

- الحتمية
- القدرة على الانتهاء في الوقت المحدد
- العزلة

الميزة رقم 1: الحتمية


يكون البرنامج حتمياً إذا أعطى نفس الناتج لمدخل معين في كل مرة. على سبيل المثال إذا كانت 3 + 1 = 4 ، فستكون 3 + 1 دائمًا 4. لذلك ، عندما ينتج البرنامج نفس مجموعة بيانات الإدخال على أجهزة كمبيوتر مختلفة ، فإن البرنامج يسمى الحتمية.

هناك نقاط مختلفة عندما يمكن للبرنامج العمل بطريقة غير حتمية:

- استدعاء دالة غير حتمية
- استخدام البيانات غير القطعية
- استدعاء ديناميكي ، حيث يتم تحديد الوظيفة أو البرنامج الذي تم استدعاؤه فقط في وقت التشغيل ، فإن المكالمة نفسها غير حتمية.

الوظيفة رقم 2: القدرة على الانتهاء في الوقت المحدد


في المنطق الرياضي ، لدينا خطأ يسمى "مشكلة الإغلاق". تدعي أنه لا توجد طريقة لمعرفة ما إذا كان برنامج معين يمكنه أداء وظيفته على مدى فترة من الزمن. في عام 1936 ، أثبت آلان تورينج باستخدام مشكلة كانتور القطرية أنه لا توجد طريقة لمعرفة ما إذا كان برنامج معين يمكنه إنهاء عمله في الوقت المحدد أم لا ...
من الواضح أن هذه مشكلة في العقود الذكية لأن العقود ، بحكم تعريفها ، يجب أن تكون قادرة على إكمالها في الوقت المحدد. هناك عدة طرق لتوفير طريقة لإنهاء العقد من الخارج وتجنب الدخول في دورة لا نهاية لها من موارد استنفاد الموارد:

  • معالجة عدم الاكتمال : لن تسمح الوظائف المحدودة بالقفز و / أو الدورات. وبالتالي ، لن يتمكن العقد الذكي من الدخول في حلقة لا نهائية.
  • قياس الخطوات والتكلفة : يمكن للبرنامج ببساطة تتبع عدد الأوامر المكتملة ، ثم إكمال العمل بعد إكمال عدد معين من الخطوات. طريقة أخرى هي عداد. هنا ، يتم دفع العقود مسبقًا. تتطلب كل تعليمات كمية معينة. إذا تجاوزت الرسوم المدفوعة الرسوم المدفوعة مسبقًا ، يتم إنهاء العقد.
  • المؤقت : إذا لم يتم تنفيذ العقد خلال فترة معينة ، يتم إنهائه بالقوة.

الوظيفة رقم 3: العزلة


في blockchain ، يمكن لكل مشارك تحميل عقد ذكي. ومع ذلك ، قد تحتوي العقود ، عن علم ودون وعي ، على فيروسات وأخطاء.

إذا لم يتم عزل العقد ، فقد يؤدي ذلك إلى تعطيل عمل النظام بأكمله. لذلك ، من المهم جدًا أن يتم عزل العقد من أجل إنقاذ النظام البيئي بأكمله من أي عواقب سلبية. عادة ، يتم تنفيذ العقود الذكية باستخدام أحد النظامين:

  • الأجهزة الافتراضية : (Ethereum و Neo)
  • عامل الميناء : (قماش)

دعونا نقارن هذين ونحدد ما يخلق أفضل نظام بيئي. من أجل البساطة ، سنقوم بمقارنة Ethereum (الجهاز الافتراضي) مع Fabric (Docker).

الأجهزة الافتراضيةعامل ميناء
تحتوي العقود على وظائف غير حتمية والبيانات تقتصر على المعلومات الواردة في blockchain. علاوة على ذلك ، يمكن أن تكون المكالمات الديناميكية غير حتمية بطبيعتها. البيانات المتاحة حتميةنظرًا لميزات التصميم في Docker ، يعتمد النظام على المستخدمين الذين ينشئون عقودًا حتمية. ليس الحل الأفضل
تستخدم Ethereum "مقياس التكلفة" لإكمال العقد. كل خطوة من خطوات العقد تكلف "الغاز" وبمجرد أن تتجاوز تكلفة التنفيذ المبلغ المدفوع مسبقًا ، يتم إنهاء التنفيذ.يستخدم النسيج جهاز ضبط الوقت. نظرًا لأن العقد المختلفة قد يكون لها موقتات مختلفة نظرًا لقدرات الحوسبة المختلفة ، فهناك خطر كسر عملية الإجماع.
خصائص عازلة جيدةيتم تحديد العزل من خلال النظام الإيكولوجي للمرفأ (العزل غير الكافي)

وبالتالي ، توفر الأجهزة الافتراضية حتمية أفضل واستكمال وعزل البيئة للعقود الذكية.

درسنا بعض ميزات تنفيذ العقود الذكية.

يجب أن أقول إن العقود الذكية أصبحت جزءًا لا يتجزأ ومكونًا ضروريًا للتطبيقات الموزعة الحديثة.

فيما يلي بعض منصات blockchain التي توفر ميزات العقد الذكية:

  • Ethereum
  • إيوس
  • ممتاز
  • كاردانو
  • الجدد
  • قماش هايبر ليدجر
  • تموج
  • أمواج
  • منصة إرجو

في المقالات التالية ، سنلقي نظرة فاحصة على آليات العقود الذكية لبعض هذه المنصات.

Source: https://habr.com/ru/post/ar412803/


All Articles