Cardano创始人Charles Hoskinson亲自开发新编程语言

据CoinDesk报道，Cardano创始人Charles Hoskinson周日在X上表示，他正亲自为Cardano开发一门新编程语言。合作者是Input Output Global软件工程师Lucas Rosa，Lucas Rosa也是Cardano智能合约语言Aiken的联合创建者。Hoskinson称，这将是首个把交易意图（intents）与“规则已被遵守”的密码学证明结合起来的语言，支持交易意图、证明携带数据（proof-carrying data）和Groth16证明。开发者可以用它构建能协调交易、校验复杂条件的应用，最后由Cardano链上验证一个小型证明。Cardano现有的智能合约语言是Plutus和Aiken。Hoskinson尚未公布这门语言的名称、公开代码或上线时间。