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

PANews 10月20日消息，据CoinDesk报道，Cardano创始人Charles Hoskinson周日在X上表示，他正亲自为Cardano开发一门新编程语言。合作者是Input Output Global软件工程师Lucas Rosa，Lucas Rosa也是Cardano智能合约语言Aiken的联合创建者。Hoskinson称，这将是首个把交易意图（intents）与“规则已被遵守”的密码学证明结合起来的语言，支持交易意图、证明携带数据（proof-carrying data）和Groth16证明。