Засновник Cardano Чарльз Хоскінсон особисто працює над новою мовою програмування для блокчейну спільно з інженером Input Output Global Лукасом Розою. Ця мова поєднає три технології для створення складних додатків.
Мова інтегрує транзакції на основі намірів, дані з криптографічними доказами та систему доказів з нульовим розголошенням Groth16. Підхід на основі намірів дозволяє користувачеві описати лише бажаний результат, наприклад, обмін токенів за конкретною ціною, а не детальний план дій. Дані з криптографічними доказами додають до інформації підтвердження того, що вона відповідає заданим правилам. Система Groth16 генерує крихітні докази, які інші програми можуть миттєво перевірити, не розкриваючи вихідних конфіденційних даних.
Поєднання цих технологій дозволить розробникам будувати додатки для координації торгівлі, перевірки складних умов та обміну верифікованою інформацією між сервісами. Блокчейн Cardano зможе ефективно перевіряти лише невеликий криптографічний доказ на кожному кроці виконання транзакції.
Розробники Cardano вже пишуть смарт-контракти на мовах Plutus, побудованій на Haskell, та Aiken. Окремо компанія Input Output Global розробляє блокчейн Midnight для роботи з конфіденційними даними, який використовує власну мову Compact. Нова мова Хоскінсона стане додатковим інструментом у цьому арсеналі. Назва мови, публічний код та терміни її релізу поки не розголошуються.