Hoskinson يطرح Moriarty لـ Midnight DeFi

Charles Hoskinson كشف عن أول نتيجة اختبار ملموسة لـ Moriarty، وهي لغة برمجة يبنيها لـ Midnight DeFi. وصل عقد قرض إلى التمثيل الوسيط للمعرفة الصفرية لدى Midnight وتم التحقق من صحة معاملته على شبكة Preview، فيما لا تزال اللغة نفسها قيد التطوير.

Moriarty يحدد تعليمات لـ Midnight DeFi

وصف Hoskinson Moriarty بأنه لغة نوايا غير مكتملة تورينغ لنواة DeFi المخططة لدى Midnight. صُممت للتعبير عما ينبغي أن تحققه المعاملة المالية والشروط التي يجب أن تستوفيها.

تصميمها المحدود عمدا يضيّق نطاق سلوك البرنامج الممكن، بينما تحدد الدلالات الشكلية كيفية تنفيذ كل تعليمة. يدرس Hoskinson المكونات المشتركة الكامنة وراء الإقراض والمقايضات والعقود الدائمة والمنتجات الاصطناعية، لكنه لم يقدّمها كميزات مكتملة في Moriarty.

تستخدم Midnight الأصل الشبكي الأصلي NIGHT. ستكون Moriarty في طبقة التطبيقات، حيث سيتمكن المطورون في نهاية المطاف من تعريف عمليات تتضمن NIGHT وأصولا مدعومة أخرى. لم يُعلن عن أي تطبيق إنتاجي يستخدم اللغة.

تحقق عقد قرض على Preview الخاصة بـ Midnight

قال Hoskinson إن مستودع Moriarty احتوى على أكثر من 596 التزاما عند عرضه للمشروع. وكان أبرز معلم تطويري هو عقد قرض جرى تجميعه إلى zkIR، وهو التمثيل الوسيط المستخدم في عملية التنفيذ ذات المعرفة الصفرية لدى Midnight.

“تمكنت فعلا من جعل المعاملة تُتحقق على Preview الخاصة بـ Midnight”، قال.

Preview هي شبكة تطوير، وذكر Hoskinson أن Moriarty لم تُنجز بعد. قدّر أسبوعين إلى أربعة أسابيع إضافية من العمل قبل تسليمها إلى Lucas وأعضاء الفريق الآخرين، من دون الإعلان عن جدول إطلاق إنتاجي لـ Moriarty أو لمنتج DeFi يعتمد NIGHT.

براهين الصحة تستهدف مخاطر عقود DeFi

قال Hoskinson إن الغرض من Moriarty هو إرفاق برهان على صحة البرنامج بالمعاملة. سيُظهر البرهان أن البرنامج المرسل يتبع القواعد التي تعبّر عنها اللغة قبل قبول المعاملة.

قال: “لديك برهان على صحة البرنامج يرافق المعاملة”.

ربط ذلك التصميم بمفهوم الدوائر ناقصة القيود، حيث تفشل دائرة معرفة صفرية في فرض كل الشروط المقصودة. يمكن أن تتيح القيود المفقودة لنتيجة غير صحيحة أن تجتاز الفحوص المتبقية وتعرّض الأموال الخاضعة لعقد للخطر.

يؤكد اختبار Preview مسار التجميع والتحقق من الصحة الذي وصفه Hoskinson. تتمثل خطوته التالية المعلنة في تسليمها إلى الفريق، لنقل Moriarty من نموذج أولي شخصي إلى بنية تحتية يمكن لمطوري Midnight DeFi تقييمها وتوسيعها.