RecodeX 重构消息，Cardano创始人Charles Hoskinson提出为Cardano开发一种新语言，用于支持交易意图、携带证明数据（proof-carrying data）以及Groth16零知识证明。该方案将交易意图与密码学证明相结合，但技术规范和发布时间尚未公布。