Hoskinson: لغة Cardano (ADA) الجديدة ستكون الأولى بدمج النوايا مع إثباتات Groth16

النوايا وإثباتات Groth16 في لغة واحدة

أعلن Charles Hoskinson، المؤسس المشارك لشبكة Cardano (ADA)، في 18 أكتوبر أنه يطوّر لغة برمجة جديدة للشبكة، مصممة لمعالجة هياكل النوايا إلى جانب البيانات الحاملة للإثبات، على أن يجري التحقق عبر إثباتات Groth16. وبهذا التصميم، يستطيع المطور الذي يكتب للشبكة أن يحدد ما يُقصد من المعاملة أن تفعله، ويرفق إثباته التشفيري في الموضع نفسه. تعمل هياكل النوايا على أن تعلن المعاملة نتيجتها المقصودة بدل تفاصيلها المنخفضة المستوى، أما البيانات الحاملة للإثبات فهي صيغة تصل فيها البيانات ومعها دليل قابل للتحقق تلقائيًا. وتُعد Groth16 واحدة من أكثر أنظمة الإثبات استخدامًا في مجال المعرفة الصفرية. ويقول Hoskinson إن هذا البناء سيكون الأول الذي يجمع العناصر الثلاثة معًا، وإن هذا المزيج قد يفتح حالات استخدام جديدة عبر منظومة Cardano. وعمليًا، قد يتيح عقد مكتوب بهذه الطريقة لتطبيق يعمل على الشبكة الرئيسية أن يثبت لأي محقق أن تحويلًا أو عملية حسابية التزمت بالقواعد التي أعلنها كاتب العقد. وقدّم Hoskinson التشفير المتقدم بوصفه ميزة رئيسية للغة، دون أن يوضح أي أجزاء من البنية التقنية ستشملها. جاء البيان ردًا على عضو في المجتمع سأله عن المزايا الفريدة التي تقدمها Cardano (ADA) بوصفها طبقة أساس شديدة اللامركزية، فأجاب بأن العمل الجاري قد يدعم الموقف التقني للشبكة، مضيفًا وزنًا إلى الحجة القائلة إن سلسلة تعمل بآلية إثبات الحصة ومبنية بهذا المستوى من اللامركزية تحقق فوائد لا يعيد تصميم آخر إنتاجها. ولم يذكر Hoskinson اسمًا للغة، ولا مواصفة تقنية، ولا جدولًا زمنيًا. ويكتسب هذا الرد أهمية لموقع Cardano التنافسي، لأن السؤال الذي جاوبه يلامس جوهر ما يميز السلسلة عن طبقات الأساس المنافسة. أما سعر Cardano (ADA) فقد حافظ على مستواه قرب 0.22 دولار خلال تراجع أسبوعي بنسبة 11%، ومن غير المرجح أن يغيّر إعلان بلا شيفرة مرفقة هذا المشهد من تلقاء نفسه.

الشكوك حول Haskell ومفهوم Midnight

يعيد هذا الإعلان طرح سؤال رجع إليه Hoskinson مرارًا: على أي لغة ينبغي أن تُبنى Cardano فعلًا؟ لقد ارتكزت البنية التطويرية للشبكة على لغة Haskell منذ مراحلها الأولى، ودافع Hoskinson علنًا عن هذا الخيار سنوات طويلة. وتُعرف Haskell بوصفها لغة برمجة وظيفية تتميز بأنماط ساكنة قوية، وهي ملاءمة جادل Hoskinson طويلًا بأنها تناسب العقود المالية التي تتفوق فيها الصحة على الراحة. وفي يونيو 2022 تدخل في جدال Elon Musk وJack Dorsey حول مزايا لغات البرمجة، وعندما تحدث Musk عن اهتمامه بلغة C، اقترح Hoskinson أن Haskell تستحق التجربة. غير أنه اعترف لاحقًا إنه لم يكن مطمئنًا تمامًا إلى قرار بناء Cardano (ADA) بلغة Haskell. وفي مايو 2024 قال إنه درس بجدية اعتماد Clojure بديلًا، وأن توافر Cloud Haskell وإمكانية الاستعانة بأدوات مثل Liquid Haskell وAgda حسمت الخيار في النهاية. ويمثل هذا التردد أوضح إشارة سابقة إلى أن ارتباطه بـHaskell كان مشروطًا. وفي مقابلة في أبريل 2025 ذهب أبعد من ذلك، قائلًا إنه لو أمكن إعادة كتابة Cardano من الصفر لاختار على الأرجح لغة مختلفة. وإذا قُرئت هذه الخلفية على هذا النحو، فإن لغة يطوّرها Hoskinson شخصيًا تمثل أول خطوة ملموسة تتجاوز النقاش إلى التنفيذ. والأمر مهم لأن لغة تتعامل مع النوايا أصليًا قد تختصر ما يتطلب اليوم طبقات متعددة من الأدوات في مسار تطوير واحد. وعلى صعيد منفصل، قال إنه يعمل على مفهوم يعتقد أنه قادر على حل معظم مشكلات مجال العملات الرقمية، وهو مفهوم يرى أن شبكة Midnight وحدها قادرة على إدخاله إلى هذا المجال، ويعتبره على الأرجح أهم عمل في مسيرته المهنية. وتُعد Midnight مشروع الخصوصية داخل منظومة Cardano التي تُبنى على تقنية البلوكتشين. أما علاقة هذا المفهوم باللغة البرمجية الجديدة، فقد تركها Hoskinson مفتوحة في تصريحاته، ولم يشأ إلى متى سيظهر أي منهما في صيغة قابلة للاستخدام.

لا اسم ولا موعد إطلاق

قراءتنا أن ما جرى هو تأكيد توجه، لا حدث إطلاق. فقد ربط Hoskinson اكتمال البنية التقنية للشبكة بـخارطة طريق Leios، التي تعمل شبكتها الاختبارية عند سرعة 26.8 txkB/s، ومن ثم ستأتي اللغة الجديدة إلى جانب هذا العمل لا بديلًا عنه. ولا شيء في الإعلان قابل للتحقق بعد: لا اسم، ولا مواصفة، ولا شيفرة، ولا صلة مذكورة بمفهوم Midnight. وتستمر التكهنات حول الأصل في مآخذ أخرى، من جهة التحليل الفني لعملة Cardano، إلى رهان مرتبط بالعملة المستقرة على منصة Bodega Market يستهدف هدفًا بقيمة مليون دولار. وحتى يصدر شيء فعلي، سيواصل المطورون البناء على منظومة أدوات Haskell، وهي القيد الذي يظل قائمًا.