据 CoinDesk 报道，卡道诺（Cardano）创始人查尔斯·霍斯金森（Charles Hoskinson）正亲自参与为项目开发一门新的编程语言，其合作方是输入输出全球（IOG）的软件工程师兼卡道诺智能合约语言 Aiken 的联合创始人卢卡斯·罗萨（Lucas Rosa）。该语言计划引入交易意图（Intent）、可携带证明数据（Proof‑carrying Data）以及 Groth16 证明功能，能够把交易请求与符合合规规则的密码学证明紧密结合，从而提升交易的验证效率。至今，关于该语言的具体名称、公开代码以及正式上线时间尚未公布。
