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