Cardanoの創設者チャールズ・ホスキンソン氏は、Input Output Globalのエンジニア、ルーカス・ローザ氏とともに、ネットワーク向けの新しいプログラミング言語を個人的に開発していると述べた。CoinDeskによると、この言語はトランザクション・インテント、証明付きデータ、Groth16証明を組み合わせ、アプリケーションがユーザーの要求を実行し、条件を効率的に検証できるようにするという。ホスキンソン氏は、この言語の名称を明らかにしておらず、公開コードもリリースしていない。また、開発者がいつ利用できるようになるかについても言及していない。Cardanoのスマートコントラクトでは現在PlutusとAikenが使われており、Input Output Globalのブロックチェーン「Midnight」ではCompactが使われている。