据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 正在亲自为 Cardano 开发一门新的编程语言，合作者为 Input Output Global 软件工程师、Cardano 智能合约语言 Aiken 的联合创建者 Lucas Rosa。该语言将支持交易意图（intent）、携带证明数据（proof-carrying data）及 Groth16 证明，可将交易请求与证明规则已被遵守的密码学证明结合在一起。目前，该语言的名称、公开代码及上线时间均未公布。