Hoskinson و Lucas Rosa يطوّران لغة برمجة جديدة ل Cardano

أعلن Charles Hoskinson في 18 أكتوبر أنه يطوّر شخصياً لغة برمجة جديدة ل Cardano. وسمّى Lucas Rosa وهو أحد مؤسسي Aiken ومهندس أدوات في Midnight شريكاً له في هذا المشروع.

المؤسس المشارك في Aiken يعمل جنباً إلى جنب مع Hoskinson

Rosa المعروف عبر الإنترنت باسم @rvcas شارك في تأسيس Aiken وقاد تطويرها لأكثر من عامين ونصف. ووفقاً لتاريخه في المشروع شمل ذلك تصميم مزايا اللغة قبل نقل الملكية وترخيصها إلى Pragma لرعاية طويلة الأمد.

Aiken هي لغة برمجة وحزمة أدوات تطوير لعقود Cardano الذكية. يستخدمها المطورون لتحديد القواعد التي تحكم ما إذا كان بإمكان المعاملات إنفاق الأصول أو تنفيذ عمليات أخرى تتحكم بها العقود.

يذكر Rosa حالياً منصبه كمهندس أدوات في Midnight. وتشمل خلفيته المترجمات والأنظمة الموزعة والبنية التحتية للتطبيقات.

يوضح إعلان Hoskinson أن Rosa متعاون في المشروع من دون إسناد دور تنظيمي إلى Midnight.

كيف ترتبط النوايا وإثباتات Groth16

تصف النوايا النتيجة التي يرغب المستخدم في تحقيقها والشروط التي تُعد عندها مقبولة. يمكن للمستخدم طلب مبادلة ADA برمز آخر مع تحديد حد أدنى للمبلغ المستلم وحد أقصى للرسوم. عندها يستطيع مشاركون متخصصون يُطلق عليهم solvers إيجاد مسار للتنفيذ وبناء معاملات تستوفي تلك الشروط.

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

يوفّر Groth16 إثباتات معرفة صفرية مدمجة وبكلفة تحقق منخفضة نسبياً. وهو يتيح لطرف ما إثبات أن حوسبة محددة نُفذت على نحو صحيح من دون كشف المدخلات الخاصة المستخدمة لإنتاج الإثبات. وما يبقى من بيانات التطبيق عاماً يعتمد على تصميم النظام المحيط.

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

ربط اللغة بمدققات Cardano

توفر Cardano بالفعل لبنات تشفيرية أساسية للتطبيقات المعتمدة على الإثبات. تتضمن Plutus V3 عمليات BLS12-381 التي تدعم تحققاً فعالاً من إثباتات المعرفة الصفرية المتوافقة. ويمكن للمطورين استخدام هذه البدائيات لبناء عقود تتحقق من أدلة على حوسبات أُجريت خارج سلسلة الكتل.

يستهلك التحقق موارد تنفيذ ويسهم في رسوم المعاملات المدفوعة بعملة ADA. لذلك تعتمد جدوى أي تطبيق على ملاءمة نظام الإثبات وأداة التحقق وعبء العمل لحدود معاملات Cardano.

لم يقدّم منشور Hoskinson اسماً للغة أو مستودعاً أو مواصفة أو موعد إصدار. كما أن علاقتها ب Aiken و Plutus ما تزال غير محددة. وتبقى نقطة التكامل غير المحسومة هي الكيفية التي سيولّد بها برنامج مكتوب باللغة الجديدة إثباتاً ويجعله متاحاً لمدقِّق في Cardano بما يصل شروط المستخدم المعلنة بالعقد الذي يجيز التسوية.