قال Charles Hoskinson، الأحد، إنه يعمل على بناء لغة برمجة جديدة لـCardano، تربط النتيجة التي يقصدها المستخدم من المعاملة مباشرةً ببرهان تشفيري على استيفاء القواعد الناظمة لها. إنه مزيج غير مألوف، ولم يسبق لأي جهة تقريباً أن أطلقت شيئاً مشابهاً.
ونشر Hoskinson، مؤسس Cardano، الخبر على X. ويعمل على المشروع مع Lucas Rosa، مهندس برمجيات في Input Output Global وأحد المشاركين في إنشاء Aiken، إحدى لغتي العقود الذكية الرئيسيتين في Cardano. وهذا تعاون لافت. فلدى Rosa بالفعل خبرة عملية في أدوات التطوير الخاصة بـCardano، ما يجعل المشروع أقرب إلى عمل يجري تنفيذه فعلياً منه إلى فكرة مطروحة على السبورة.
وستدعم اللغة ثلاثة أمور: نوايا المعاملات، والبيانات المصحوبة ببراهين، وبراهين Groth16. ولكل منها وظيفة مختلفة، ومن المفترض أن تتيح مجتمعةً للتطبيقات التعبير عما يريده المستخدم، مع إثبات تنفيذ ذلك على نحو صحيح في الوقت نفسه.
ما الوظائف الفعلية للأدوات الثلاث؟
تتيح نوايا المعاملات للمستخدم تحديد ما يريده من دون شرح كل خطوة لازمة لتحقيقه. فقد يقول المتداول: بدّل هذا الرمز، لكن بشرط أن يبلغ السعر النهائي هدفي. ويتولى التطبيق تحديد كيفية تنفيذ ذلك. يضع المستخدم الشروط، ويتعامل التطبيق مع آلية التنفيذ. وهذا الفصل مهم، لأنه يبقي النية واضحة ومستقلة عن منطق التنفيذ؛ وهو أمر يضطر المطورون على معظم الشبكات إلى ربطه يدوياً.
أما البيانات المصحوبة ببراهين، فتعمل بطريقة مختلفة. إذ ترفق أدلة تشفيرية مباشرة بالمعلومات المتداولة. وعندما يتلقى تطبيق آخر تلك البيانات، يمكنه التحقق من البرهان المرفق بدلاً من إعادة جميع الحسابات التي أفضت إلى النتيجة الأصلية. وهذا أسرع وأكثر كفاءة، ولا يتطلب الثقة بالمرسل ثقة عمياء.
أما Groth16 فهو نظام محدد للبراهين. وينتج براهين صغيرة الحجم، بحيث يمكن للحواسيب التحقق منها بسرعة. والأهم أن برهان Groth16 يمكنه إثبات تحقق شرط ما من دون كشف البيانات الخاصة المستخدمة لاستيفائه. وهذا هو جانب الخصوصية المدمج في التصميم.
وعند الجمع بين العناصر الثلاثة، تكون النتيجة على هذا النحو تقريباً: يحدد المستخدم نتيجة يريدها، وينفذها التطبيق، ويرافق النتيجة برهان صغير يثبت اتباع القواعد. وتتحقق شبكة Cardano من البرهان بدلاً من إعادة العمليات الحسابية الأساسية. وهذا مكسب ملموس في الكفاءة لشبكة تعالج بالفعل حجماً كبيراً من المعاملات.
موقع هذه اللغة ضمن منظومة Cardano الحالية
لدى مطوري Cardano بالفعل Plutus وAiken. وتعتمد Plutus على Haskell، وهي موجودة منذ أن أطلقت الشبكة دعم العقود الذكية. أما Aiken، فجاءت لاحقاً كخيار أسهل في التعامل، وساهم Rosa في بنائها. كلتاهما متاحة اليوم، ولكل منهما مجتمع من المطورين، كما تُستخدمان في تطبيقات عاملة.
كما أن Input Output Global، الشركة التي يعمل معها Hoskinson، بنت Midnight، وهي بلوكتشين تركز على الخصوصية ولها لغة برمجة خاصة بها تُسمى Compact. وتعالج Compact البيانات السرية للتطبيقات التي تحتاج إليها. وستضيف اللغة الجديدة المقترحة أداة رابعة إلى هذه المجموعة، لكن لم يتضح بعد كيف ستعمل إلى جانب Plutus أو Aiken ضمن سير العمل المعتاد للمطورين. ولم تُنشر أي تفاصيل عن قابلية التشغيل البيني.
وقال Hoskinson إن اللغة ستكون الأولى التي تجمع بين النتيجة التي يقصدها المستخدم من المعاملة، والدليل التشفيري على استيفاء قواعدها. وهذا ادعاء قوي. ويتوقف مدى وفاء التنفيذ النهائي به على تفاصيل لم تُعلن بعد.
لم يُعلن بعد عن اسم للغة. ولا توجد شيفرة برمجية متاحة للعامة، ولا موعد لإطلاقها. ولم يحدد Hoskinson جدولاً زمنياً، كما لا تتضمن المواد المصدرية جدولاً من هذا النوع.
وما يتضح هو أن Hoskinson يتولى دوراً عملياً في كتابة اللغة بنفسه، بدلاً من الاكتفاء بتكليف فريق الهندسة بذلك. وهذا أمر يستحق الانتباه، بالنسبة إلى مؤسس يدير شركة بحجم Input Output Global. وربما يعكس مدى اهتمامه بالتوجه التقني للمشروع، لكن لا أحد يستطيع الجزم إن كان ذلك سيسرّع العمل أم سيبطئه.
وتُبقي مشاركة Rosa المشروع مرتبطاً بالتطوير العملي لـCardano. فهو ليس منظّراً، بل شارك في إطلاق Aiken. وهذه أوضح إشارة ملموسة إلى أن المطورين قد يستخدمون هذه اللغة فعلياً يوماً ما.
والتفصيل الوحيد المتاح عن القائمين على بناء اللغة هو التعاون بين Hoskinson وRosa.
المركز: سعر Cardano وأخبارها وتحليلاتها
الأسئلة الشائعة
ما الذي يبنيه Charles Hoskinson لصالح Cardano؟
يطوّر Hoskinson لغة برمجة جديدة مع Lucas Rosa من Input Output Global، صُممت لدعم نوايا المعاملات والبيانات المصحوبة ببراهين وبراهين Groth16.
هل أُطلقت لغة البرمجة الجديدة لـCardano؟
Hub: Cardano : السعر والأخبار والتحليل
لا. لم يُكشف عن شيفرة برمجية متاحة للعامة، أو موعد لإتاحتها للمطورين، أو اسم لها، وذلك حتى منشور Hoskinson على X يوم الأحد.
