ChainCatcher 消息，据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，他正亲自为 Cardano 网络开发一种新的编程语言，并与 Input Output Global 工程师 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。Hoskinson 在 X 平台发文称，这将是首个将用户希望交易完成的操作与密码学证明相结合的编程语言。 据介绍，该语言将支持三种工具：交易意图、携带证明的数