يعمل تشارلز هوسكينسون على تطوير لغة برمجة جديدة لـ $ADA. كشف مؤسس كاردانو، تشارلز هوسكينسون، أنه يطوّر شخصيًا لغة برمجة جديدة لسلسلة الكتل، بالتعاون مع لوكاس روزا، مهندس في إنبوت أوتبوت غلوبال وأحد المشاركين في إنشاء أيكن، إحدى لغات العقود الذكية الرئيسية في كاردانو. تهدف اللغة الجديدة إلى الجمع بين نوايا المعاملات والبراهين التشفيرية، ما يتيح للمستخدمين التعبير عمّا يريدون من المعاملة إنجازه، مع تقديم برهان على الالتزام بالقواعد المطلوبة. سيدعم المشروع ثلاث تقنيات أساسية: نوايا المعاملات، والبيانات المصحوبة ببراهين، وبراهين Groth16. وقد يفتح هذا التطور آفاقًا جديدة أمام المطورين لبناء التطبيقات والتحقق منها على $ADA، مع التركيز على تحديد متطلبات المعاملات والتحقق من الامتثال باستخدام الأساليب التشفيرية. $BTC