بنیان‌گذار کاردانو در حال ساخت یک زبان برنامه‌نویسی جدید برای این شبکه است

چارلز هاسکینسون، بنیان‌گذار کاردانو، در شبکه اجتماعی ایکس نوشت که شخصاً مشغول توسعه یک زبان برنامه‌نویسی جدید برای کاردانو است. به گفته او، این زبان اولین زبانی خواهد بود که خواسته کاربر از یک تراکنش را با اثبات رمزنگاری اینکه قوانین رعایت شده‌اند ترکیب می‌کند. هاسکینسون این پروژه را همراه با لوکاس روزا، مهندس نرم‌افزار شرکت Input Output Global و از هم‌خالقان Aiken، یکی از زبان‌های اصلی قرارداد هوشمند کاردانو، پیش می‌برد. زبان جدید قرار است از سه ابزار پشتیبانی کند: نیت تراکنش، داده‌های همراه با اثبات و اثبات‌های Groth16. نیت تراکنش به کاربر اجازه می‌دهد فقط نتیجه دلخواه را بیان کند و جزئیات اجرا را به برنامه بسپارد. داده‌های همراه با اثبات، شواهد رمزنگاری‌شده‌ای به یک اطلاعات متصل می‌کنند تا برنامه‌ای دیگر بتواند بدون تکرار همه محاسبات، درستی آن را بررسی کند. Groth16 نیز یک سامانه اثبات پرکاربرد است که اثبات‌های کوچک و سریع‌البررسی تولید می‌کند. ترکیب این ابزارها می‌تواند به توسعه‌دهندگان کمک کند برنامه‌هایی برای هماهنگی معاملات، بررسی شرایط پیچیده و انتقال اطلاعات تأییدشده میان سرویس‌ها بسازند. توسعه‌دهندگان کاردانو هم‌اکنون از Plutus مبتنی بر Haskell و همچنین Aiken استفاده می‌کنند. بلاکچین Midnight نیز زبان اختصاصی Compact را برای برنامه‌هایی با داده‌های محرمانه دارد. هاسکینسون تاکنون نام زبان جدید، کد عمومی یا تاریخ دسترسی توسعه‌دهندگان به آن را اعلام نکرده است.