ما هي لغة برمجة Motoko (DFINITY)؟

Motoko هي لغة برمجة جديدة للأغراض العامة مصممة للإنترنت اللامركزي. تم تصميمه ليكون آمنًا وسهلًا للمطورين. ستمكّن Motoko جيلًا جديدًا من التطبيقات اللامركزية ليتم بناؤها بواسطة فرق من المطورين بمجموعات مهارات متنوعة.

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

DFINITY هو كمبيوتر blockchain عام جديد سيوفر موردًا لامركزيًا للحوسبة السحابية. سيكون أول كمبيوتر blockchain يدعم العقود الذكية بناءً على تنسيق الجهاز الظاهري WebAssembly (WASM) ، مما يسمح للمطورين بكتابة عقود ذكية آمنة وعالية الأداء بأي لغة برمجة تتوافق مع WASM.

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

تستخدم DFINITY لغة البرمجة الخاصة بها والتي تسمى Motoko. Motoko هي لغة برمجة وظيفية معيارية مصممة لبناء عقود ذكية على كمبيوتر blockchain الخاص بـ DFINITY. يتميز بما يلي:

كتابة ثابتة قوية مع الاستدلال على الكتابة.
أنواع البيانات الجبرية لمطابقة الأنماط.
وظائف من الدرجة الأولى مع الإغلاق المعجمي.
ميزات أمان عالية المستوى مثل الإدارة التلقائية للذاكرة ، والثبات القسري ، والشفافية المرجعية.

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

تم تطوير Motoko كتمرين في تصميم اللغة لاستكشاف كيف ستبدو لغة البرمجة الحديثة إذا كانت قادرة على الاستفادة من نموذج الأمان الفريد لحاسوب الإنترنت والبنية اللامركزية.

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

يتم تشغيل كمبيوتر الإنترنت بواسطة عملة ICP ، والتي تُستخدم للدفع مقابل الحساب على الشبكة وإدارة النظام.

بروتوكول كمبيوتر الإنترنت هو بروتوكول blockchain رائد يمكّن المنتجين من تشغيل البرامج ذات الأغراض العامة بطريقة لامركزية.

العودة لقائمة المصطلحات الرئيسية